diff options
author | 2015-08-24 11:21:42 -0700 | |
---|---|---|
committer | 2015-10-15 01:36:34 -0700 | |
commit | 589dac7f0ce078d19aad7e35bb0195c47ddf01d2 (patch) | |
tree | 5c77fb845997b21ce1aa97b1fa176c64a76e14f1 /test/532-checker-nonnull-arrayset/src/Main.java | |
parent | d2e0dd179fd2e8c6c820194e187fc5e9164154ff (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.java | 4 |
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) {} |