diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-09-06 15:40:23 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-04 08:45:12 +0000 |
| commit | 29ca68773b8bbb89b6e0cbb21d55d0ceeec58f9c (patch) | |
| tree | 880940a20364c9df559d9792904ba1d77823479b /gcc/ada/debug.adb | |
| parent | 6a53553086657d6b4668f0c3a2030ec1f63447d0 (diff) | |
| download | gcc-29ca68773b8bbb89b6e0cbb21d55d0ceeec58f9c.zip gcc-29ca68773b8bbb89b6e0cbb21d55d0ceeec58f9c.tar.gz gcc-29ca68773b8bbb89b6e0cbb21d55d0ceeec58f9c.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions