| // Copyright (c) 2018, 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. |
| |
| // Proper CP on double op (dartbug.com/35321). |
| // |
| // VMOptions=--deterministic --optimization_counter_threshold=10 |
| |
| import "package:expect/expect.dart"; |
| |
| double foo(bool x) { |
| if (x) return 1.0; |
| throw "unreachable"; |
| } |
| |
| int bar(int i) { |
| if (i < 0) { |
| return bar(i + 1); |
| } else if ((foo(i == 22) / 22.0) >= (1 / 0.0)) { |
| return 1; |
| } |
| return 0; |
| } |
| |
| void main() { |
| for (int i = 0; i < 20; ++i) { |
| var x = -1; |
| try { |
| x = bar(i); |
| } catch (_) { |
| x = -2; |
| } |
| Expect.equals(-2, x); |
| } |
| } |