Skip to content

Commit 2f26539

Browse files
committed
C++: Add missing predicate to grab the parameter position of a return kind.
1 parent 63b0dd6 commit 2f26539

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -295,6 +295,14 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, CppDataFl
295295
result = qualifierString()
296296
}
297297

298+
DataFlowPrivate::ParameterPosition getReturnKindParamPosition(DataFlowPrivate::ReturnKind k) {
299+
exists(int argumentIndex, int indirectionIndex |
300+
k.isIndirectReturn(argumentIndex) and
301+
k.getIndirectionIndex() = indirectionIndex and
302+
result = DataFlowPrivate::TIndirectionPosition(argumentIndex, indirectionIndex)
303+
)
304+
}
305+
298306
string getReturnValueString(DataFlowPrivate::ReturnKind k) {
299307
k.isNormalReturn() and
300308
exists(int indirectionIndex | indirectionIndex = k.getIndirectionIndex() |

0 commit comments

Comments
 (0)