[Bug ada/121532] ACATS cxai033 FAILs sometimes

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121532

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Tentative fix:

diff --git a/gcc/testsuite/ada/acats-4/tests/cxa/cxai033.a
b/gcc/testsuite/ada/acats-4/tests/cxa/cxai033.a
index 90bd3f60279..921655bcc62 100644
--- a/gcc/testsuite/ada/acats-4/tests/cxa/cxai033.a
+++ b/gcc/testsuite/ada/acats-4/tests/cxa/cxai033.a
@@ -116,7 +116,7 @@ begin

    -- Give time for Reader_1 to activate.

-   delay Impdef.Switch_To_New_Task;
+   delay Impdef.Long_Switch_To_New_Task;

    if not Reader_1_Blocked then

@@ -145,7 +145,7 @@ begin

       -- Give time for Writer_1 to activate;

-      delay Impdef.Switch_To_New_Task;
+      delay Impdef.Long_Switch_To_New_Task;

       if Reader_1_Blocked then