Merge pull request #19810 from kaspersv/kaspersv/inline-overlay-caller-test

kaspersv · web-flow · commit 76786798df1c · 2025-06-19T11:30:32.000+02:00
QL4QL: Add test for `ql/inline-overlay-caller` query
diff --git a/ql/ql/test/queries/overlay/InlineOverlayCaller/InlineOverlayCaller.expected b/ql/ql/test/queries/overlay/InlineOverlayCaller/InlineOverlayCaller.expected
@@ -0,0 +1 @@
+| Test.qll:7:11:7:13 | ClasslessPredicate foo | This possibly local non-private inline predicate will not be inlined across the overlay frontier. This may negatively affect evaluation performance. Consider adding an `overlay[caller]` annotation to allow inlining across the overlay frontier. Note that adding an `overlay[caller]` annotation affects semantics under overlay evaluation. |
diff --git a/ql/ql/test/queries/overlay/InlineOverlayCaller/InlineOverlayCaller.qlref b/ql/ql/test/queries/overlay/InlineOverlayCaller/InlineOverlayCaller.qlref
@@ -0,0 +1 @@
+queries/overlay/InlineOverlayCaller.ql
diff --git a/ql/ql/test/queries/overlay/InlineOverlayCaller/Test.qll b/ql/ql/test/queries/overlay/InlineOverlayCaller/Test.qll
@@ -0,0 +1,14 @@
+overlay[local?]
+module;
+
+import ql
+
+pragma[inline]
+predicate foo(int x) { x = 42 }
+
+overlay[caller]
+pragma[inline]
+predicate bar(int x) { x = 43 }
+
+pragma[inline]
+private predicate baz(int x) { x = 44 }

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+\| Test.qll:7:11:7:13 \| ClasslessPredicate foo \| This possibly local non-private inline predicate will not be inlined across the overlay frontier. This may negatively affect evaluation performance. Consider adding an `overlay[caller]` annotation to allow inlining across the overlay frontier. Note that adding an `overlay[caller]` annotation affects semantics under overlay evaluation. \|