Class TrueEdge
A “true” edge, representing the successor of a conditional branch when the condition is non-zero.
Import path
import semmle.code.cpp.ir.IRDirect supertypes
Indirect supertypes
Predicates
| toString | Gets a textual representation of this edge kind. |