Overlay: Add missing overlay[caller?] annotation

2026-04-26 09:15:12 +02:00 · 2025-06-27 10:50:28 +02:00
parent da1b99b921
commit 5096ce405f
1 changed files with 1 additions and 0 deletions
--- 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 }