]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Clarify error for unsupported ELIMINATED overflow mode
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 8 Mar 2021 10:30:17 +0000 (11:30 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 17 Jun 2021 14:32:11 +0000 (10:32 -0400)
gcc/ada/

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

gcc/ada/sem_prag.adb
gcc/ada/switch-c.adb

index a4f8887644d903006dbd641fc6ab75608db69b5f..1a1fc74c572090a69ed89e93611442b0317e93ba 100644 (file)
@@ -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;
index 10f5f77176417636ced2dad62ff5beeef2d8162b..af9e679c8088038cb4b691dd038613620735b5ce 100644 (file)
@@ -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;