blob: 81e025a8337aab3a00d02eb52201e63edba21058 [file] [log] [blame]
Tests that CFA knows that PutByVal can clobber the world.
On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS successfullyParsed is true
TEST COMPLETE