From cd2eec0aa0c8d239af70abc17eef3abe73c1c01d Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 6 Nov 2023 13:23:31 +0000 Subject: [PATCH] C++: Also override the single-parameter 'isParameterDeref' in 'InParameterDeref'. --- .../code/cpp/models/interfaces/FunctionInputsAndOutputs.qll | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll index f80d08dfba7..a4b82ea019f 100644 --- a/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll +++ b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FunctionInputsAndOutputs.qll @@ -254,6 +254,8 @@ class InParameterDeref extends FunctionInput, TInParameterDeref { /** Gets the zero-based index of the parameter. */ ParameterIndex getIndex() { result = index } + override predicate isParameterDeref(ParameterIndex i) { index = i } + override predicate isParameterDeref(ParameterIndex i, int indirection) { i = index and indirectionIndex = indirection }