github
diff --git a/‎cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll‎
Lines changed: 2 additions & 2 deletions b/‎cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll‎
Lines changed: 2 additions & 2 deletions
@@ -437,13 +437,13 @@ private predicate elementSpec(
 private predicate isClassConstructedFrom(Class c, Class templateClass) {
   c.isConstructedFrom(templateClass)
   or
-  not any(Class c_).isConstructedFrom(templateClass) and c = templateClass
+  not c.isConstructedFrom(_) and c = templateClass
 }
 
 private predicate isFunctionConstructedFrom(Function f, Function templateFunc) {
   f.isConstructedFrom(templateFunc)
   or
-  not any(Function f_).isConstructedFrom(templateFunc) and f = templateFunc
+  not f.isConstructedFrom(_) and f = templateFunc
 }
 
 /** Gets the fully templated version of `f`. */
Original file line number	Diff line number	Diff line change
`@@ -437,13 +437,13 @@ private predicate elementSpec(`
`437`	`437`	`private predicate isClassConstructedFrom(Class c, Class templateClass) {`
`438`	`438`	`c.isConstructedFrom(templateClass)`
`439`	`439`	`or`
`440`		`- not any(Class c_).isConstructedFrom(templateClass) and c = templateClass`
	`440`	`+ not c.isConstructedFrom(_) and c = templateClass`
`441`	`441`	`}`
`442`	`442`
`443`	`443`	`private predicate isFunctionConstructedFrom(Function f, Function templateFunc) {`
`444`	`444`	`f.isConstructedFrom(templateFunc)`
`445`	`445`	`or`
`446`		`- not any(Function f_).isConstructedFrom(templateFunc) and f = templateFunc`
	`446`	`+ not f.isConstructedFrom(_) and f = templateFunc`
`447`	`447`	`}`
`448`	`448`
`449`	`449`	/** Gets the fully templated version of `f`. */