https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78791
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > ACATS cxf2001 fails on 32-bit x86 because Double_Divide of s-arit64.adb is > miscompiled at -O2 by the STV pass. Self-contained testcase to be attached. AFAICS the issue is the management of stack slots by assign_386_stack_local.
