Predicate nonZeroGuard
Gets an expression that directly tests whether a given expression, e, is
non-zero.
Import path
import semmle.code.java.dataflow.IntegerGuardsExpr nonZeroGuard(Expr e, boolean branch)Gets an expression that directly tests whether a given expression, e, is
non-zero.
import semmle.code.java.dataflow.IntegerGuardsExpr nonZeroGuard(Expr e, boolean branch)