From 5096ce405fba71c375a8c2de3812324b1d016d39 Mon Sep 17 00:00:00 2001 From: Kasper Svendsen Date: Fri, 27 Jun 2025 10:50:28 +0200 Subject: [PATCH] Overlay: Add missing overlay[caller?] annotation --- java/ql/lib/semmle/code/java/controlflow/Guards.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/java/ql/lib/semmle/code/java/controlflow/Guards.qll b/java/ql/lib/semmle/code/java/controlflow/Guards.qll index 18014c52f2ef..8cead5b666bb 100644 --- a/java/ql/lib/semmle/code/java/controlflow/Guards.qll +++ b/java/ql/lib/semmle/code/java/controlflow/Guards.qll @@ -440,6 +440,7 @@ private module CustomGuardInput implements Guards_v2::CustomGuardInputSig { } /** Holds if arguments at position `apos` match parameters at position `ppos`. */ + overlay[caller?] pragma[inline] predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos) { ppos = apos }