// Clause: 6.5.6/6.5.7 — Taking &s + 1 yields a pointer one past a single struct object;
// dereferencing it is undefined.
#include <stdio.h>
struct S { int x; };
int main(void){
    struct S s = {42};
    struct S *p = &s + 1; // one-past single object
    struct S t = *p;      // UB
    printf("%d\n", t.x);
    return 0;
}