blob: a3b7b99592e7d7dead51051a1ce711a53c01552c [file] [log] [blame]
// Copyright (c) 2016, 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.
// Dart test program for testing try/catch statement without any exceptions
// being thrown.
// VMOptions=--optimization-counter-threshold=100 --no-background-compilation
// Test optional parameters updated inside try-catch
import "package:expect/expect.dart";
@pragma('vm:never-inline')
m1(int b) {
if (b == 1) throw 123;
}
@pragma('vm:never-inline')
m2(int b) {
if (b == 2) throw 456;
}
@pragma('vm:never-inline')
test1(int b, [int state = 0]) {
try {
state++;
m1(b);
state++;
m2(b);
state++;
} catch (e, s) {
if (b == 1 && state != 1) throw "fail1";
if (b == 2 && state != 2) throw "fail2";
if (b == 3 && state != 3) throw "fail3";
if (s is! StackTrace) throw "fail4";
return e;
}
return "no throw";
}
@pragma('vm:never-inline')
test2(int b, [int state = -1]) {
state = 0;
try {
state++;
m1(b);
state++;
m2(b);
state++;
} catch (e, s) {
if (b == 1 && state != 1) throw "fail1";
if (b == 2 && state != 2) throw "fail2";
if (b == 3 && state != 3) throw "fail3";
if (s is! StackTrace) throw "fail4";
return e;
}
return "no throw";
}
main() {
for (var i = 0; i < 300; i++) {
Expect.equals("no throw", test1(0));
}
Expect.equals("no throw", test1(0));
Expect.equals(123, test1(1));
Expect.equals(456, test1(2));
for (var i = 0; i < 300; i++) {
Expect.equals("no throw", test2(0));
}
Expect.equals("no throw", test2(0));
Expect.equals(123, test2(1));
Expect.equals(456, test2(2));
}