1209   int sum;  field in Main
1247       sum += array[i];  in foo1()
1287       sum += array[i];  in foo2()
1327       sum += array[i];  in foo3()
1368       sum += array[i - 1];  in foo4()
1419       sum += array[i - 1];  in foo5()
1420       sum += array[i];  in foo5()
1421       sum += array[i + 1];  in foo5()
1511         sum += array[i + 1000];  in foo7()
1513       sum += array[i];  in foo7()
1594       sum += array[i];  in foo9()
1629     if (main.sum != 10) {  in testUnknownBounds()
1640     if (!caught || main.sum != 10) {  in testUnknownBounds()
1646     if (main.sum != 10) {  in testUnknownBounds()
1657     if (!caught || main.sum != 10) {  in testUnknownBounds()
1663     if (main.sum != 7) {  in testUnknownBounds()
1674     if (!caught || main.sum != 7) {  in testUnknownBounds()
1680     if (main.sum != 10) {  in testUnknownBounds()
1691     if (!caught || main.sum != 0) {  in testUnknownBounds()
1697     if (main.sum != 24) {  in testUnknownBounds()
1708     if (!caught || main.sum != 2) {  in testUnknownBounds()
1718     if (main.sum != 45) {  in testUnknownBounds()