I'm with you. I wrote the code that breaks this stuff in gcc (and the implementation of struct-sensitive pointer analysis). It explicitly and deliberately foll

I'm with you. I wrote the code that breaks this stuff in gcc (and the implementation of struct-sensitive pointer analysis). It explicitly and deliberately follows the first member rule, as it should :) In C++, this is covered by 6.5/7, and allowed because it's a type compatible with the effective type of the object (in a standard layout class, a pointer to the a structure object points to the initial member)