OSDN Git Service

Fixed bug on incorrectly revisiting same block.
authorAart Bik <ajcbik@google.com>
Mon, 29 Feb 2016 21:56:44 +0000 (13:56 -0800)
committerAart Bik <ajcbik@google.com>
Tue, 1 Mar 2016 00:37:49 +0000 (16:37 -0800)
commitb6347b7a3dbf9f55cbd638c630e9d044d6d53ac6
tree676d2a23b19d4302b13841726ee559763980b5f4
parent9f03916ff79dca0d529a39c0202b67ac256cf9df
Fixed bug on incorrectly revisiting same block.

Rationale:
Aart's fuzz tester found this particular bug, where
revisiting a block (after dynamic bce) would cause
static array length based bce to feed into itself
and thus incorrectly remove a needed bounds check.

bug=27376274

Change-Id: I9163f283af355d444b4cec707f194fe2b67c2572
compiler/optimizing/bounds_check_elimination.cc
test/449-checker-bce/src/Main.java
test/530-checker-loops/src/Main.java
test/578-bce-visit/expected.txt [new file with mode: 0644]
test/578-bce-visit/info.txt [new file with mode: 0644]
test/578-bce-visit/src/Main.java [new file with mode: 0644]