Data flow: No magic in parameterThroughFlowCand

MathiasVP · MathiasVP · commit 9ab8580ca7c7 · 2020-03-27T11:51:10.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
 }
 
 /** Holds if flow may return from `callable`. */
+pragma[nomagic]
 private predicate returnFlowCallableCand(
   DataFlowCallable callable, ReturnKindExt kind, Configuration config
 ) {

Original file line number	Diff line number	Diff line change
`@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {`
`548`	`548`	`}`
`549`	`549`
`550`	`550`	/** Holds if flow may return from `callable`. */
	`551`	`+pragma[nomagic]`
`551`	`552`	`private predicate returnFlowCallableCand(`
`552`	`553`	`DataFlowCallable callable, ReturnKindExt kind, Configuration config`
`553`	`554`	`) {`