cpg-core/de.fraunhofer.aisec.cpg.graph.edges.flows/EvaluationOrder/unreachable

unreachable

var unreachable: Boolean

True, if the edge flows into unreachable code e.g. a branch condition which is always false.