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