C++: Add 'nomagic' to 'revPartialPathStep'.

MathiasVP · MathiasVP · commit d5722ffa617a · 2022-04-19T09:56:41.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
@@ -5047,6 +5047,7 @@ private module FlowExploration {
     )
   }
 
+  pragma[nomagic]
   private predicate revPartialPathStep(
     PartialPathNodeRev mid, NodeEx node, FlowState state, TRevSummaryCtx1 sc1, TRevSummaryCtx2 sc2,
     TRevSummaryCtx3 sc3, RevPartialAccessPath ap, Configuration config

Original file line number	Diff line number	Diff line change
`@@ -5047,6 +5047,7 @@ private module FlowExploration {`
`5047`	`5047`	`)`
`5048`	`5048`	`}`
`5049`	`5049`
	`5050`	`+ pragma[nomagic]`
`5050`	`5051`	`private predicate revPartialPathStep(`
`5051`	`5052`	`PartialPathNodeRev mid, NodeEx node, FlowState state, TRevSummaryCtx1 sc1, TRevSummaryCtx2 sc2,`
`5052`	`5053`	`TRevSummaryCtx3 sc3, RevPartialAccessPath ap, Configuration config`