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/tree-ssa-ifcombine.c | |
| 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/tree-ssa-ifcombine.c')
0 files changed, 0 insertions, 0 deletions