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

Side by Side Diff: pkg/compiler/lib/src/inferrer/node_tracer.dart

Issue 1013803006: Abort tracing in type inference in the presence of await. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: added test Created 5 years, 9 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 unified diff | Download patch | Annotate | Revision Log
OLDNEW
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2013, 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 part of type_graph_inferrer; 5 part of type_graph_inferrer;
6 6
7 // A set of selectors we know do not escape the elements inside the 7 // A set of selectors we know do not escape the elements inside the
8 // list. 8 // list.
9 Set<String> doesNotEscapeListSet = new Set<String>.from( 9 Set<String> doesNotEscapeListSet = new Set<String>.from(
10 const <String>[ 10 const <String>[
(...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after
137 } 137 }
138 } 138 }
139 139
140 void bailout(String reason) { 140 void bailout(String reason) {
141 if (_VERBOSE) { 141 if (_VERBOSE) {
142 print('Bailing out on $tracedType because: $reason'); 142 print('Bailing out on $tracedType because: $reason');
143 } 143 }
144 continueAnalyzing = false; 144 continueAnalyzing = false;
145 } 145 }
146 146
147 void visitAwaitTypeInformation(AwaitTypeInformation info) {
148 bailout("Passed through await");
149 }
150
147 void visitNarrowTypeInformation(NarrowTypeInformation info) { 151 void visitNarrowTypeInformation(NarrowTypeInformation info) {
148 addNewEscapeInformation(info); 152 addNewEscapeInformation(info);
149 } 153 }
150 154
151 void visitPhiElementTypeInformation(PhiElementTypeInformation info) { 155 void visitPhiElementTypeInformation(PhiElementTypeInformation info) {
152 addNewEscapeInformation(info); 156 addNewEscapeInformation(info);
153 } 157 }
154 158
155 void visitElementInContainerTypeInformation( 159 void visitElementInContainerTypeInformation(
156 ElementInContainerTypeInformation info) { 160 ElementInContainerTypeInformation info) {
(...skipping 229 matching lines...) Expand 10 before | Expand all | Expand 10 after
386 } 390 }
387 if (isParameterOfListAddingMethod(info.element) || 391 if (isParameterOfListAddingMethod(info.element) ||
388 isParameterOfMapAddingMethod(info.element)) { 392 isParameterOfMapAddingMethod(info.element)) {
389 // These elements are being handled in 393 // These elements are being handled in
390 // [visitDynamicCallSiteTypeInformation]. 394 // [visitDynamicCallSiteTypeInformation].
391 return; 395 return;
392 } 396 }
393 addNewEscapeInformation(info); 397 addNewEscapeInformation(info);
394 } 398 }
395 } 399 }
OLDNEW
« no previous file with comments | « pkg/compiler/lib/src/inferrer/concrete_types_inferrer.dart ('k') | pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698