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

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

Issue 2811993006: dart2js: type analysis: yield escapes its argument (Closed)
Patch Set: comment Created 3 years, 8 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
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 library compiler.src.inferrer.node_tracer; 5 library compiler.src.inferrer.node_tracer;
6 6
7 import '../common/names.dart' show Identifiers; 7 import '../common/names.dart' show Identifiers;
8 import '../compiler.dart' show Compiler; 8 import '../compiler.dart' show Compiler;
9 import '../elements/elements.dart'; 9 import '../elements/elements.dart';
10 import '../types/types.dart' show ContainerTypeMask, MapTypeMask; 10 import '../types/types.dart' show ContainerTypeMask, MapTypeMask;
(...skipping 139 matching lines...) Expand 10 before | Expand all | Expand 10 after
150 if (debug.VERBOSE) { 150 if (debug.VERBOSE) {
151 print('Bailing out on $tracedType because: $reason'); 151 print('Bailing out on $tracedType because: $reason');
152 } 152 }
153 continueAnalyzing = false; 153 continueAnalyzing = false;
154 } 154 }
155 155
156 void visitAwaitTypeInformation(AwaitTypeInformation info) { 156 void visitAwaitTypeInformation(AwaitTypeInformation info) {
157 bailout("Passed through await"); 157 bailout("Passed through await");
158 } 158 }
159 159
160 void visitYieldTypeInformation(YieldTypeInformation info) {
161 // TODO(29344): The enclosing sync*/async/async* method could have a
162 // tracable TypeInformation for the Iterable / Future / Stream with an
163 // element TypeInformation. Then YieldTypeInformation could connect the
164 // source type information to the tracable element.
165 bailout("Passed through yield");
166 }
167
160 void visitNarrowTypeInformation(NarrowTypeInformation info) { 168 void visitNarrowTypeInformation(NarrowTypeInformation info) {
161 addNewEscapeInformation(info); 169 addNewEscapeInformation(info);
162 } 170 }
163 171
164 void visitPhiElementTypeInformation(PhiElementTypeInformation info) { 172 void visitPhiElementTypeInformation(PhiElementTypeInformation info) {
165 addNewEscapeInformation(info); 173 addNewEscapeInformation(info);
166 } 174 }
167 175
168 void visitElementInContainerTypeInformation( 176 void visitElementInContainerTypeInformation(
169 ElementInContainerTypeInformation info) { 177 ElementInContainerTypeInformation info) {
(...skipping 290 matching lines...) Expand 10 before | Expand all | Expand 10 after
460 } 468 }
461 if (isParameterOfListAddingMethod(element) || 469 if (isParameterOfListAddingMethod(element) ||
462 isParameterOfMapAddingMethod(element)) { 470 isParameterOfMapAddingMethod(element)) {
463 // These elements are being handled in 471 // These elements are being handled in
464 // [visitDynamicCallSiteTypeInformation]. 472 // [visitDynamicCallSiteTypeInformation].
465 return; 473 return;
466 } 474 }
467 addNewEscapeInformation(info); 475 addNewEscapeInformation(info);
468 } 476 }
469 } 477 }
OLDNEW
« no previous file with comments | « pkg/compiler/lib/src/inferrer/inferrer_engine.dart ('k') | pkg/compiler/lib/src/inferrer/type_graph_dump.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698