------- Comment #2 from rguenth at gcc dot gnu dot org 2008-02-04 15:52 ------- A testcase would probably be sth along the lines of
extern void abort (void); void __attribute__((noinline)) foo (unsigned long long x) { float uf = x; float sf = (signed long long)x; if (uf == sf) abort (); } int main() { foo (-1); return 0; } with the right target and soft-float (any suggestion?). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29864