Module NanAnalysis

Provides classes and predicates for recognizing floating point expressions which cannot be NaN.

Import path

import semmle.code.cpp.rangeanalysis.NanAnalysis

cpp	Provides classes and predicates for working with C/C++ code.

Holds if guard won’t return the value polarity when either operand is NaN.

A variable access which cannot be NaN.