We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8936221 commit 6702c64Copy full SHA for 6702c64
1 file changed
c/misra/src/rules/RULE-11-6/CastBetweenPointerToVoidAndArithmeticType.ql
@@ -22,5 +22,5 @@ where
22
typeTo = cast.getUnderlyingType() and
23
[typeFrom, typeTo] instanceof ArithmeticType and
24
[typeFrom, typeTo] instanceof VoidPointerType and
25
- not isNullPointerConstant(cast.getExpr())
+ not cast.getExpr() instanceof Zero
26
select cast, "Cast performed between a pointer to void type and an arithmetic type."
0 commit comments