diff options
| author | Steve Baird <baird@adacore.com> | 2022-10-07 17:20:31 -0700 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-04 14:47:30 +0100 |
| commit | 7e1fe87899932e2c265fd0a13b2ac552b0865e0f (patch) | |
| tree | 7b815b99c755d9f297217beaf5f84bfca1f6b92e /gcc/expr.cc | |
| parent | 1207432c21a213cfac2b9499bd59367d410befe3 (diff) | |
| download | gcc-7e1fe87899932e2c265fd0a13b2ac552b0865e0f.zip gcc-7e1fe87899932e2c265fd0a13b2ac552b0865e0f.tar.gz gcc-7e1fe87899932e2c265fd0a13b2ac552b0865e0f.tar.bz2 | |
ada: Static intrinsic functions are a core language extension.
GNAT-defined Ada extensions are divided into two categories: those that are
enabled by either -gnatX or -gnatX0 and those which require -gnatX0.
Move static intrinsic functions from the second category into the first.
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Add the standard
'... "On" enables this extension.' sentence to the description of
static intrinsic functions.
* sem_ch13.adb
(Analyze_Aspect_Spec): In the call to Error_Msg_GNAT_Extension for
a Static aspect specification for an intrinsic function, specify
Is_Core_Extension => True.
* sem_eval.adb
(Eval_Intrinsic_Call): Test Core_Extensions_Allowed instead of
testing All_Extensions_Allowed.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions