// Clause: 6.5.6/6.5.7 — advancing a pointer beyond one-past and dereferencing is undefined.
#include <stdio.h>
int main(void){
    int a[2]={1,2};
    int *p = a;
    p += 3;    // now points beyond one-past
    int v = *p; // UB
    printf("%d\n", v);
    return 0;
}