// Clause: 6.5 — if an exceptional condition such as overflow occurs for signed arithmetic, and the result is not representable, behavior is undefined.
#include <limits.h>
#include <stdio.h>
int main(void){
    volatile int x = INT_MAX;
    int y = x + 1; // UB: signed overflow
    printf("%d\n", y);
    return 0;
}