diff options
| author | Yannick Moy <moy@adacore.com> | 2019-12-11 10:21:57 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-05-25 10:00:55 -0400 |
| commit | 1a14bfbd78324a25943998ed1e877e41ec4cd417 (patch) | |
| tree | d0e872f1ccf8f88f00a3c65d46fc0245941a19e8 /gcc/ada/ChangeLog | |
| parent | 4354291994e6f6cb6eba1acef3192fa5c18b1274 (diff) | |
| download | gcc-1a14bfbd78324a25943998ed1e877e41ec4cd417.zip gcc-1a14bfbd78324a25943998ed1e877e41ec4cd417.tar.gz gcc-1a14bfbd78324a25943998ed1e877e41ec4cd417.tar.bz2 | |
[Ada] Change pragma Compile_Time_Error to force compile-time evaluation
2020-05-25 Yannick Moy <moy@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Document
changes to pragmas Compile_Time_Error/Compile_Time_Warning.
* gnat_rm.texi: Regenerate.
* libgnat/g-bytswa.adb: Change uses of Compile_Time_Error to
Compile_Time_Warning, as the actual expression may not always be
known statically.
* sem_prag.adb (Analyze_Pragma): Handle differently pragma
Compile_Time_Error in both compilation and in GNATprove mode.
(Validate_Compile_Time_Warning_Or_Error): Issue an error or
warning when the expression is not known at compile time.
* usage.adb: Add missing documentation for warning switches _c
and _r.
* warnsw.ads: Update comment.
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 08c2676..7c8af5f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,19 @@ +2020-05-25 Yannick Moy <moy@adacore.com> + + * doc/gnat_rm/implementation_defined_pragmas.rst: Document + changes to pragmas Compile_Time_Error/Compile_Time_Warning. + * gnat_rm.texi: Regenerate. + * libgnat/g-bytswa.adb: Change uses of Compile_Time_Error to + Compile_Time_Warning, as the actual expression may not always be + known statically. + * sem_prag.adb (Analyze_Pragma): Handle differently pragma + Compile_Time_Error in both compilation and in GNATprove mode. + (Validate_Compile_Time_Warning_Or_Error): Issue an error or + warning when the expression is not known at compile time. + * usage.adb: Add missing documentation for warning switches _c + and _r. + * warnsw.ads: Update comment. + 2020-05-25 Justin Squirek <squirek@adacore.com> * sem_ch6.adb (Check_Return_Obj_Accessibility): Use original |