Use annotations on confuse() functions

tests/language/range_analysis3_test.dart

 // Copyright (c) 2014, 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.
 
 import "package:expect/expect.dart";
 
-confuse(x) {
-  if (new DateTime.now().millisecondsSinceEpoch == 0) {
-    return confuse(x + 1);
-  } else if (new DateTime.now().millisecondsSinceEpoch == 0) {
-    return confuse(x - 1);
-  }
-  return x;
-}
+@NoInline() @AssumeDynamic()

[floitsch, 2015/12/09 20:40:15]

Actually the confuse here was still making sure that the return type is an int.

+confuse(x) => x;
 
 test1() {
   int x = 0;
   // Give x a range of -1 to 0.
   if (confuse(0) == 1) x = -1;
 
   int y = 0;
   // Give y a range of 0 to 1.
   if (confuse(0) == 1) y = 1;
 
@@ skipping 175 matching lines @@
   Expect.equals("good", status);
 }
 
 main() {
   test1();
   test2();
   test3a();
   test3b();
   test4a();
   test4b();
-}
+}