Predicate Cached::flowsToBackEdge
Holds if n has a local flow step that goes through a back-edge.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilpredicate flowsToBackEdge(Node n)Holds if n has a local flow step that goes through a back-edge.
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilpredicate flowsToBackEdge(Node n)