Skip to content

Commit 01e7a33

Browse files
committed
QL4QL: Add test for ql/inline-overlay-caller query
1 parent bef07a7 commit 01e7a33

File tree

3 files changed

+16
-0
lines changed

3 files changed

+16
-0
lines changed
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff 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. |
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
queries/overlay/InlineOverlayCaller.ql
Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
overlay[local?]
2+
module;
3+
4+
import ql
5+
6+
pragma[inline]
7+
predicate foo(int x) { x = 42 }
8+
9+
overlay[caller]
10+
pragma[inline]
11+
predicate bar(int x) { x = 43 }
12+
13+
pragma[inline]
14+
private predicate baz(int x) { x = 44 }

0 commit comments

Comments
 (0)