diff options
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 48 |
1 files changed, 29 insertions, 19 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 2c7c712..5245feb3 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2020, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2021, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -112,7 +112,7 @@ package body Debug is -- d.y Disable implicit pragma Elaborate_All on task bodies -- d.z Restore previous support for frontend handling of Inline_Always - -- d.A Print Atree statistics + -- d.A -- d.B Generate a bug box on abort_statement -- d.C Generate concatenation call, do not generate inline code -- d.D Disable errors on use of overriding keyword in Ada 95 mode @@ -125,7 +125,7 @@ package body Debug is -- d.K Do not reject components in extensions overlapping with parent -- d.L Depend on back end for limited types in if and case expressions -- d.M Relaxed RM semantics - -- d.N Add node to all entities + -- d.N -- d.O Dump internal SCO tables -- d.P Previous (non-optimized) handling of length comparisons -- d.Q Previous (incomplete) style check for binary operators @@ -140,13 +140,13 @@ 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 + -- 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 -- d_f Issue info messages related to GNATprove usage - -- d_g - -- d_h + -- d_g Disable large static aggregates + -- d_h Disable the use of (perfect) hash functions for enumeration Value -- d_i Ignore activations and calls to instances for elaboration -- d_j Read JSON files and populate Repinfo tables (opposite of -gnatRjs) -- d_k @@ -160,11 +160,11 @@ package body Debug is -- d_s Stop elaboration checks on synchronous suspension -- d_t -- d_u - -- d_v + -- d_v Enable additional checks and debug printouts in Atree -- d_w - -- d_x + -- d_x Disable inline expansion of Image attribute for enumeration types -- d_y - -- d_z Enable Put_Image on tagged types + -- d_z -- d_A Stop generation of ALI file -- d_B Warn on build-in-place function calls @@ -186,7 +186,7 @@ package body Debug is -- d_R -- d_S -- d_T Output trace information on invocation path recording - -- d_U + -- d_U Disable prepending messages with "error:". -- d_V Enable verifications on the expanded tree -- d_W -- d_X @@ -830,8 +830,6 @@ package body Debug is -- handling of Inline_Always by the front end on such targets. For the -- targets that do not use the GCC back end, this switch is ignored. - -- d.A Print Atree statistics - -- d.B Generate a bug box when we see an abort_statement, even though -- there is no bug. Useful for testing Comperr.Compiler_Abort: write -- some code containing an abort_statement, and compile it with @@ -900,10 +898,6 @@ package body Debug is -- d.M Relaxed RM semantics. This flag sets Opt.Relaxed_RM_Semantics -- See Opt.Relaxed_RM_Semantics for more details. - -- d.N Enlarge entities by one node (but don't attempt to use this extra - -- node for storage of any flags or fields). This can be used to do - -- experiments on the impact of increasing entity sizes. - -- d.O Dump internal SCO tables. Before outputting the SCO information to -- the ALI file, the internal SCO tables (SCO_Table/SCO_Unit_Table) -- are dumped for debugging purposes. @@ -962,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. @@ -971,6 +969,13 @@ package body Debug is -- beginners find them confusing. Set automatically by GNATprove when -- switch --info is used. + -- d_g Disable large static aggregates. The maximum size for a static + -- aggregate will be fairly modest, which is useful if the compiler + -- is using too much memory and time at compile time. + + -- d_h The compiler does not make use of (perfect) hash functions in the + -- implementation of the Value attribute for enumeration types. + -- d_i The compiler ignores calls and task activations when they target a -- subprogram or task type defined in an external instance for both -- the static and dynamic elaboration models. @@ -987,8 +992,10 @@ package body Debug is -- a call to routine Ada.Synchronous_Task_Control.Suspend_Until_True -- or Ada.Synchronous_Barriers.Wait_For_Release. - -- d_z Enable the default Put_Image on tagged types that are not - -- predefined. + -- d_v Enable additional checks and debug printouts in Atree + + -- d_x The compiler does not expand in line the Image attribute for user- + -- defined enumeration types and the standard boolean type. -- d_A Do not generate ALI files by setting Opt.Disable_ALI_File. @@ -1011,6 +1018,9 @@ package body Debug is -- d_T The compiler outputs trace information to standard output whenever -- an invocation path is recorded. + -- d_U Disable prepending 'error:' to error messages. This used to be the + -- default and can be seen as the opposite of -gnatU. + -- d_V Enable verification of the expanded code before calling the backend -- and generate error messages on each inconsistency found. @@ -1091,7 +1101,7 @@ package body Debug is -- issues (e.g., assuming that a low bound of an array parameter -- of an unconstrained subtype belongs to the index subtype). - -- d.9 Enable build-in-place for function calls returning some nonlimited + -- d.9 Disable build-in-place for function calls returning nonlimited -- types. ------------------------------------------ |