http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55544
--- Comment #1 from Mikael Pettersson <mikpe at it dot uu.se> 2012-11-30 12:37:49 UTC --- (In reply to comment #0) > double d = (double)v1; Doesn't this overflow and provoke undefined behaviour when v1 is 9223372036854774781LL (0x7ffffffffffffbfd)?