Mike Stump wrote:
gcc is not just an Ada compiler. Clearly, the answer has to be yes to support GNU C.
Right, I agree, I was answering whether this can ever be done legitimately, and the answer is really no, it is undefined in C, and if you manage to do it in Ada, which you can if you really try by unchecked conversion of pointer types etc, then it is erroneous there too. So I don't see that the compiler has to allow for this in any explicit manner, given that its effect is undefined in C.
