Adds a flag to the standalone vm to throw an exception on 53-bit integer overflow.

runtime/vm/object.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/object.h"
 
 #include "include/dart_api.h"
 #include "platform/assert.h"
 #include "vm/assembler.h"
 #include "vm/cpu.h"
@@ skipping 10368 matching lines @@
 
 
 RawInteger* Integer::New(int64_t value, Heap::Space space) {
   if ((value <= Smi::kMaxValue) && (value >= Smi::kMinValue)) {
     return Smi::New(value);
   }
   return Mint::New(value, space);
 }
 
 
+// Throw kFiftyThreeBitOverflow if the result of an operation overflows
+// 53 bits.
+void Integer::CheckForFiftyThreeBitOverflow(const Integer& i, const char* msg) {
+  if (i.FitsIn53Bits()) return;
+  const Array& exc_args = Array::Handle(Array::New(1));
+  exc_args.SetAt(0, Object::Handle(String::New(msg)));
+  Exceptions::ThrowByType(Exceptions::kFiftyThreeBitOverflowError, exc_args);
+  return;
+}
+
+
 double Integer::AsDoubleValue() const {
   UNIMPLEMENTED();
   return 0.0;
 }
 
 
 int64_t Integer::AsInt64Value() const {
   UNIMPLEMENTED();
   return 0;
 }
 
 
+bool Integer::FitsIn53Bits() const {
+  UNIMPLEMENTED();
+  return false;
+}
+
+
 int Integer::CompareWith(const Integer& other) const {
   UNIMPLEMENTED();
   return 0;
 }
 
 
 RawInteger* Integer::AsValidInteger() const {
   if (IsSmi()) return raw();
   if (IsMint()) {
     Mint& mint = Mint::Handle();
@@ skipping 354 matching lines @@
 double Mint::AsDoubleValue() const {
   return static_cast<double>(this->value());
 }
 
 
 int64_t Mint::AsInt64Value() const {
   return this->value();
 }
 
 
+bool Mint::FitsIn53Bits() const {
+  int64_t v = AsInt64Value();
+  return Utils::IsInt(53, v);
+}
+
+
 int Mint::CompareWith(const Integer& other) const {
   ASSERT(!FitsIntoSmi(*this));
   if (other.IsMint() || other.IsSmi()) {
     int64_t a = AsInt64Value();
     int64_t b = other.AsInt64Value();
     if (a < b) {
       return -1;
     } else if (a > b) {
       return 1;
     } else {
@@ skipping 2482 matching lines @@
   }
   return result.raw();
 }
 
 
 const char* WeakProperty::ToCString() const {
   return "_WeakProperty";
 }
 
 }  // namespace dart