From what I can see, the example you list there is just a missed optimization in the C compilers you tested. It's absolutely allowed, and clang trunk is happy to do it in C-mode, for example.

There could be some more fundamental differences due to the requirement that different objects require different pointers that prevent some optimizations.