DR#236 analysis

[Joseph S. Myers]

An analysis of C99 DR#236 (type-based alias rules in the presence of 
unions) with a possible resolution with a note "Optimizers may have 
problems here" has been posted in the posted in the post-Redmond mailing 
<http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1090.htm>; I'd suggest 
people trying to implement aliasing rules read it.  Any comments about 
what resolutions make sense for optimizing real code would probably best 
go to the WG14 reflector (sc22wg14 at open-std.org) though I don't know to 
what extent non-member postings are accepted.

-- 
Joseph S. Myers               http://www.srcf.ucam.org/~jsm28/gcc/
    jsm@polyomino.org.uk (personal mail)
    joseph@codesourcery.com (CodeSourcery mail)
    jsm28@gcc.gnu.org (Bugzilla assignments and CCs)