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