// Clause: 6.7.9 / 6.3.2.1 — reading an uninitialized automatic object of non-unsigned-char type yields indeterminate value; using it is undefined.
#include <stdio.h>
int main(void){
    int x;           // uninitialized automatic
    int y = x + 1;   // UB: use of indeterminate value
    printf("%d\n", y);
    return 0;
}