> Actually after some additional invetstigation I decided to commit this > patch. fixup_noreturn_call already cares about the return value but > differently than the new Jakub's code.
Thanks for the quick fix, I confirm that the ACATS failures are all gone. So we're left with the GIMPLE checking failure on opt33.adb. -- Eric Botcazou