From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 8 Mar 2021 10:30:17 +0000 (+0100)
Subject: [Ada] Clarify error for unsupported ELIMINATED overflow mode
X-Git-Tag: basepoints/gcc-13~6735
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a76825d6c1f6667ac6a4d8cc4849d2426e107403;p=thirdparty%2Fgcc.git

[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.
---

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index a4f8887644d9..1a1fc74c5720 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -20418,7 +20418,8 @@ package body Sem_Prag is
                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;
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb
index 10f5f7717641..af9e679c8088 100644
--- a/gcc/ada/switch-c.adb
+++ b/gcc/ada/switch-c.adb
@@ -112,7 +112,7 @@ package body Switch.C is
 
          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;