// Copyright (c) 2012, 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.
// Check that our SSA graph does have the try body a predecessor of a
// try/finally.
// VMOptions=--optimization-counter-threshold=10

import "package:expect/expect.dart";

var a;

foo1() {
  var b = false;
  var entered = false;
  while (true) {
    if (entered) return b; //# static warning
    b = 8 == a; // This expression should not be GVN'ed.
    try {
      try {
        a = 8;
        return; //# static warning
      } finally {
        b = 8 == a;
        entered = true;
        continue;
      }
    } finally {
      continue;
    }
  }
}

main() {
  for (var i = 0; i < 20; i++) {
    a = 0;
    Expect.isTrue(foo1());
  }
}