Predicate nanExcludingComparison
Holds if guard won’t return the value polarity when either
operand is NaN.
Import path
import semmle.code.cpp.rangeanalysis.NanAnalysispredicate nanExcludingComparison(ComparisonOperation guard, boolean polarity)