commit a76825d6c1f6667ac6a4d8cc4849d2426e107403
author Piotr Trojanek <trojanek@adacore.com> Mon Mar 08 11:30:17 2021 +0100
committer Pierre-Marie de Rodat <derodat@adacore.com> Thu Jun 17 10:32:11 2021 -0400
tree 0579990582c94c9cf77761fa564b624ce8668cd8
parent 24c554da57b6aa81fb311556ed8ec1c609befd45

[Ada] Clarify error for unsupported ELIMINATED overflow mode

gcc/ada/

	* sem_prag.adb (Get_Overflow_Mode): Reword error message.
	* switch-c.adb (Get_Overflow_Mode): Likewise.

gcc/ada/sem_prag.adb

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index a4f8887..1a1fc74 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -20418,7 +20418,8 @@
                elsif Chars (Argx) = Name_Eliminated then
                   if Ttypes.Standard_Long_Long_Integer_Size /= 64 then
                      Error_Pragma_Arg
-                       ("Eliminated not implemented on this target", Argx);
+                       ("Eliminated requires Long_Long_Integer'Size = 64",
+                        Argx);
                   else
                      return Eliminated;
                   end if;

gcc/ada/switch-c.adb

diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb
index 10f5f77..af9e679 100644
--- a/gcc/ada/switch-c.adb
+++ b/gcc/ada/switch-c.adb
@@ -112,7 +112,7 @@
 
          when '3' =>
             if Standard_Long_Long_Integer_Size /= 64 then
-               Bad_Switch ("-gnato3 not implemented for this configuration");
+               Bad_Switch ("-gnato3 requires Long_Long_Integer'Size = 64");
             else
                return Eliminated;
             end if;