Skip to content

Commit a3701af

Browse files
committed
CodeQL: Adjust test results and comments after bug fix
1 parent 9dc6c1f commit a3701af

File tree

2 files changed

+1
-6
lines changed

2 files changed

+1
-6
lines changed
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
| test.c:2:33:2:36 | arr2 | Parameter arr2 is declared as an array type using the static keyword. |
22
| test.c:3:39:3:42 | arr3 | Parameter arr3 is declared as an array type using the static keyword. |
3-
| test.c:5:9:5:12 | arr4 | Parameter arr4 is declared as an array type using the static keyword. |

c/misra/test/rules/RULE-17-6/test.c

+1-5
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,4 @@
11
void test_array(int arr1[10]) {} // COMPLIANT
22
void test_array_uses_static(int arr2[static 11]) {} // NON_COMPLIANT
33
void test_array_uses_static_multi(int arr3[static 12][5]) {} // NON_COMPLIANT
4-
void test_array_uses_static_again(
5-
int arr4[11]) { // COMPLIANT[FALSE_POSITIVE] - apparently a CodeQL
6-
// bug where the static is associated with the fixed
7-
// size
8-
}
4+
void test_array_uses_static_again(int arr4[11]) {} // COMPLIANT

0 commit comments

Comments
 (0)