On 2013-04-22 12:29:52 +0100, David Paterson wrote: > Oh, and the reason it's not set for the assignment is that it's > probably done as a compile-time conversion int to float. Indeed, this can be seen with -S. So, that's a bug in GCC. I've just reported: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57029 -- Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
