Java/Python: Fix some potential performance problems due to transitive deltas.

This commit is contained in:
Anders Schack-Mulligen
2021-10-14 16:10:00 +02:00
parent 8b6baa250c
commit 310eec07c1
3 changed files with 3 additions and 3 deletions

View File

@@ -17,7 +17,7 @@ class Expr extends Expr_, AstNode {
* Whether this expression defines variable `v`
* If doing dataflow, then consider using SsaVariable.getDefinition() for more precision.
*/
predicate defines(Variable v) { this.getASubExpression+().defines(v) }
predicate defines(Variable v) { this.getASubExpression().defines(v) }
/** Whether this expression may have a side effect (as determined purely from its syntax) */
predicate hasSideEffects() {