Skip to content

Commit 1289f14

Browse files
authored
Merge pull request #19961 from geoffw0/locspeed
Rust: Speed up use of Location.contains
2 parents 0647086 + 9728dbb commit 1289f14

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -133,7 +133,8 @@ module LocationImpl {
133133
* Holds if this location contains location `that`, meaning that it starts
134134
* before and ends after it.
135135
*/
136-
pragma[inline]
136+
bindingset[this, that]
137+
pragma[inline_late]
137138
predicate contains(Location that) { this.startsBefore(that) and this.endsAfter(that) }
138139

139140
/**

0 commit comments

Comments
 (0)