| // 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)); |
| } |
