hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-14 11:19:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

C/C++ overlay: change discard predicate visibility

Browse Source
This commit is contained in:
idrissrio
2026-01-30 11:27:58 +01:00
parent cd09cfbb73
commit 90d8548acc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/internal/Overlay.qll
View File

@@ -21,7 +21,7 @@ private string getLocationFilePath(@location_default loc) {
* Gets the file path for an element with a single location.
*/
overlay[local]
private string getSingleLocationFilePath(@element e) {
string getSingleLocationFilePath(@element e) {
exists(@location_default loc |
var_decls(e, _, _, _, loc)
or
@@ -75,7 +75,7 @@ private string getSingleLocationFilePath(@element e) {
* Gets the file path for an element with potentially multiple locations.
*/
overlay[local]
private string getMultiLocationFilePath(@element e) {
string getMultiLocationFilePath(@element e) {
exists(@location_default loc |
exists(@var_decl vd | var_decls(vd, e, _, _, loc))
or