diff options
| author | Javier Miranda <miranda@adacore.com> | 2024-02-11 16:22:28 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-14 10:19:52 +0200 |
| commit | 3f079f2244f088e5563d77da1430f804c38863b5 (patch) | |
| tree | 7f17f0dd04b5db11408ffb87273f8ddf29fa0b94 /gcc/expr.cc | |
| parent | 59c4d2e5a7169d5afa49facd0329bc2f9fe91b1a (diff) | |
| download | gcc-3f079f2244f088e5563d77da1430f804c38863b5.zip gcc-3f079f2244f088e5563d77da1430f804c38863b5.tar.gz gcc-3f079f2244f088e5563d77da1430f804c38863b5.tar.bz2 | |
ada: Missing support for consistent assertion policy
Add missing support for RM 10.2/5: the region for a pragma
Assertion_Policy given as a configuration pragma is the
declarative region for the entire compilation unit (or units)
to which it applies.
gcc/ada/
* sem_ch10.adb (Install_Inherited_Policy_Pragmas): New subprogram.
(Remove_Inherited_Policy_Pragmas): New subprogram.
(Analyze_Compilation_Unit): Call the new subprograms to
install and remove inherited assertion policy pragmas.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions