diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-03-16 14:42:14 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-17 08:25:40 +0000 |
| commit | 8fc021c0988113e1fcc5ec026f2382b074894e95 (patch) | |
| tree | b83e004d792eb1eba5a7559918c2ba7b89b90b1f /gcc/ada/gcc-interface/trans.cc | |
| parent | 7cff43618e6f300915ff9061608a974728315146 (diff) | |
| download | gcc-8fc021c0988113e1fcc5ec026f2382b074894e95.zip gcc-8fc021c0988113e1fcc5ec026f2382b074894e95.tar.gz gcc-8fc021c0988113e1fcc5ec026f2382b074894e95.tar.bz2 | |
[Ada] Fix documentation of using attribute Loop_Entry in pragmas
Attribute Loop_Entry was initially only allowed to appear in pragmas
Loop_Variant and Loop_Invariant. Then it was also allowed to appear in
pragmas Assert, Assert_And_Cut and Assume, but this change was not
reflected in the GNAT RM.
gcc/ada/
* doc/gnat_rm/implementation_defined_attributes.rst
(Loop_Entry): Mention pragmas Assert, Assert_And_Cut and Assume;
refill.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/gcc-interface/trans.cc')
0 files changed, 0 insertions, 0 deletions