Skip to content

Commit 2c1ea82

Browse files
committed
Minor comment stuff
1 parent f406729 commit 2c1ea82

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

c/cert/src/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -96,5 +96,6 @@ where
9696
or
9797
castingPointerToInteger(elem, message)
9898
) and
99+
/* Ensure that `int` has different size than that of pointers */
99100
forall(IntType intType, PointerType ptrType | intType.getSize() != ptrType.getSize())
100101
select elem, message

0 commit comments

Comments
 (0)