We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ac1e069 commit d97f03cCopy full SHA for d97f03c
cpp/ql/src/Likely Bugs/Memory Management/Padding/NonPortablePrintf.ql
@@ -88,7 +88,8 @@ where
88
not arg.isAffectedByMacro() and
89
size32 = ilp32.paddedSize(actual) and
90
size64 = lp64.paddedSize(actual) and
91
- size64 != size32
+ size64 != size32 and
92
+ not actual instanceof ErroneousType
93
select arg,
94
"This argument should be of type '" + expected.getName() + "' but is of type '" + actual.getName()
95
+ "' (which changes size from " + size32 + " to " + size64 + " on 64-bit systems)."
0 commit comments