Ruby: Apply nomagic on parameterMatch instead

RasmusWL · RasmusWL · commit f7e58a93357b · 2022-05-25T10:07:02.000+02:00
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowDispatch.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowDispatch.qll
@@ -546,7 +546,7 @@ class ArgumentPosition extends TArgumentPosition {
 }
 
 /** Holds if arguments at position `apos` match parameters at position `ppos`. */
-pragma[inline]
+pragma[nomagic]
 predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos) {
   ppos.isSelf() and apos.isSelf()
   or

Original file line number	Diff line number	Diff line change
`@@ -546,7 +546,7 @@ class ArgumentPosition extends TArgumentPosition {`
`546`	`546`	`}`
`547`	`547`
`548`	`548`	/** Holds if arguments at position `apos` match parameters at position `ppos`. */
`549`		`-pragma[inline]`
	`549`	`+pragma[nomagic]`
`550`	`550`	`predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos) {`
`551`	`551`	`ppos.isSelf() and apos.isSelf()`
`552`	`552`	`or`