Fix XML schema validation failure.

Checking constraining facets for double failed if enumeration
restriction had values INF or NaN.

There were two issues that caused validation to fail:
- wrong conversion function was used when constraining facets for
 double are checked, which caused values to be in lower case
- case when both restriction and default value are NaN was not
 handled correctly

Task-number: QTBUG-21375
Reviewed-by: Honglei Zhang

1 files changed, 10 insertions, 1 deletions

diff --git a/src/xmlpatterns/schema/qxsdtypechecker.cpp b/src/xmlpatterns/schema/qxsdtypechecker.cpp
index fb47448..e5709ae 100644
--- a/src/xmlpatterns/schema/qxsdtypechecker.cpp
+++ b/src/xmlpatterns/schema/qxsdtypechecker.cpp
@@ -57,6 +57,7 @@
 #include "qxsdschemahelper_p.h"
 #include "qxsdschemamerger_p.h"
 #include "qxsdstatemachine_p.h"
+#include "qabstractfloat_p.h"
 
 #include "qxsdschemadebugger_p.h"
 
@@ -697,7 +698,8 @@ bool XsdTypeChecker::checkConstrainingFacetsDouble(double value, const QString &
     }
     if (facets.contains(XsdFacet::Enumeration)) {
         const XsdFacet::Ptr facet = facets.value(XsdFacet::Enumeration);
-        const DerivedString<TypeString>::Ptr valueStr = DerivedString<TypeString>::fromLexical(m_namePool, QString::number(value));
+        const Numeric::Ptr valuePtr = Double::fromValue(value);
+        const DerivedString<TypeString>::Ptr valueStr = DerivedString<TypeString>::fromLexical(m_namePool, valuePtr->stringValue());
 
         const AtomicValue::List multiValue = facet->multiValue();
         bool found = false;
@@ -706,6 +708,13 @@ bool XsdTypeChecker::checkConstrainingFacetsDouble(double value, const QString &
                 found = true;
                 break;
             }
+
+            // Handle case when both facet and value are NaN separately as equals for NaN returns always false.
+            const Numeric::Ptr facetValue = ValueFactory::fromLexical(multiValue.at(j)->as<DerivedString<TypeString> >()->stringValue(), BuiltinTypes::xsDouble, m_context, m_reflection);
+            if (facetValue->isNaN() && valuePtr->isNaN()) {
+                found = true;
+                break;
+            }
         }
 
         if (!found) {