Predicate isConstantCondition
Holds if e
is a condition that always evaluates to Boolean value b
.
Import path
import semmle.code.csharp.commons.Constants
predicate isConstantCondition(Expr e, boolean b)
Holds if e
is a condition that always evaluates to Boolean value b
.
import semmle.code.csharp.commons.Constants
predicate isConstantCondition(Expr e, boolean b)