blob: 7e4075ee62b6ea81875a372472027b32654a409d [file] [log] [blame]
Tests what happens when CFG simplification leads to the elimination of a set local that had a type check, and then we branch on the variable not being null while decrementing the variable in the same basic block.
On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is true
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS foo(o) is false
PASS successfullyParsed is true
TEST COMPLETE