| Index: lib/compiler/implementation/ssa/optimize.dart
|
| diff --git a/lib/compiler/implementation/ssa/optimize.dart b/lib/compiler/implementation/ssa/optimize.dart
|
| index 3245032367aa2fd1a21e06778c3b72451ab91be8..b1bc51d5e10797640849995591cb2bb8e1d3e849 100644
|
| --- a/lib/compiler/implementation/ssa/optimize.dart
|
| +++ b/lib/compiler/implementation/ssa/optimize.dart
|
| @@ -999,6 +999,9 @@ class SsaGlobalValueNumberer implements OptimizationPhase {
|
| if (dominator.id < id && id < dominated.id && !visited.contains(id)) {
|
| visited.add(id);
|
| changesFlags |= blockChangesFlags[id];
|
| + // Loop bodies might not be on the path from dominator to dominated,
|
| + // but they can invalidate values.
|
| + changesFlags |= loopChangesFlags[id];
|
| changesFlags |= getChangesFlagsForDominatedBlock(dominator, block);
|
| }
|
| }
|
|
|