Class CaseEdge
A “case” edge, representing the successor of a Switch instruction when the
the condition value matches a corresponding case label.
Import path
import semmle.code.cpp.ir.IRIndirect supertypes
Predicates
| getMaxValue | Gets the largest value of the switch expression for which control will flow along this edge. |
| getMinValue | Gets the smallest value of the switch expression for which control will flow along this edge. |
| getValue | Gets the unique value of the switch expression for which control will flow along this edge, if any. |
| toString | Gets a textual representation of this edge kind. |