Predicate unreachable
Correct relation for reachability of ControlFlowNodes.
Import path
import semmle.code.cpp.controlflow.BasicBlockspredicate unreachable(ControlFlowNode n)Correct relation for reachability of ControlFlowNodes.
import semmle.code.cpp.controlflow.BasicBlockspredicate unreachable(ControlFlowNode n)