diff --git a/AK/Checked.h b/AK/Checked.h
index e07216bf3c..e31f5601f1 100644
--- a/AK/Checked.h
+++ b/AK/Checked.h
@@ -359,6 +359,22 @@ public:
 #endif
     }
 
+    template<typename U, typename V>
+    [[nodiscard]] static constexpr bool subtraction_would_overflow(U u, V v)
+    {
+#if __has_builtin(__builtin_sub_overflow_p)
+        return __builtin_sub_overflow_p(u, v, (T)0);
+#elif __has_builtin(__builtin_sub_overflow)
+        T result;
+        return __builtin_sub_overflow(u, v, &result);
+#else
+        Checked checked;
+        checked = u;
+        checked -= v;
+        return checked.has_overflow();
+#endif
+    }
+
     template<typename U, typename V>
     static constexpr T saturating_add(U a, V b)
     {
diff --git a/Userland/Libraries/LibJS/Bytecode/Interpreter.cpp b/Userland/Libraries/LibJS/Bytecode/Interpreter.cpp
index 0b206058e8..952194df97 100644
--- a/Userland/Libraries/LibJS/Bytecode/Interpreter.cpp
+++ b/Userland/Libraries/LibJS/Bytecode/Interpreter.cpp
@@ -948,7 +948,7 @@ ThrowCompletionOr<void> Sub::execute_impl(Bytecode::Interpreter& interpreter) co
 
     if (lhs.is_number() && rhs.is_number()) {
         if (lhs.is_int32() && rhs.is_int32()) {
-            if (!Checked<i32>::addition_would_overflow(lhs.as_i32(), -rhs.as_i32())) {
+            if (!Checked<i32>::subtraction_would_overflow(lhs.as_i32(), rhs.as_i32())) {
                 interpreter.set(m_dst, Value(lhs.as_i32() - rhs.as_i32()));
                 return {};
             }
diff --git a/Userland/Libraries/LibJS/Tests/math/integer-overflow-basic.js b/Userland/Libraries/LibJS/Tests/math/integer-overflow-basic.js
new file mode 100644
index 0000000000..d4729711ec
--- /dev/null
+++ b/Userland/Libraries/LibJS/Tests/math/integer-overflow-basic.js
@@ -0,0 +1,10 @@
+test("basic integer overflow correctness", () => {
+    expect(2147483647 + 1).toBe(2147483648);
+    expect(2147483648 - 1).toBe(2147483647);
+    expect(0 - 2147483647).toBe(-2147483647);
+    expect(0 - 2147483648).toBe(-2147483648);
+    expect(0 - -2147483647).toBe(2147483647);
+    expect(0 - -2147483648).toBe(2147483648);
+    expect(0 + -2147483647).toBe(-2147483647);
+    expect(0 + -2147483648).toBe(-2147483648);
+});