C++: Fix compilation.

criemen · web-flow · commit a04883cafcdb · 2021-02-16T16:17:59.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/StdContainer.qll
@@ -113,7 +113,7 @@ private class StdSequenceContainerPush extends TaintFunction {
     this.getClassAndName("push_back") instanceof Array or
     this.getClassAndName(["push_back", "push_front"]) instanceof Deque or
     this.getClassAndName("push_front") instanceof ForwardList or
-    this.getClassAndName("push_back") instanceof List or
+    this.getClassAndName("push_back") instanceof List
   }
 
   override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {

Original file line number	Diff line number	Diff line change
`@@ -113,7 +113,7 @@ private class StdSequenceContainerPush extends TaintFunction {`
`113`	`113`	`this.getClassAndName("push_back") instanceof Array or`
`114`	`114`	`this.getClassAndName(["push_back", "push_front"]) instanceof Deque or`
`115`	`115`	`this.getClassAndName("push_front") instanceof ForwardList or`
`116`		`- this.getClassAndName("push_back") instanceof List or`
	`116`	`+ this.getClassAndName("push_back") instanceof List`
`117`	`117`	`}`
`118`	`118`
`119`	`119`	`override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {`