Use checked arithmetic builtins for overflow detection (kokkos#6313)

* Use checked arithmetic builtins for clang and gcc

* Use `__has_builtin` instead of checking the compilers explicitly

* Fix unreachable code warning

core/src/impl/Kokkos_CheckedIntegerOps.hpp

@@ -24,20 +24,33 @@
 namespace Kokkos {
 namespace Impl {
 
+#if defined(__has_builtin)
+#if __has_builtin(__builtin_mul_overflow)
+#define KOKKOS_IMPL_USE_MUL_OVERFLOW_BUILTIN
+#endif
+#endif
+
 template <typename T>
 std::enable_if_t<std::is_integral_v<T>, bool> constexpr multiply_overflow(
     T a, T b, T& res) {
   static_assert(std::is_unsigned_v<T>,
                 "Operation not implemented for signed integers.");
+
+#if defined(KOKKOS_IMPL_USE_MUL_OVERFLOW_BUILTIN)
+  return __builtin_mul_overflow(a, b, &res);
+#else
   auto product = a * b;
   if ((a == 0) || (b == 0) || (a == product / b)) {
     res = product;
     return false;
   } else {
     return true;
   }
+#endif
 }
 
+#undef KOKKOS_IMPL_USE_MUL_OVERFLOW_BUILTIN
+
 template <typename T>
 T multiply_overflow_abort(T a, T b) {
   T result;