http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47763 --- Comment #10 from Andreas Schwab <schwab@linux-m68k.org> 2011-02-16 18:26:31 UTC --- There is no undefined behaviour if all calls to foo ignore the returned value.