[gcc r12-1578] [Ada] Clarify error for unsupported ELIMINATED overflow mode

[gcc r12-1578] [Ada] Clarify error for unsupported ELIMINATED overflow mode

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:a76825d6c1f6667ac6a4d8cc4849d2426e107403

commit r12-1578-ga76825d6c1f6667ac6a4d8cc4849d2426e107403
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Mar 8 11:30:17 2021 +0100

    [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:
---
 gcc/ada/sem_prag.adb | 3 ++-
 gcc/ada/switch-c.adb | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index a4f8887644d..1a1fc74c572 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 10f5f771764..af9e679c808 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;