File tree Expand file tree Collapse file tree 2 files changed +1
-2
lines changed
java/ql/test/query-tests/RangeAnalysis Expand file tree Collapse file tree 2 files changed +1
-2
lines changed Original file line number Diff line number Diff line change @@ -64,7 +64,7 @@ void m4(int[] a, int[] b) {
64
64
int sum = 0 ;
65
65
for (int i = 0 ; i < a .length ; ) {
66
66
sum += a [i ++]; // OK
67
- sum += a [i ++]; // OK - FP
67
+ sum += a [i ++]; // OK
68
68
}
69
69
int len = b .length ;
70
70
if ((len & 1 ) != 0 )
Original file line number Diff line number Diff line change 3
3
| A.java:45:14:45:22 | ...[...] | This array access might be out of bounds, as the index might be equal to the array length. |
4
4
| A.java:49:14:49:22 | ...[...] | This array access might be out of bounds, as the index might be equal to the array length. |
5
5
| A.java:58:14:58:19 | ...[...] | This array access might be out of bounds, as the index might be equal to the array length. |
6
- | A.java:67:14:67:19 | ...[...] | This array access might be out of bounds, as the index might be equal to the array length. |
7
6
| A.java:89:12:89:16 | ...[...] | This array access might be out of bounds, as the index might be equal to the array length. |
8
7
| A.java:100:18:100:31 | ...[...] | This array access might be out of bounds, as the index might be equal to the array length + 8. |
9
8
| A.java:113:14:113:21 | ...[...] | This array access might be out of bounds, as the index might be equal to the array length. |
You can’t perform that action at this time.
0 commit comments