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

Unified Diff: runtime/vm/flow_graph_builder.cc

Issue 1841073003: VM: Fix receiver type propagation in presence of try-catch. (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: addressed comments, added test Created 4 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 side-by-side diff with in-line comments
Download patch
Index: runtime/vm/flow_graph_builder.cc
diff --git a/runtime/vm/flow_graph_builder.cc b/runtime/vm/flow_graph_builder.cc
index 6f7ff8d19090449800c2d188ebe3899374ba5bfe..c9e02e7c683fc4b3893c9fa30c1fe13de30d6914 100644
--- a/runtime/vm/flow_graph_builder.cc
+++ b/runtime/vm/flow_graph_builder.cc
@@ -4336,6 +4336,7 @@ void EffectGraphVisitor::VisitTryCatchNode(TryCatchNode* node) {
CatchBlockEntryInstr* catch_entry =
new(Z) CatchBlockEntryInstr(owner()->AllocateBlockId(),
catch_handler_index,
+ owner()->graph_entry(),
catch_block->handler_types(),
try_handler_index,
catch_block->exception_var(),
@@ -4381,6 +4382,7 @@ void EffectGraphVisitor::VisitTryCatchNode(TryCatchNode* node) {
CatchBlockEntryInstr* finally_entry =
new(Z) CatchBlockEntryInstr(owner()->AllocateBlockId(),
original_handler_index,
+ owner()->graph_entry(),
types,
catch_handler_index,
catch_block->exception_var(),

Powered by Google App Engine
This is Rietveld 408576698