C++: Also override the single-parameter 'isParameterDeref' in 'InParameterDeref'.

MathiasVP · MathiasVP · commit cd2eec0aa0c8 · 2023-11-06T13:23:31.000Z
diff --git 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
   }

Original file line number	Diff line number	Diff line change
`@@ -254,6 +254,8 @@ class InParameterDeref extends FunctionInput, TInParameterDeref {`
`254`	`254`	`/** Gets the zero-based index of the parameter. */`
`255`	`255`	`ParameterIndex getIndex() { result = index }`
`256`	`256`
	`257`	`+ override predicate isParameterDeref(ParameterIndex i) { index = i }`
	`258`	`+`
`257`	`259`	`override predicate isParameterDeref(ParameterIndex i, int indirection) {`
`258`	`260`	`i = index and indirectionIndex = indirection`
`259`	`261`	`}`