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

Unified Diff: sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart

Issue 94303002: Add another type JSPositiveInt to show a range analysis in the inferrer would be very beneficial :-… (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 1 month 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
Index: sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart (revision 30754)
+++ sdk/lib/_internal/compiler/implementation/types/flat_type_mask.dart (working copy)
@@ -98,6 +98,7 @@
if (containsOnlyInt(compiler)) {
return cls == compiler.intClass
|| cls == backend.intImplementation
+ || cls == backend.positiveIntImplementation
|| cls == backend.uint32Implementation
|| cls == backend.uint31Implementation;
}
@@ -136,6 +137,7 @@
bool containsOnlyInt(Compiler compiler) {
return base == compiler.intClass
|| base == compiler.backend.intImplementation
+ || base == compiler.backend.positiveIntImplementation
|| base == compiler.backend.uint31Implementation
|| base == compiler.backend.uint32Implementation;
}

Powered by Google App Engine
This is Rietveld 408576698