We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 12b4c0a commit 2cd4e1aCopy full SHA for 2cd4e1a
cpp/ql/src/Likely Bugs/Format/WrongTypeFormatArguments.ql
@@ -170,11 +170,7 @@ where
170
) and
171
not arg.isAffectedByMacro() and
172
not arg.isFromUninstantiatedTemplate(_) and
173
- not actual.getUnspecifiedType() instanceof ErroneousType and
174
- not (
175
- expected instanceof PointerType and
176
- actual.getUnspecifiedType().(PointerType).getBaseType() instanceof ErroneousType
177
- ) and
+ not actual.stripType() instanceof ErroneousType and
178
not arg.(Call).mayBeFromImplicitlyDeclaredFunction()
179
select arg,
180
"This format specifier for type '" + expected.getName() + "' does not match the argument type '" +
0 commit comments