| 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"; | |
| 8 | |
| 9 bar() => 'foo'; | 7 bar() => 'foo'; |
| 10 | 8 |
| 11 main() { | 9 main() { |
| 12 Expect.throws(foo1); | 10 Expect.throws(foo1); |
| 13 Expect.throws(foo2); | 11 Expect.throws(foo2); |
| 14 } | 12 } |
| 15 | 13 |
| 16 foo1() { | 14 foo1() { |
| 17 var a = bar(); | 15 var a = bar(); |
| 18 for (;; a = 1 + a) { | 16 for (;; a = 1 + a) { |
| 19 if (a != 'foo') return; | 17 if (a != 'foo') return; |
| 20 } | 18 } |
| 21 } | 19 } |
| 22 | 20 |
| 23 foo2() { | 21 foo2() { |
| 24 var a = bar(); | 22 var a = bar(); |
| 25 for (;; a = 1 + a) { | 23 for (;; a = 1 + a) { |
| 26 if (a != 'foo') break; | 24 if (a != 'foo') break; |
| 27 } | 25 } |
| 28 } | 26 } |
| OLD | NEW |