Title: [175089] trunk/Source/_javascript_Core
Revision
175089
Author
[email protected]
Date
2014-10-22 23:54:06 -0700 (Wed, 22 Oct 2014)

Log Message

Prefix isnan() with std::.
<https://webkit.org/b/137966>.

Patch by Milan Crha <[email protected]> on 2014-10-22
Reviewed by Carlos Garcia Campos.

* profiler/ProfileNode.h:
(JSC::ProfileNode::Call::setStartTime):
(JSC::ProfileNode::Call::setElapsedTime):

Modified Paths

Diff

Modified: trunk/Source/_javascript_Core/ChangeLog (175088 => 175089)


--- trunk/Source/_javascript_Core/ChangeLog	2014-10-23 06:45:49 UTC (rev 175088)
+++ trunk/Source/_javascript_Core/ChangeLog	2014-10-23 06:54:06 UTC (rev 175089)
@@ -1,3 +1,14 @@
+2014-10-22  Milan Crha  <[email protected]>
+
+        Prefix isnan() with std::.
+        <https://webkit.org/b/137966>.
+
+        Reviewed by Carlos Garcia Campos.
+
+        * profiler/ProfileNode.h:
+        (JSC::ProfileNode::Call::setStartTime):
+        (JSC::ProfileNode::Call::setElapsedTime):
+
 2014-10-22  Mark Lam  <[email protected]>
 
         Refactoring to simplify some code in DatePrototype.cpp.

Modified: trunk/Source/_javascript_Core/profiler/ProfileNode.h (175088 => 175089)


--- trunk/Source/_javascript_Core/profiler/ProfileNode.h	2014-10-23 06:45:49 UTC (rev 175088)
+++ trunk/Source/_javascript_Core/profiler/ProfileNode.h	2014-10-23 06:54:06 UTC (rev 175089)
@@ -65,14 +65,14 @@
             double startTime() const { return m_startTime; }
             void setStartTime(double time)
             {
-                ASSERT_ARG(time, time >= 0.0 || isnan(time));
+                ASSERT_ARG(time, time >= 0.0 || std::isnan(time));
                 m_startTime = time;
             }
 
             double elapsedTime() const { return m_elapsedTime; }
             void setElapsedTime(double time)
             {
-                ASSERT_ARG(time, time >= 0.0 || isnan(time));
+                ASSERT_ARG(time, time >= 0.0 || std::isnan(time));
                 m_elapsedTime = time;
             }
 
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to