]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07859ee) | patch
ada: Pragma Short_Circuit_And_Or
authorBob Duff <duff@adacore.com>
Tue, 24 Jun 2025 23:32:32 +0000 (19:32 -0400)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 4 Jul 2025 07:41:47 +0000 (09:41 +0200)
commit623ce60ee6e06c76cb2abb376af21bf7fd51874c
tree212b459b0b607e5e39cdc0fce10a81552253f9b3tree
parent07859ee1d0c6c0e70c8a8342f5de917e50bc3fe9commit | diff
ada: Pragma Short_Circuit_And_Or

Improve documentation of pragma Short_Circuit_And_Or.
Also disallow renamings, because the semantics as currently
implemented is confusing.

gcc/ada/ChangeLog:

* doc/gnat_rm/implementation_defined_pragmas.rst
(Short_Circuit_And_Or): Add more documentation.
* sem_ch8.adb (Analyze_Subprogram_Renaming):
Disallow renamings.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
gcc/ada/sem_ch8.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git