Re: [Xen-devel] [PATCH] i386 linux: make 32-bit PAE kernel work when built with newer gcc

["Jan Beulich" <JBeulich@xxxxxxxxxx>]

>See 5.1.2.3.5 and then the examples 5.1.2.3.8 and 5.1.2.3.9 
>(particularly the first sentence, which summarises the guarantee 
>provided by an aggressive optimising C compiler).
>
>The standard is really not clear in this respect, but I take 5.1.2.3.2 
>to apply to the abstract machine, and not necessarily an 
>implementation. But I am not a compiler writer. :-)

Okay, I agree.

Jan

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel