1211   int sum;  field in Main
1249       sum += array[i];  in foo1()
1289       sum += array[i];  in foo2()
1329       sum += array[i];  in foo3()
1370       sum += array[i - 1];  in foo4()
1421       sum += array[i - 1];  in foo5()
1422       sum += array[i];  in foo5()
1423       sum += array[i + 1];  in foo5()
1513         sum += array[i + 1000];  in foo7()
1515       sum += array[i];  in foo7()
1596       sum += array[i];  in foo9()
1631     if (main.sum != 10) {  in testUnknownBounds()
1642     if (!caught || main.sum != 10) {  in testUnknownBounds()
1648     if (main.sum != 10) {  in testUnknownBounds()
1659     if (!caught || main.sum != 10) {  in testUnknownBounds()
1665     if (main.sum != 7) {  in testUnknownBounds()
1676     if (!caught || main.sum != 7) {  in testUnknownBounds()
1682     if (main.sum != 10) {  in testUnknownBounds()
1693     if (!caught || main.sum != 0) {  in testUnknownBounds()
1699     if (main.sum != 24) {  in testUnknownBounds()
1710     if (!caught || main.sum != 2) {  in testUnknownBounds()
1720     if (main.sum != 45) {  in testUnknownBounds()