Extend Range analysis to 64-bit range and mint operations

runtime/platform/utils.h

 // 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.
 
 #ifndef PLATFORM_UTILS_H_
 #define PLATFORM_UTILS_H_
 
 #include "platform/assert.h"
 #include "platform/globals.h"
 
@@ skipping 153 matching lines @@
   // without the risk of integer overflow.
   static inline bool RangeCheck(intptr_t offset,
                                 intptr_t count,
                                 intptr_t length) {
     return offset >= 0 &&
            count >= 0 &&
            length >= 0 &&
            count <= (length - offset);
   }
 
+  static inline bool WillAddOverflow(int64_t a, int64_t b) {
+    return ((b > 0) && (a > (kMaxInt64 - b))) ||
+           ((b < 0) && (a < (kMinInt64 - b)));
+  }
+
+  static inline bool WillSubOverflow(int64_t a, int64_t b) {
+    return ((b > 0) && (a < (kMinInt64 + b))) ||
+           ((b < 0) && (a > (kMaxInt64 + b)));
+  }
+
+
   // Utility functions for converting values from host endianess to
   // big or little endian values.
   static uint16_t HostToBigEndian16(uint16_t host_value);
   static uint32_t HostToBigEndian32(uint32_t host_value);
   static uint64_t HostToBigEndian64(uint64_t host_value);
   static uint16_t HostToLittleEndian16(uint16_t host_value);
   static uint32_t HostToLittleEndian32(uint32_t host_value);
   static uint64_t HostToLittleEndian64(uint64_t host_value);
 
   static bool DoublesBitEqual(const double a, const double b) {
     return bit_cast<int64_t, double>(a) == bit_cast<int64_t, double>(b);
   }
 };
 
 }  // namespace dart
 
 #if defined(TARGET_OS_ANDROID)
 #include "platform/utils_android.h"
 #elif defined(TARGET_OS_LINUX)
 #include "platform/utils_linux.h"
 #elif defined(TARGET_OS_MACOS)
 #include "platform/utils_macos.h"
 #elif defined(TARGET_OS_WINDOWS)
 #include "platform/utils_win.h"
 #else
 #error Unknown target os.
 #endif
 
 #endif  // PLATFORM_UTILS_H_