Skip to content

Commit 9728dbb

Browse files
committed
Rust: Speed up use of Location.contains / isFromMacroExpansion.
1 parent 184dd5b commit 9728dbb

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)