hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-21 23:14:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: fix bad join order

Browse Source
This commit is contained in:
Arthur Baars
2024-10-23 17:50:54 +02:00
parent a3b903f13a
commit 2b65e78674
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
rust/ql/lib/codeql/rust/elements/internal/LocatableImpl.qll
View File

@@ -36,7 +36,8 @@ module Impl {
this.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
or
not exists(this.getLocation()) and
any(EmptyLocation e).hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
pragma[only_bind_out](any(EmptyLocation e))
.hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
}
/**