diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2021-05-24 08:38:20 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-08 13:34:16 +0000 |
| commit | a2f91a52b4b989b52f0ccdabc2d9aead05c8056b (patch) | |
| tree | 14bca271f840bfc94b7a71562ae6a9dd21b95aff /gcc/ada/debug.adb | |
| parent | 3cb32058b49f20d6532beabf6bee4f7862a515d5 (diff) | |
| download | gcc-a2f91a52b4b989b52f0ccdabc2d9aead05c8056b.zip gcc-a2f91a52b4b989b52f0ccdabc2d9aead05c8056b.tar.gz gcc-a2f91a52b4b989b52f0ccdabc2d9aead05c8056b.tar.bz2 | |
[Ada] Revert meaning of -gnatd_b
gcc/ada/
* debug.adb, sem_util.adb: Revert meaning of -gnatd_b.
* sem_res.adb: Minor reformatting.
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 5a4d1d3..599c9c9 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -140,7 +140,7 @@ package body Debug is -- d.Z Do not enable expansion in configurable run-time mode -- d_a Stop elaboration checks on accept or select statement - -- d_b Use compatibility model under No_Dynamic_Accessibility_Checks + -- d_b Use designated type model under No_Dynamic_Accessibility_Checks -- d_c CUDA compilation : compile for the host -- d_d -- d_e Ignore entry calls and requeue statements for elaboration @@ -956,6 +956,10 @@ package body Debug is -- behavior is similar to that of No_Entry_Calls_In_Elaboration_Code, -- but does not penalize actual entry calls in elaboration code. + -- d_b When the restriction No_Dynamic_Accessibility_Checks is enabled, + -- use the simple "designated type" accessibility model, instead of + -- using the implicit level of the anonymous access type declaration. + -- d_e The compiler ignores simple entry calls, asynchronous transfer of -- control, conditional entry calls, timed entry calls, and requeue -- statements in both the static and dynamic elaboration models. |