Module Guards

Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.

Import path

import semmle.code.cpp.controlflow.Guards

BasicBlocks	Provides a library for reasoning about control flow at the granularity of basic blocks. This is usually much more efficient than reasoning directly at the level of `ControlFlowNode`s.
Dominance	Provides dominance predicates for control-flow nodes.
IRGuards	Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.
SSA	Provides classes and predicates for SSA representation (Static Single Assignment form).
cpp	Provides classes and predicates for working with C/C++ code.

An SsaDefinition with an additional predicate isLt.