Possibly invalid code is accepted

[pmor13]

This code:

struct s {
    int x; 
    int y[sizeof((struct s*)0)->x]; 
};

is accepted, which is questionable, because it is (seems to be) invalid code.

Originates from https://stackoverflow.com/q/79550524/1778275.