This tests that a structure clobber in a basic block that does not touch a live variable causes that variable's structure to be correctly clobbered.

On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".


PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is 2
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS foo(predicate, {f:object}) is NaN
PASS successfullyParsed is true

TEST COMPLETE