Inline locationBefore

joefarebrother · joefarebrother · commit 2c93e2c3697f · 2025-07-14T13:18:59.000+01:00
diff --git a/python/ql/src/Classes/CallsToInitDel/MethodCallOrder.qll b/python/ql/src/Classes/CallsToInitDel/MethodCallOrder.qll
@@ -21,6 +21,7 @@ predicate multipleCallsToSuperclassMethod(
 }
 
 /** Holds if l1 comes before l2, assuming they're in the same file. */
+pragma[inline]
 private predicate locationBefore(Location l1, Location l2) {
   l1.getStartLine() < l2.getStartLine()
   or

Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,7 @@ predicate multipleCallsToSuperclassMethod(`
`21`	`21`	`}`
`22`	`22`
`23`	`23`	`/** Holds if l1 comes before l2, assuming they're in the same file. */`
	`24`	`+pragma[inline]`
`24`	`25`	`private predicate locationBefore(Location l1, Location l2) {`
`25`	`26`	`l1.getStartLine() < l2.getStartLine()`
`26`	`27`	`or`