This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Why doesn't combine like volatiles? (volatile_ok again, sorry!)
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.