Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(273)

Unified Diff: tests/language/value_range_test.dart

Issue 11035007: Add failing tests for dart2js' range-analysis. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « tests/language/value_range2_test.dart ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tests/language/value_range_test.dart
diff --git a/tests/compiler/dart2js_extra/constant_javascript_semantics2_test.dart b/tests/language/value_range_test.dart
similarity index 50%
copy from tests/compiler/dart2js_extra/constant_javascript_semantics2_test.dart
copy to tests/language/value_range_test.dart
index af4872fd2b066b46cfd00062dfb04b78f0bc6771..f5a049192bf83ab76155cbad695a10fadb20d5c0 100644
--- a/tests/compiler/dart2js_extra/constant_javascript_semantics2_test.dart
+++ b/tests/language/value_range_test.dart
@@ -2,24 +2,19 @@
// 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.
-// Make sure we use JavaScript semantics when compiling compile-time constants.
-// In this case we test that the value-range analysis uses JavaScript semantics
-// too.
-
int inscrutable(int x) => x == 0 ? 0 : x | inscrutable(x & (x - 1));
foo() {
- var a = const [1, 2];
- var i = 0x100000000;
- if (inscrutable(i) == 0) {
- i = 0x100000001;
- }
- i = 0xFFFFFFFFF & i; // In JS semantics [:i:] will be truncated to 32 bits.
- i = 0x100000001 - i;
- return a[i];
+ var x = 0x102;
+ if (inscrutable(x) == 0) x = 0x0;
+ if (inscrutable(10) == 10) x = 0x10; // x is in range [0 .. 0x102].
+ x = x & 0xFF; // x should be in range [0 .. 0xFF]. Actual value: 0x10.
+ var a = const [1, 2, 3];
+ return a[x];
}
main() {
Expect.throws(() => foo(),
(e) => e is IndexOutOfRangeException);
}
+
« no previous file with comments | « tests/language/value_range2_test.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698