[Ada] Change pragma Compile_Time_Error to force compile-time evaluation
authorYannick Moy <moy@adacore.com>
Wed, 11 Dec 2019 09:21:57 +0000 (10:21 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 25 May 2020 14:00:55 +0000 (10:00 -0400)
commit1a14bfbd78324a25943998ed1e877e41ec4cd417
treed0e872f1ccf8f88f00a3c65d46fc0245941a19e8
parent4354291994e6f6cb6eba1acef3192fa5c18b1274
[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.
gcc/ada/ChangeLog
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/gnat_rm.texi
gcc/ada/libgnat/g-bytswa.adb
gcc/ada/sem_prag.adb
gcc/ada/usage.adb
gcc/ada/warnsw.ads