| // Copyright (c) 2011, 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"; |
| |
| void phi1() { |
| var x = 42; |
| if (true) { |
| Expect.equals(42, x); |
| print(x); |
| } |
| Expect.equals(42, x); |
| print(x); |
| } |
| |
| void phi2() { |
| var x = 499; |
| if (true) { |
| Expect.equals(499, x); |
| x = 42; |
| } |
| Expect.equals(42, x); |
| print(x); |
| } |
| |
| void phi3() { |
| var x = 499; |
| if (true) { |
| Expect.equals(499, x); |
| x = 42; |
| } else { |
| Expect.fail('unreachable'); |
| print(x); |
| } |
| Expect.equals(42, x); |
| print(x); |
| } |
| |
| void phi4() { |
| var x = 499; |
| if (true) { |
| Expect.equals(499, x); |
| print(x); |
| } else { |
| Expect.fail('unreachable'); |
| x = 42; |
| } |
| Expect.equals(499, x); |
| print(x); |
| } |
| |
| void phi5() { |
| var x = 499; |
| if (true) { |
| if (true) { |
| Expect.equals(499, x); |
| x = 42; |
| } |
| } |
| Expect.equals(42, x); |
| print(x); |
| } |
| |
| void phi6() { |
| var x = 499; |
| if (true) { |
| if (true) { |
| Expect.equals(499, x); |
| print(x); |
| } else { |
| x = 42; |
| Expect.fail('unreachable'); |
| } |
| } |
| Expect.equals(499, x); |
| print(x); |
| } |
| |
| void phi7() { |
| var x = 499; |
| if (true) { |
| x = 42; |
| if (true) { |
| Expect.equals(42, x); |
| x = 99; |
| } else { |
| x = 111; |
| Expect.fail('unreachable'); |
| } |
| } else { |
| Expect.fail('unreachable'); |
| if (false) { |
| x = 341; |
| } else { |
| x = 1024; |
| } |
| } |
| Expect.equals(99, x); |
| print(x); |
| } |
| |
| void phi8() { |
| var x = 499; |
| if (true) { |
| x = 42; |
| if (true) { |
| Expect.equals(42, x); |
| x = 99; |
| } else { |
| Expect.fail('unreachable'); |
| x = 111; |
| } |
| } else { |
| Expect.fail('unreachable'); |
| if (false) { |
| x = 341; |
| } else { |
| x = 1024; |
| } |
| } |
| if (true) { |
| Expect.equals(99, x); |
| x = 12342; |
| if (true) { |
| x = 12399; |
| } else { |
| Expect.fail('unreachable'); |
| x = 123111; |
| } |
| } else { |
| Expect.fail('unreachable'); |
| if (false) { |
| x = 123341; |
| } else { |
| x = 1231024; |
| } |
| } |
| Expect.equals(12399, x); |
| print(x); |
| } |
| |
| void phi9() { |
| var x = 499; |
| if (true) { |
| var y = 42; |
| if (true) { |
| y = 99; |
| } else { |
| Expect.fail('unreachable'); |
| x = 111; |
| } |
| Expect.equals(99, y); |
| print(y); |
| } |
| Expect.equals(499, x); |
| print(x); |
| } |
| |
| void main() { |
| phi1(); |
| phi2(); |
| phi3(); |
| phi4(); |
| phi5(); |
| phi6(); |
| phi7(); |
| phi8(); |
| phi9(); |
| } |