Predicate Cached::successors_adapted
An adapted version of the successors_extended relation that excludes
impossible control-flow edges - flow will never occur along these
edges, so it is safe (and indeed sensible) to remove them.
Import path
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate successors_adapted(Node pred, Node succ)