OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 import "package:expect/expect.dart"; | |
6 | |
7 // Test for a bug in dart2js where the update of a field in a try | 5 // Test for a bug in dart2js where the update of a field in a try |
8 // block would not be seen by the finally block. See dartbug.com/5517. | 6 // block would not be seen by the finally block. See dartbug.com/5517. |
9 | 7 |
10 class A { | 8 class A { |
11 int i; | 9 int i; |
12 A() : i = 42; | 10 A() : i = 42; |
13 | 11 |
14 foo() { | 12 foo() { |
15 bool executedFinally = false; | 13 bool executedFinally = false; |
16 if (i == 42) { | 14 if (i == 42) { |
17 try { | 15 try { |
18 i = 12; | 16 i = 12; |
19 } finally { | 17 } finally { |
20 Expect.equals(12, i); | 18 Expect.equals(12, i); |
21 executedFinally = true; | 19 executedFinally = true; |
22 } | 20 } |
23 } | 21 } |
24 Expect.isTrue(executedFinally); | 22 Expect.isTrue(executedFinally); |
25 } | 23 } |
26 } | 24 } |
27 | 25 |
28 main() { | 26 main() { |
29 new A().foo(); | 27 new A().foo(); |
30 } | 28 } |
OLD | NEW |