OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // Check that phi type computation in the Dart2Js compiler does the | 4 // Check that phi type computation in the Dart2Js compiler does the |
5 // correct thing. | 5 // correct thing. |
6 | 6 |
7 import "package:expect/expect.dart"; | 7 import "package:expect/expect.dart"; |
8 | 8 |
9 bar() => 'foo'; | 9 bar() => 'foo'; |
10 | 10 |
11 main() { | 11 main() { |
12 Expect.throws(foo1); | 12 Expect.throws(foo1); |
13 Expect.throws(foo2); | 13 Expect.throws(foo2); |
14 } | 14 } |
15 | 15 |
16 foo1() { | 16 foo1() { |
17 var a = bar(); | 17 var a = bar(); |
18 for (;; a = 1 + a) { | 18 for (;; a = 1 + a) { |
19 if (a != 'foo') return; | 19 if (a != 'foo') return; |
20 } | 20 } |
21 } | 21 } |
22 | 22 |
23 foo2() { | 23 foo2() { |
24 var a = bar(); | 24 var a = bar(); |
25 for (;; a = 1 + a) { | 25 for (;; a = 1 + a) { |
26 if (a != 'foo') break; | 26 if (a != 'foo') break; |
27 } | 27 } |
28 } | 28 } |
OLD | NEW |