C++: Simplification.

geoffw0 · geoffw0 · commit 7012bc05a2c5 · 2021-01-14T15:21:26.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/StdString.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/StdString.qll
@@ -101,7 +101,7 @@ private class StdStringData extends TaintFunction {
  */
 private class StdStringPush extends TaintFunction {
   StdStringPush() {
-    this.getDeclaringType().(ClassTemplateInstantiation) instanceof StdBasicString and
+    this.getDeclaringType() instanceof StdBasicString and
     this.hasName("push_back")
   }
 

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,7 @@ private class StdStringData extends TaintFunction {`
`101`	`101`	`*/`
`102`	`102`	`private class StdStringPush extends TaintFunction {`
`103`	`103`	`StdStringPush() {`
`104`		`- this.getDeclaringType().(ClassTemplateInstantiation) instanceof StdBasicString and`
	`104`	`+ this.getDeclaringType() instanceof StdBasicString and`
`105`	`105`	`this.hasName("push_back")`
`106`	`106`	`}`
`107`	`107`