Merge pull request github#19901 from github/kaspersv/overlay-guards-inline

kaspersv · web-flow · commit e02affd32760 · 2025-06-27T15:13:09.000+02:00
Overlay: Add missing `overlay[caller?]` annotation
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`