diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2021-03-08 11:30:17 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-17 10:32:11 -0400 |
commit | a76825d6c1f6667ac6a4d8cc4849d2426e107403 (patch) | |
tree | 0579990582c94c9cf77761fa564b624ce8668cd8 | |
parent | 24c554da57b6aa81fb311556ed8ec1c609befd45 (diff) | |
download | gcc-a76825d6c1f6667ac6a4d8cc4849d2426e107403.zip gcc-a76825d6c1f6667ac6a4d8cc4849d2426e107403.tar.gz gcc-a76825d6c1f6667ac6a4d8cc4849d2426e107403.tar.bz2 |
[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.
-rw-r--r-- | gcc/ada/sem_prag.adb | 3 | ||||
-rw-r--r-- | 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 a4f8887..1a1fc74 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 10f5f77..af9e679 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; |