| Index: frog/tests/leg_only/phi_test.dart
|
| ===================================================================
|
| --- frog/tests/leg_only/phi_test.dart (revision 8644)
|
| +++ frog/tests/leg_only/phi_test.dart (working copy)
|
| @@ -1,168 +0,0 @@
|
| -// 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.
|
| -
|
| -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();
|
| -}
|
|
|