Predicate Cached::ControlFlowGraphPublic::conditionAlwaysTrue
Holds if condition always evaluates to a nonzero value.
Import path
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate conditionAlwaysTrue(Expr condition)Holds if condition always evaluates to a nonzero value.
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate conditionAlwaysTrue(Expr condition)