C++: Work around CPP-331

This change suppresses results from "Declaration hides parameter" where
the ParameterDeclarationEntry does not link up to the right
FunctionDeclarationEntry.
This commit is contained in:
Jonas Jensen
2019-01-11 11:26:43 +01:00
parent 2268f1fee6
commit b38ca944f4

View File

@@ -23,6 +23,7 @@ ParameterDeclarationEntry functionParameterNames(Function f, string name) {
result.getFunctionDeclarationEntry() = fe and
fe.getFunction() = f and
fe.getLocation() = f.getDefinitionLocation() and
result.getFile() = fe.getFile() and // Work around CPP-331
strictcount(f.getDefinitionLocation()) = 1 and
result.getName() = name
)