diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-12 10:44:28 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:32 +0000 |
commit | 28fffc452eedb284d047b83adc7f8772b15bb0f8 (patch) | |
tree | f0fcb91bc61d880e124e5244909a47c97ef95492 /gcc/system.h | |
parent | 93e7c91eb7744b832df14a7afca45906ed3c580f (diff) | |
download | gcc-28fffc452eedb284d047b83adc7f8772b15bb0f8.zip gcc-28fffc452eedb284d047b83adc7f8772b15bb0f8.tar.gz gcc-28fffc452eedb284d047b83adc7f8772b15bb0f8.tar.bz2 |
[Ada] Refine description of SPARK with static Boolean expressions
A number of SPARK pragmas controlled by an optional Boolean expression
require those expressions to be static. This is now clarified in the
GNAT RM.
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst
(Abstract_State, Async_Readers, Async_Writers,
Constant_After_Elaboration, Effective_Reads, Effective_Writes,
Extensions_Visible, Ghost, No_Caching, Volatile_Function): Only
static Boolean expressions are allowed.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/system.h')
0 files changed, 0 insertions, 0 deletions