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

Go: avoid overlay-discarding @file entities

Browse Source 
...since they are shared between base and overlay
This commit is contained in:
Nick Rolfe
2025-11-05 12:29:31 +00:00
parent 734cba7b9c
commit 44654bdef6
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
go/ql/lib/semmle/go/Overlay.qll
View File

@@ -20,7 +20,9 @@ private @file getFile(@locatable locatable) {
/** Holds if the `locatable` is in the `file` and is part of the overlay base database. */ /** Holds if the `locatable` is in the `file` and is part of the overlay base database. */
private predicate discardableLocatable(@file file, @locatable locatable) { private predicate discardableLocatable(@file file, @locatable locatable) {
not isOverlay() and not isOverlay() and
file = getFile(locatable) file = getFile(locatable) and
// Avoid discarding @file entities, since they are shared between base and overlay.
not locatable instanceof @file
} }
/** /**