Work around compiler bug.

aschackmull · aschackmull · commit df9836cce092 · 2021-10-18T14:04:16.000+02:00
diff --git a/java/ql/lib/semmle/code/java/security/CommandArguments.qll b/java/ql/lib/semmle/code/java/security/CommandArguments.qll
@@ -155,7 +155,7 @@ private class CommandArgArrayImmutableFirst extends CommandArgumentArray {
   Expr getFirstElement() {
     result = this.getAWrite(0)
     or
-    not exists(this.getAWrite(0)) and
+    not exists(getAWrite(0)) and
     result = firstElementOf(this.getDefiningExpr())
   }
 

Original file line number	Diff line number	Diff line change
`@@ -155,7 +155,7 @@ private class CommandArgArrayImmutableFirst extends CommandArgumentArray {`
`155`	`155`	`Expr getFirstElement() {`
`156`	`156`	`result = this.getAWrite(0)`
`157`	`157`	`or`
`158`		`- not exists(this.getAWrite(0)) and`
	`158`	`+ not exists(getAWrite(0)) and`
`159`	`159`	`result = firstElementOf(this.getDefiningExpr())`
`160`	`160`	`}`
`161`	`161`