github
diff --git a/‎c/common/src/codingstandards/c/Pointers.qll‎
Lines changed: 2 additions & 0 deletions b/‎c/common/src/codingstandards/c/Pointers.qll‎
Lines changed: 2 additions & 0 deletions
diff --git a/‎c/misra/src/rules/RULE-11-1/tempfile‎ b/‎c/misra/src/rules/RULE-11-1/tempfile‎
diff --git a/‎c/misra/src/rules/RULE-11-2/tempfile‎ b/‎c/misra/src/rules/RULE-11-2/tempfile‎
diff --git a/‎c/misra/src/rules/RULE-11-5/tempfile‎ b/‎c/misra/src/rules/RULE-11-5/tempfile‎
@@ -68,6 +68,8 @@ predicate isNullPointerConstant(Expr e) {
     e instanceof Zero and
     c.getType() instanceof VoidPointerType
   )
+  or
+  isNullPointerConstant(e.(Conversion).getExpr())
 }
 
 predicate isCastNullPointerConstant(Cast c) {
Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,8 @@ predicate isNullPointerConstant(Expr e) {`
`68`	`68`	`e instanceof Zero and`
`69`	`69`	`c.getType() instanceof VoidPointerType`
`70`	`70`	`)`
	`71`	`+ or`
	`72`	`+ isNullPointerConstant(e.(Conversion).getExpr())`
`71`	`73`	`}`
`72`	`74`
`73`	`75`	`predicate isCastNullPointerConstant(Cast c) {`