C++: Inline Location::isBefore.

MathiasVP · MathiasVP · commit 03b12dbc6dd1 · 2021-04-07T15:45:08.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/Location.qll b/cpp/ql/src/semmle/code/cpp/Location.qll
@@ -72,6 +72,7 @@ class Location extends @location {
   }
 
   /** Holds if `this` comes on a line strictly before `l`. */
+  pragma[inline]
   predicate isBefore(Location l) {
     this.getFile() = l.getFile() and this.getEndLine() < l.getStartLine()
   }

Original file line number	Diff line number	Diff line change
`@@ -72,6 +72,7 @@ class Location extends @location {`
`72`	`72`	`}`
`73`	`73`
`74`	`74`	/** Holds if `this` comes on a line strictly before `l`. */
	`75`	`+ pragma[inline]`
`75`	`76`	`predicate isBefore(Location l) {`
`76`	`77`	`this.getFile() = l.getFile() and this.getEndLine() < l.getStartLine()`
`77`	`78`	`}`