base: Add DCHECK that double Values are finite.

base/values.cc

 // Copyright (c) 2011 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "base/values.h"
 
+#include "base/float_util.h"
 #include "base/logging.h"
 #include "base/string_util.h"
 #include "base/utf_string_conversions.h"
 
 namespace {
 
 // Make a deep copy of |node|, but don't include empty lists or dictionaries
 // in the copy. It's possible for this function to return NULL and it
 // expects |node| to always be non-NULL.
 Value* CopyWithoutEmptyChildren(Value* node) {
@@ skipping 136 matching lines @@
 FundamentalValue::FundamentalValue(bool in_value)
     : Value(TYPE_BOOLEAN), boolean_value_(in_value) {
 }
 
 FundamentalValue::FundamentalValue(int in_value)
     : Value(TYPE_INTEGER), integer_value_(in_value) {
 }
 
 FundamentalValue::FundamentalValue(double in_value)
     : Value(TYPE_DOUBLE), double_value_(in_value) {
+  // JSON doesn't support NaN or positive or negative infinity.
+  DCHECK(IsFinite(in_value));
 }
 
 FundamentalValue::~FundamentalValue() {
 }
 
 bool FundamentalValue::GetAsBoolean(bool* out_value) const {
   if (out_value && IsType(TYPE_BOOLEAN))
     *out_value = boolean_value_;
   return (IsType(TYPE_BOOLEAN));
 }
@@ skipping 723 matching lines @@
   if (lhs_it != end() || rhs_it != other_list->end())
     return false;
 
   return true;
 }
 
 ValueSerializer::~ValueSerializer() {
 }
 
 }  // namespace base