hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 08:43:11 +01:00
Code Issues Packages Projects Releases Wiki Activity

QL4QL: Add test for ql/inline-overlay-caller query

Browse Source
This commit is contained in:
Kasper Svendsen
2025-06-18 10:23:21 +02:00
parent bef07a7f67
commit 01e7a33e1b
3 changed files with 16 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ql/ql/test/queries/overlay/InlineOverlayCaller/InlineOverlayCaller.expected Normal file
View File

@@ -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. |

1
ql/ql/test/queries/overlay/InlineOverlayCaller/InlineOverlayCaller.qlref Normal file
View File

@@ -0,0 +1 @@
queries/overlay/InlineOverlayCaller.ql

14
ql/ql/test/queries/overlay/InlineOverlayCaller/Test.qll Normal file
View File

@@ -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 }