blob: b09b16820c68d4ecb0d0f3cae3b9d76024ff4142 [file] [log] [blame]
// Copyright (c) 2018, 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.
// Verify that optimizing compiler does not perform an illegal code motion
// past CheckNull instruction.
import "package:expect/expect.dart";
class C {
final String padding = "";
final String field = "1"; // Note: need padding to hit an object header
// of the next object after [null] object when
// doing illegal null.field read. Need to hit
// object header to cause crash.
int foofoo(C? p) {
int sum = 0;
for (var i = 0; i < 10; i++) {
// Note: need redundant instructions in the loop to trigger Canonicalize
// after CSE. Canonicalize then would illegally remove the Redefinition.
sum += p!.field.length;
sum += p.field.length;
return sum;
void main() {
Expect.equals(20, foofoo(new C()));
Expect.throwsTypeError(() => foofoo(null));