Predicate Cached::ControlFlowGraphPublic::conditionAlwaysFalse
Holds if condition always evaluates to zero.
Import path
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate conditionAlwaysFalse(Expr condition)Holds if condition always evaluates to zero.
import semmle.code.cpp.controlflow.internal.ConstantExprspredicate conditionAlwaysFalse(Expr condition)