Update java/ql/src/Likely Bugs/Comparison/StringComparison.ql

aschackmull · web-flow · commit 306388a6bc44 · 2021-10-13T08:57:31.000+02:00
diff --git a/java/ql/src/Likely Bugs/Comparison/StringComparison.ql b/java/ql/src/Likely Bugs/Comparison/StringComparison.ql
@@ -41,6 +41,7 @@ class StringValue extends Expr {
   }
 }
 
+pragma[noinline]
 predicate candidateVariable(Variable v) {
   v.fromSource() and
   // For parameters, assume they could be non-interned.

Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,7 @@ class StringValue extends Expr {`
`41`	`41`	`}`
`42`	`42`	`}`
`43`	`43`
	`44`	`+pragma[noinline]`
`44`	`45`	`predicate candidateVariable(Variable v) {`
`45`	`46`	`v.fromSource() and`
`46`	`47`	`// For parameters, assume they could be non-interned.`