Use std:: on symbols declared in C++-style C headers.

src/conversions.cc

 // Copyright 2011 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 376 matching lines @@
   // Buffer for the decimal part of the result.  We only generate up
   // to kBufferSize - 1 chars for the decimal part.
   char decimal_buffer[kBufferSize];
   decimal_buffer[kBufferSize - 1] = '\0';
 
   // Make sure the value is positive.
   bool is_negative = value < 0.0;
   if (is_negative) value = -value;
 
   // Get the integer part and the decimal part.
-  double integer_part = floor(value);
+  double integer_part = std::floor(value);
   double decimal_part = value - integer_part;
 
   // Convert the integer part starting from the back.  Always generate
   // at least one digit.
   int integer_pos = kBufferSize - 2;
   do {
-    double remainder = fmod(integer_part, radix);
+    double remainder = std::fmod(integer_part, radix);
     integer_buffer[integer_pos--] = chars[static_cast<int>(remainder)];
     integer_part -= remainder;
     integer_part /= radix;
   } while (integer_part >= 1.0);
   // Sanity check.
   ASSERT(integer_pos > 0);
   // Add sign if needed.
   if (is_negative) integer_buffer[integer_pos--] = '-';
 
   // Convert the decimal part.  Repeatedly multiply by the radix to
   // generate the next char.  Never generate more than kBufferSize - 1
   // chars.
   //
   // TODO(1093998): We will often generate a full decimal_buffer of
   // chars because hitting zero will often not happen.  The right
   // solution would be to continue until the string representation can
   // be read back and yield the original value.  To implement this
   // efficiently, we probably have to modify dtoa.
   int decimal_pos = 0;
   while ((decimal_part > 0.0) && (decimal_pos < kBufferSize - 1)) {
     decimal_part *= radix;
     decimal_buffer[decimal_pos++] =
-        chars[static_cast<int>(floor(decimal_part))];
-    decimal_part -= floor(decimal_part);
+        chars[static_cast<int>(std::floor(decimal_part))];
+    decimal_part -= std::floor(decimal_part);
   }
   decimal_buffer[decimal_pos] = '\0';
 
   // Compute the result size.
   int integer_part_size = kBufferSize - 2 - integer_pos;
   // Make room for zero termination.
   unsigned result_size = integer_part_size + decimal_pos;
   // If the number has a decimal part, leave room for the period.
   if (decimal_pos > 0) result_size++;
   // Allocate result and fill in the parts.
   SimpleStringBuilder builder(result_size + 1);
   builder.AddSubstring(integer_buffer + integer_pos + 1, integer_part_size);
   if (decimal_pos > 0) builder.AddCharacter('.');
   builder.AddSubstring(decimal_buffer, decimal_pos);
   return builder.Finalize();
 }
 
 } }  // namespace v8::internal