Overlay: Add missing overlay[caller?] annotation

kaspersv · kaspersv · commit 5096ce405fba · 2025-06-27T10:50:28.000+02:00
diff --git 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 }
 

Original file line number	Diff line number	Diff line change
`@@ -440,6 +440,7 @@ private module CustomGuardInput implements Guards_v2::CustomGuardInputSig {`
`440`	`440`	`}`
`441`	`441`
`442`	`442`	/** Holds if arguments at position `apos` match parameters at position `ppos`. */
	`443`	`+ overlay[caller?]`
`443`	`444`	`pragma[inline]`
`444`	`445`	`predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos) { ppos = apos }`
`445`	`446`