|
|
|
|
|
|
by toasted_flakes
2252 days ago
|
|
|
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. |
|
|