Deal with more conditional expressions in the value range analyzer.

lib/compiler/implementation/constant_system_dart.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 const DART_CONSTANT_SYSTEM = const DartConstantSystem();
 
 class BitNotOperation implements UnaryOperation {
   final SourceString name = const SourceString('~');
   bool isUserDefinable() => true;
   const BitNotOperation();
@@ skipping 262 matching lines @@
   final SourceString name = const SourceString('>');
   const GreaterOperation();
   bool foldNums(num left, num right) => left > right;
   apply(left, right) => left > right;
 }
 
 class GreaterEqualOperation extends RelationalNumOperation {
   final SourceString name = const SourceString('>=');
   const GreaterEqualOperation();
   bool foldNums(num left, num right) => left >= right;
-  apply(left, right) => left <= right;
+  apply(left, right) => left >= right;
 }
 
 class EqualsOperation implements BinaryOperation {
   final SourceString name = const SourceString('==');
   bool isUserDefinable() => true;
   const EqualsOperation();
   Constant fold(Constant left, Constant right) {
     if (left.isNum() && right.isNum()) {
       // Numbers need to be treated specially because: NaN != NaN, -0.0 == 0.0,
       // and 1 == 1.0.
@@ skipping 68 matching lines @@
   bool isInt(Constant constant) => constant.isInt();
   bool isDouble(Constant constant) => constant.isDouble();
   bool isString(Constant constant) => constant.isString();
   bool isBool(Constant constant) => constant.isBool();
   bool isNull(Constant constant) => constant.isNull();
 
   bool isSubtype(Compiler compiler, DartType s, DartType t) {
     return compiler.types.isSubtype(s, t);
   }
 }