Chromium Code Reviews| Index: tests/standalone/53bit_overflow_test.dart |
| =================================================================== |
| --- tests/standalone/53bit_overflow_test.dart (revision 0) |
| +++ tests/standalone/53bit_overflow_test.dart (revision 0) |
| @@ -0,0 +1,47 @@ |
| +// Copyright (c) 2013, 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. |
| + |
| +// VMOptions=--throw_on_javascript_int_overflow |
| + |
| + |
| +import "package:expect/expect.dart"; |
| +import 'dart:typed_data'; |
| + |
| + |
| +int double_to_int_throws() { |
| + double d = 1.9e16; |
| + return d.toInt(); |
| +} |
| + |
| + |
| +int integer_add_throws() { |
| + return (1 << 52) + (1 << 52); |
| +} |
| + |
| + |
| +int i64list_throws() { |
| + var i64l = new Int64List(16); |
| + i64l[0] = (1 << 54); |
| + return i64l[0]; |
| +} |
| + |
| + |
| +int double_to_int() { |
| + double d = 1.9e14; |
| + return d.toInt(); |
| +} |
| + |
| + |
| +int integer_add() { |
| + return (1 << 50) + (1 << 50); |
| +} |
| + |
| + |
| +main() { |
| + Expect.throws(double_to_int_throws, (e) => e is FiftyThreeBitOverflowError); |
| + Expect.throws(integer_add_throws, (e) => e is FiftyThreeBitOverflowError); |
| + Expect.throws(i64list_throws, (e) => e is FiftyThreeBitOverflowError); |
| + Expect.equals(190000000000000 ,double_to_int()); |
|
srdjan
2013/06/05 15:32:00
Fix comma formatting.
|
| + Expect.equals(1 << 51, integer_add()); |
| +} |