]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Testsuite: Fix more spurious failure of ACATS-4 tests
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 12 Sep 2025 17:15:08 +0000 (19:15 +0200)
committerEric Botcazou <ebotcazou@adacore.com>
Fri, 12 Sep 2025 18:53:35 +0000 (20:53 +0200)
This tentatively applies the same tweak to twin testcases.

gcc/testsuite/
PR ada/121532
* ada/acats-4/tests/cxa/cxai034.a: Use Long_Switch_To_New_Task
constant instead of Switch_To_New_Task in delay statements.
* ada/acats-4/tests/cxa/cxai035.a: Likewise.
* ada/acats-4/tests/cxa/cxai036.a: Likewise.

gcc/testsuite/ada/acats-4/tests/cxa/cxai034.a
gcc/testsuite/ada/acats-4/tests/cxa/cxai035.a
gcc/testsuite/ada/acats-4/tests/cxa/cxai036.a

index ebe88f38ef0c5ce56511b76ecd907cf4237f1cde..b39fb84ce349dd7b3aa9be9fb13dae8cd9eee1a2 100644 (file)
@@ -143,7 +143,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
 
@@ -172,7 +172,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
 
@@ -187,7 +187,7 @@ begin
 
    -- Give time for Writer_3 to activate.
 
-   delay Impdef.Switch_To_New_Task;
+   delay Impdef.Long_Switch_To_New_Task;
 
    if not Writer_3_Blocked then
 
@@ -216,7 +216,7 @@ begin
 
       -- Give time for Reader_3 to activate;
 
-      delay Impdef.Switch_To_New_Task;
+      delay Impdef.Long_Switch_To_New_Task;
 
       if Writer_3_Blocked then
 
index 0c4af5106d2bdbc7415b9b6a8fb9c276a460ce7e..51993c70b4a1d6dc125ecec63b5f21e00d07e4b0 100644 (file)
@@ -163,7 +163,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
 
@@ -192,7 +192,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
 
index 9b9ef0987aaa981cba66def8dad550198d61c1c4..4bb605aba286f3d7fafcc1bf66fba69a34da0fe4 100644 (file)
@@ -190,7 +190,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
 
@@ -219,7 +219,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
 
@@ -234,7 +234,7 @@ begin
 
    -- Give time for Writer_3 to activate.
 
-   delay Impdef.Switch_To_New_Task;
+   delay Impdef.Long_Switch_To_New_Task;
 
    if not Writer_3_Blocked then
 
@@ -263,7 +263,7 @@ begin
 
       -- Give time for Reader_3 to activate;
 
-      delay Impdef.Switch_To_New_Task;
+      delay Impdef.Long_Switch_To_New_Task;
 
       if Writer_3_Blocked then