CodeQL library for C/C++
codeql/cpp-all 0.4.4 (changelog, source)
Search

Module NanAnalysis

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

Import path

import semmle.code.cpp.rangeanalysis.NanAnalysis

Imports

cpp

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

Predicates

nanExcludingComparison

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

Classes

NonNanVariableAccess

A variable access which cannot be NaN.