summaryrefslogtreecommitdiff
path: root/test/532-checker-nonnull-arrayset/src/Main.java
diff options
context:
space:
mode:
author Mingyao Yang <mingyao@google.com> 2015-08-24 11:21:42 -0700
committer Mingyao Yang <mingyao@google.com> 2015-10-15 01:36:34 -0700
commit589dac7f0ce078d19aad7e35bb0195c47ddf01d2 (patch)
tree5c77fb845997b21ce1aa97b1fa176c64a76e14f1 /test/532-checker-nonnull-arrayset/src/Main.java
parentd2e0dd179fd2e8c6c820194e187fc5e9164154ff (diff)
load store elimination.
This adds a pass to eliminate some unnecessary heap loads/stores. It first collects heap locations and then tracks values stored to those heap locations. Alias analysis is done based on offset, type, singleton, pre-existence, etc. Change-Id: I11a9d8ef20d1b2f245607eb25118e9aff9be472a
Diffstat (limited to 'test/532-checker-nonnull-arrayset/src/Main.java')
-rw-r--r--test/532-checker-nonnull-arrayset/src/Main.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/test/532-checker-nonnull-arrayset/src/Main.java b/test/532-checker-nonnull-arrayset/src/Main.java
index 7d8fff46ba..2c701bbb94 100644
--- a/test/532-checker-nonnull-arrayset/src/Main.java
+++ b/test/532-checker-nonnull-arrayset/src/Main.java
@@ -29,10 +29,10 @@ public class Main {
/// CHECK-NOT: test
/// CHECK: ReturnVoid
public static void test() {
- Object[] array = new Object[1];
+ Object[] array = new Object[2];
Object nonNull = array[0];
nonNull.getClass(); // Ensure nonNull has an implicit null check.
- array[0] = nonNull;
+ array[1] = nonNull;
}
public static void main(String[] args) {}