------- Comment #78 from ian at airs dot com 2007-05-18 07:14 ------- The test case in comment #73 is just a standard aliasing violation. You are casting a double* to an int* and writing to it both ways. As I argued in comment #76, the only way this is going to work is if we eliminate TBAA in C++.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29286
