Skip to content

Commit 1bfa1b1

Browse files
author
Nikita Kraiouchkine
committed
Fix RULE-11-7 query output message
The previous message referenced a "pointer to void type" rather than "pointer to object type" as specified by the query.
1 parent e0e4181 commit 1bfa1b1

File tree

3 files changed

+6
-4
lines changed

3 files changed

+6
-4
lines changed

c/misra/src/rules/RULE-11-7/CastBetweenPointerToObjectAndNonIntArithmeticType.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,4 +32,4 @@ where
3232
[typeFrom, typeTo] instanceof MisraNonIntegerArithmeticType and
3333
[typeFrom, typeTo] instanceof PointerToObjectType
3434
select cast,
35-
"Cast performed between a pointer to void type and a non-integer arithmetic type."
35+
"Cast performed between a pointer to object type and a non-integer arithmetic type."
Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
| test.c:5:13:5:20 | (bool)... | Cast performed between a pointer to void type and a non-integer arithmetic type. |
2-
| test.c:7:21:7:28 | (bool)... | Cast performed between a pointer to void type and a non-integer arithmetic type. |
3-
| test.c:8:8:8:16 | (int *)... | Cast performed between a pointer to void type and a non-integer arithmetic type. |
1+
| test.c:5:13:5:20 | (bool)... | Cast performed between a pointer to object type and a non-integer arithmetic type. |
2+
| test.c:7:21:7:28 | (bool)... | Cast performed between a pointer to object type and a non-integer arithmetic type. |
3+
| test.c:8:8:8:16 | (int *)... | Cast performed between a pointer to object type and a non-integer arithmetic type. |
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
- `RULE-11-7` - `CastBetweenPointerToObjectAndNonIntArithmeticType.ql`
2+
- Corrected the query output message to describe a cast involving a pointer to an object rather than a void pointer.

0 commit comments

Comments
 (0)