aboutsummaryrefslogtreecommitdiff
path: root/gcc/system.h
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2022-01-12 10:44:28 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2022-05-09 09:27:32 +0000
commit28fffc452eedb284d047b83adc7f8772b15bb0f8 (patch)
treef0fcb91bc61d880e124e5244909a47c97ef95492 /gcc/system.h
parent93e7c91eb7744b832df14a7afca45906ed3c580f (diff)
downloadgcc-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