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

Overlay: Add overlay annotations to shared Guards library

Browse Source
This commit is contained in:
Kasper Svendsen
2025-06-26 13:19:49 +02:00
parent 9d2dd782d9
commit 712e64e4a8
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
shared/controlflow/codeql/controlflow/Guards.qll
View File

@@ -47,6 +47,8 @@
* using the result of Range Analysis to provide a final and more complete
* controls relation.
*/
overlay[local?]
module;
private import codeql.util.Boolean
private import codeql.util.Location