hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Use Expr.stripType()

Browse Source
This commit is contained in:
Calum Grant
2024-12-06 09:55:05 +00:00
parent 12b4c0a2dd
commit 2cd4e1af9f
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/src/Likely Bugs/Format/WrongTypeFormatArguments.ql
View File

@@ -170,11 +170,7 @@ where
) and
not arg.isAffectedByMacro() and
not arg.isFromUninstantiatedTemplate(_) and
not actual.getUnspecifiedType() instanceof ErroneousType and
not (
expected instanceof PointerType and
actual.getUnspecifiedType().(PointerType).getBaseType() instanceof ErroneousType
) and
not actual.stripType() instanceof ErroneousType and
not arg.(Call).mayBeFromImplicitlyDeclaredFunction()
select arg,
"This format specifier for type '" + expected.getName() + "' does not match the argument type '" +