commit 57e04754d5b7fb3cc99d6b9f70da73cf4c65b416
author Mingyao Yang <mingyao@google.com> Mon Feb 09 18:13:26 2015 -0800
committer Mingyao Yang <mingyao@google.com> Tue Feb 24 13:54:54 2015 -0800
tree 9bde4949495c4cb2f29e491327801016ff135c76
parent 354d58ba776866ea7b1c71f0d0848d5aaa013ae3

bce: add support to narrow two MonotonicValueRange's at the same time.

Change-Id: I545da4f375619ce47e01bb5aa5c8b1a4a9d1df41

test/449-checker-bce/src/Main.java

diff --git a/test/449-checker-bce/src/Main.java b/test/449-checker-bce/src/Main.java
index ad4092b..9391533 100644
--- a/test/449-checker-bce/src/Main.java
+++ b/test/449-checker-bce/src/Main.java
@@ -377,7 +377,18 @@
   }
 
 
-  // TODO: bce on the array accesses in this method.
+  // CHECK-START: boolean Main.isPyramid(int[]) BCE (before)
+  // CHECK: BoundsCheck
+  // CHECK: ArrayGet
+  // CHECK: BoundsCheck
+  // CHECK: ArrayGet
+
+  // CHECK-START: boolean Main.isPyramid(int[]) BCE (after)
+  // CHECK-NOT: BoundsCheck
+  // CHECK: ArrayGet
+  // CHECK-NOT: BoundsCheck
+  // CHECK: ArrayGet
+
   static boolean isPyramid(int[] array) {
     int i = 0;
     int j = array.length - 1;