------- Comment #1 from David dot Monniaux at imag dot fr 2008-11-04 16:06 ------- Created an attachment (id=16623) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16623&action=view) source code where va and vb are thought to be aliased
The compiler should heed that va and vb cannot point to aliased locations. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38012