Skip to content

Commit 917e2ba

Browse files
committed
Add more debugging messages
1 parent 332a98d commit 917e2ba

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

cpp/misra/src/rules/RULE-8-7-1/Experimental.ql

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -333,6 +333,8 @@ where
333333
srcOffset + sinkOffset < 0 or // Underflow detection
334334
srcOffset + sinkOffset > length // Overflow detection
335335
) and
336-
message = "srcOffset: " + srcOffset + ", sinkOffset: " + sinkOffset + ", length: " + length
336+
message =
337+
"start: " + start + ", end: " + end + "srcOffset: " + srcOffset + ", sinkOffset: " + sinkOffset +
338+
", length: " + length
337339
)
338340
select sink, src, sink, message

0 commit comments

Comments
 (0)