sdk/lib/_internal/compiler/implementation/types/simple_types_inferrer.dart - Issue 23819039: Create type masks lazily.

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

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

Issue 23819039: Create type masks lazily. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Update cf. comment Created 7 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 | « sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart ('k') | sdk/lib/_internal/compiler/implementation/types/types.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

Index: sdk/lib/_internal/compiler/implementation/types/simple_types_inferrer.dart

diff --git a/sdk/lib/_internal/compiler/implementation/types/simple_types_inferrer.dart b/sdk/lib/_internal/compiler/implementation/types/simple_types_inferrer.dart

index faf20a4edfad4e97abdd2862022963148decde6b..0bd62e2763e5e9cdb45ae52fc1b3f0ecc768ce1c 100644

--- a/sdk/lib/_internal/compiler/implementation/types/simple_types_inferrer.dart

+++ b/sdk/lib/_internal/compiler/implementation/types/simple_types_inferrer.dart

@@ -1404,6 +1404,9 @@ class InternalSimpleTypesInferrer

TypeMask handleIntrisifiedSelector(Selector selector,

ArgumentsTypes arguments) {

+ // If [:compiler.intClass:] has not been resolved, there are no int values

+ // in the program.

+ if (!compiler.intClass.isResolved) return null;

TypeMask intType = types.intType;

if (selector.mask != intType) return null;

if (!selector.isCall() && !selector.isOperator()) return null;

@@ -2220,7 +2223,7 @@ class SimpleTypeInferrerVisitor<T>

// If the receiver of the call is a local, we may know more about

// its type by refining it with the potential targets of the

- // calls.

+ // calls.

if (node.asSend() != null) {

Node receiver = node.asSend().receiver;

if (receiver != null) {