Update cpp/ql/src/Microsoft/Likely Bugs/SizeOfMisuse/SizeOfConstIntMacro.ql

bdrodes · MathiasVP · web-flow · commit 52628248d179 · 2025-12-05T12:27:07.000-05:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/cpp/ql/src/Microsoft/Likely Bugs/SizeOfMisuse/SizeOfConstIntMacro.ql b/cpp/ql/src/Microsoft/Likely Bugs/SizeOfMisuse/SizeOfConstIntMacro.ql
@@ -22,12 +22,10 @@ predicate isTypeDangerousForSizeof(Expr e) {
       else type = e.getUnspecifiedType()
     )
   |
-    (
-      type instanceof IntegralOrEnumType and
-      // ignore string literals
-      not type instanceof WideCharType and
-      not type instanceof CharType
-    )
+    type instanceof IntegralOrEnumType and
+    // ignore string literals
+    not type instanceof WideCharType and
+    not type instanceof CharType
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -22,12 +22,10 @@ predicate isTypeDangerousForSizeof(Expr e) {`
`22`	`22`	`else type = e.getUnspecifiedType()`
`23`	`23`	`)`
`24`	`24`	`\|`
`25`		`- (`
`26`		`- type instanceof IntegralOrEnumType and`
`27`		`- // ignore string literals`
`28`		`- not type instanceof WideCharType and`
`29`		`- not type instanceof CharType`
`30`		`- )`
	`25`	`+ type instanceof IntegralOrEnumType and`
	`26`	`+ // ignore string literals`
	`27`	`+ not type instanceof WideCharType and`
	`28`	`+ not type instanceof CharType`
`31`	`29`	`)`
`32`	`30`	`}`
`33`	`31`