Merge pull request github#5622 from MathiasVP/inline-is-before

jbj · web-flow · commit 51bab81f56bd · 2021-04-08T11:24:33.000+02:00
C++: Inline Location::isBefore
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`	`}`