From f8a0b6cd22dd6e05b1da71c1c8bd898a4849d51d Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 17 Aug 2023 11:20:02 +0200 Subject: [PATCH] Java: Add nomagic --- java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll b/java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll index 4af0145bee3..8cdef89c6ab 100644 --- a/java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll +++ b/java/ql/lib/semmle/code/java/dataflow/RangeAnalysis.qll @@ -267,6 +267,7 @@ private Guard boundFlowCond(SsaVariable v, Expr e, int delta, boolean upper, boo /** * Gets a basic block in which `v1` equals `v2 + delta`. */ +pragma[nomagic] private BasicBlock eqSsaCondDirectlyControls(SsaVariable v1, SsaVariable v2, int delta) { exists(Guard guardEq, int d1, int d2, boolean eqIsTrue | guardEq = eqFlowCond(v1, ssaRead(v2, d1), d2, true, eqIsTrue) and