]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a53553) | patch
[Ada] Document the current behaviour of -gnateA switch
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 6 Sep 2021 13:40:23 +0000 (15:40 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 4 Oct 2021 08:45:12 +0000 (08:45 +0000)
commit29ca68773b8bbb89b6e0cbb21d55d0ceeec58f9c
tree880940a20364c9df559d9792904ba1d77823479btree
parent6a53553086657d6b4668f0c3a2030ec1f63447d0commit | diff
[Ada] Document the current behaviour of -gnateA switch

gcc/ada/

* doc/gnat_ugn/building_executable_programs_with_gnat.rst
(gnateA): This switch no longer looks at the formal parameter
type being composite (as originally mandated by SPARK), but in
the parameter passing mechanism being not specified (as
currently mandated by Ada).
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git