commit | 82b63eb0f30333b3c59e8f37c4007cb6fd3fe0f9 | [log] [tgz] |
---|---|---|
author | Claire Dross <dross@adacore.com> | Tue May 24 10:42:46 2022 +0200 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Mon Jul 04 07:45:52 2022 +0000 |
tree | 2d4cfce385c5ee44064c3dda15e96adc0a24cc35 | |
parent | ddd88925273e86018b6cf57c9f6acc798a38e112 [diff] |
[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.