Class DefaultEdge

A “default” edge, representing the successor of a Switch instruction when none of the case values matches the condition value.

Import path

import semmle.code.cpp.ir.IR

isDefault	Holds if this edge is the default edge.
toString	Gets a textual representation of this edge kind.

getMaxValue	Gets the largest value of the switch expression for which control will flow along this edge.	from SwitchEdgeKindImpl
getMinValue	Gets the smallest value of the switch expression for which control will flow along this edge.	from SwitchEdgeKindImpl
getValue	Gets the unique value of the switch expression for which control will flow along this edge, if any.	from SwitchEdgeKindImpl