refactor: use overflow check from numpy

Author: Alvaro-Kothe

pandas/_libs/src/parser/tokenizer.c

@@ -18,6 +18,7 @@ GitHub. See Python Software Foundation License and BSD licenses for these.
 */
 #include "pandas/parser/tokenizer.h"
 #include "pandas/portable.h"
+#include "pandas/vendored/numpy/datetime/np_datetime.h"
 
 #include <ctype.h>
 #include <float.h>
@@ -1898,29 +1899,6 @@ static int power_int(int base, int exponent) {
   return result * base;
 }
 
-static inline int64_t add_int_check_overflow(int64_t lhs, int64_t rhs,
-                                             int64_t mul_lhs) {
-  // rhs will always be positive, because this function
-  // only executes after the first parse, hence the sign will always go to lhs.
-  // if lhs > 0:
-  // Will overflow if (mul_lhs * lhs) + rhs > INT_MAX
-  // iff lhs > (INT_MAX - rhs) / mul_lhs
-  // if lhs < 0:
-  // Will underflow if (mul_lhs * lhs) - rhs < INT_MIN
-  // iff lhs < (INT_MIN + rhs) / mul_lhs
-  if (lhs >= 0) {
-    if (lhs > (INT_MAX - rhs) / mul_lhs) {
-      errno = ERANGE;
-    }
-  } else {
-    if (lhs < (INT_MIN + rhs) / mul_lhs) {
-      errno = ERANGE;
-    }
-    rhs = -rhs;
-  }
-  return lhs * mul_lhs + rhs;
-}
-
 static inline uint64_t add_uint_check_overflow(uint64_t lhs, uint64_t rhs,
                                                uint64_t mul_lhs) {
   if (lhs > (UINT_MAX - rhs) / mul_lhs) {
@@ -1959,7 +1937,16 @@ int64_t str_to_int64(const char *p_item, int64_t int_min, int64_t int_max,
     int64_t next_part = strtoll(endptr, &new_end, 10);
     ptrdiff_t digits = new_end - endptr;
     int64_t mul_result = power_int(10, (int)digits);
-    result = add_int_check_overflow(result, next_part, mul_result);
+    // result * mul_result
+    if (checked_int64_mul(result, mul_result, &result)) {
+      // overflow
+      errno = ERANGE;
+    }
+    // result + next_part
+    if (checked_int64_add(result, next_part, &result)) {
+      // overflow
+      errno = ERANGE;
+    }
     endptr = new_end;
   }