WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-devel

Re: [Xen-devel] [PATCH] i386 linux: make 32-bit PAE kernel work when bui

>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