C++: Repair callDereferences for failing test.

This commit is contained in:
Geoffrey White
2020-10-01 10:38:12 +01:00
parent ff78f50a03
commit ed5c3b321f

View File

@@ -17,6 +17,12 @@ predicate callDereferences(FunctionCall fc, int i) {
af.hasArrayOutput(i)
)
)
or
exists(FormattingFunction ff |
fc.getTarget() = ff and
i >= ff.getFirstFormatArgumentIndex() and
fc.getArgument(i).getType() instanceof PointerType
)
}
/**