Predicate comparesIdenticalValuesNan
Holds if comparison test ct
compares two structurally identical
expressions, in a way that may be used to perform a NaN-test. builtin
is
the name of an equivalent built-in NaN-test method, for example
double.IsNaN()
.
Import path
import semmle.code.csharp.commons.Constants
predicate comparesIdenticalValuesNan(ComparisonTest ct, string builtin)