Predicate nonNanGuardedVariable
Holds if in the branch branch of a guard guard involving v,
we know that v is not NaN, and therefore it is safe to make range
inferences about v.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysispredicate nonNanGuardedVariable(Expr guard, VariableAccess v, boolean branch)