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.IR

Direct supertypes

Indirect supertypes

Predicates