C++: Fix warnings.

geoffw0 · geoffw0 · commit b1f66ae8250f · 2020-01-28T14:51:46.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll b/cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll
@@ -149,9 +149,9 @@ abstract class FormattingFunction extends ArrayFunction, TaintFunction {
     not exists(getSizeParameterIndex())
   }
 
-  predicate hasArrayInput(int bufParam) { bufParam = getFormatParameterIndex() }
+  override predicate hasArrayInput(int bufParam) { bufParam = getFormatParameterIndex() }
 
-  predicate hasArrayOutput(int bufParam) { bufParam = getOutputParameterIndex() }
+  override predicate hasArrayOutput(int bufParam) { bufParam = getOutputParameterIndex() }
 
   override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
     input.isParameterDeref(getFormatParameterIndex()) and

Original file line number	Diff line number	Diff line change
`@@ -149,9 +149,9 @@ abstract class FormattingFunction extends ArrayFunction, TaintFunction {`
`149`	`149`	`not exists(getSizeParameterIndex())`
`150`	`150`	`}`
`151`	`151`
`152`		`- predicate hasArrayInput(int bufParam) { bufParam = getFormatParameterIndex() }`
	`152`	`+ override predicate hasArrayInput(int bufParam) { bufParam = getFormatParameterIndex() }`
`153`	`153`
`154`		`- predicate hasArrayOutput(int bufParam) { bufParam = getOutputParameterIndex() }`
	`154`	`+ override predicate hasArrayOutput(int bufParam) { bufParam = getOutputParameterIndex() }`
`155`	`155`
`156`	`156`	`override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {`
`157`	`157`	`input.isParameterDeref(getFormatParameterIndex()) and`