diff options
| author | Claire Dross <dross@adacore.com> | 2022-05-24 10:42:46 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-04 07:45:52 +0000 |
| commit | 82b63eb0f30333b3c59e8f37c4007cb6fd3fe0f9 (patch) | |
| tree | 2d4cfce385c5ee44064c3dda15e96adc0a24cc35 /gcc/ada/debug.adb | |
| parent | ddd88925273e86018b6cf57c9f6acc798a38e112 (diff) | |
| download | gcc-82b63eb0f30333b3c59e8f37c4007cb6fd3fe0f9.zip gcc-82b63eb0f30333b3c59e8f37c4007cb6fd3fe0f9.tar.gz gcc-82b63eb0f30333b3c59e8f37c4007cb6fd3fe0f9.tar.bz2 | |
[Ada] Add GNAT specific pragmas to the equivalent Assertion_Policy for -gnata
All assertion pragmas are enabled by default when using -gnata. We need
to add the GNAT specific ones to the list.
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst
(Debugging and Assertion Control): Add GNAT specific assertion
pragmas to the equivalent Assertion_Policy for the -gnata
option.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions