Skip to content

Commit 07c4eca

Browse files
committed
C++: Implement the new predicate for C++.
1 parent 69ea19c commit 07c4eca

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,11 @@ module Input implements InputSig<Location, DataFlowImplSpecific::CppDataFlow> {
2222

2323
ArgumentPosition callbackSelfParameterPosition() { result = TDirectPosition(-1) }
2424

25-
ReturnKind getStandardReturnValueKind() { result.(NormalReturnKind).getIndirectionIndex() = 0 }
25+
ReturnKind getStandardReturnValueKind() { result = getReturnValueKind("") }
26+
27+
ReturnKind getReturnValueKind(string arg) {
28+
arg = repeatStars(result.(NormalReturnKind).getIndirectionIndex())
29+
}
2630

2731
string encodeParameterPosition(ParameterPosition pos) { result = pos.toString() }
2832

0 commit comments

Comments
 (0)