https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114175
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The testcase btw performs double arithmetics and casts result to int, but it is all whole numbers, (double) 1 + 2.0 + (double) 3 + 4.0, so it would really surprise me if it didn't yield the expected 10 unless there is a mismatch in arg passing.