Skip to content

Commit d9bdde8

Browse files
committed
RULE-10-6: Fix output string format
1 parent ef7d949 commit d9bdde8

File tree

5 files changed

+4
-4
lines changed

5 files changed

+4
-4
lines changed

c/cert/test/rules/FIO46-C/tempfile

Whitespace-only changes.

c/common/test/rules/donotaccessaclosedfile/tempfile

Whitespace-only changes.

c/misra/src/rules/RULE-10-6/AssignmentToWiderEssentialType.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,4 +26,4 @@ where
2626
// Assignment to a different type category is prohibited by Rule 10.3, so we only report cases
2727
// where the assignment is to the same type category.
2828
getEssentialTypeCategory(lValueType) = getEssentialTypeCategory(compositeEssentialType)
29-
select ce, "Assignment to wider essential type: $@."
29+
select ce, "Assignment to wider essential type `" + lValueType.getName() + "`."
Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
| test.c:5:9:5:17 | ... + ... | Assignment to wider essential type: $@. |
2-
| test.c:7:24:7:32 | ... + ... | Assignment to wider essential type: $@. |
3-
| test.c:8:27:8:35 | ... + ... | Assignment to wider essential type: $@. |
1+
| test.c:5:9:5:17 | ... + ... | Assignment to wider essential type `unsigned int`. |
2+
| test.c:7:24:7:32 | ... + ... | Assignment to wider essential type `unsigned int`. |
3+
| test.c:8:27:8:35 | ... + ... | Assignment to wider essential type `unsigned int`. |

c/misra/test/rules/RULE-22-6/tempfile

Whitespace-only changes.

0 commit comments

Comments
 (0)