Overflow of signed integers is undefined. int add(int a, int b) { return a + b; } Unless the compiler can prove that `add` is never called with a and b va

Overflow of signed integers is undefined. int add(int a, int b) { return a + b; } Unless the compiler can prove that `add` is never called with a and b values resulting in an overflow, this code can lead to UB, and, under your rules, the compilation aborts.