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.