blob: 06f81a73209c90c385daab88e559ff4bb8b11a87 [file] [log] [blame]
// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
// @dart = 2.9
// Regression test for dart2js that used to crash during the
// [SsaCodeMotion] phase on this code.
class A {
final finalField;
var field = 2;
foo() {
new A().field = 42;
}
A._() : finalField = 42;
A() : finalField = [new A._(), new B(), new Object()][1];
}
class B {
foo() {}
bar() {}
}
main() {
var a = new A();
// Create a new block for SsaCodeMotion: the phase will want to move
// field access on [a] to this block.
if (true) {
var b = a.finalField;
var d = a.field;
b.bar();
// [c] gets GVN'ed with [b]. As a consequence, the type propagator
// that runs after GVN sees that [c] can only be a [B] because of
// the call to [bar].
var c = a.finalField;
c.foo();
// [e] does not get GVN'ed because the GVN phase sees [c.foo()] as
// having side effects.
var e = a.field;
if (d + e != 4) throw 'Test failed';
}
}