diff options
| author | Pierre-Marie de Rodat <derodat@adacore.com> | 2016-10-11 10:35:43 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2016-10-11 10:35:43 +0000 |
| commit | 656b031126ee1679e97b03484cd870d68dd387a9 (patch) | |
| tree | 8ee7e92fd6e2a32018317f96b606021e045aed70 /gcc/ada/gcc-interface/gigi.h | |
| parent | 4bb4acee6878e291e3972feb6dcd154bce915190 (diff) | |
| download | gcc-656b031126ee1679e97b03484cd870d68dd387a9.zip gcc-656b031126ee1679e97b03484cd870d68dd387a9.tar.gz gcc-656b031126ee1679e97b03484cd870d68dd387a9.tar.bz2 | |
exp_dbug.adb (Debug_Renaming_Declaration): Process underlying types.
* exp_dbug.adb (Debug_Renaming_Declaration): Process underlying types.
Emit GNAT encodings for object renamings involving record components
whose normalized bit offset is not null.
* uintp.h (UI_No_Uint): Declare.
* gcc-interface/gigi.h (can_materialize_object_renaming_p): New.
* gcc-interface/utils.c (can_materialize_object_renaming_p): New
function.
* gcc-interface/trans.c (gnat_to_gnu) <N_Object_Renaming_Declaration>:
In code generation mode, materialize all renamings as long as they need
debug info and we are not optimizing.
From-SVN: r240985
Diffstat (limited to 'gcc/ada/gcc-interface/gigi.h')
| -rw-r--r-- | gcc/ada/gcc-interface/gigi.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/gigi.h b/gcc/ada/gcc-interface/gigi.h index b001b40..1d87b5b 100644 --- a/gcc/ada/gcc-interface/gigi.h +++ b/gcc/ada/gcc-interface/gigi.h @@ -1014,6 +1014,11 @@ extern void process_deferred_decl_context (bool force); IS_SUBPROGRAM to whether the returned entity is a subprogram. */ extern Entity_Id get_debug_scope (Node_Id gnat_node, bool *is_subprogram); +/* Return whether EXPR, which is the renamed object in an object renaming + declaration, can be materialized as a reference (REFERENCE_TYPE). This + should be synchronized with Exp_Dbug.Debug_Renaming_Declaration. */ +extern bool can_materialize_object_renaming_p (Node_Id expr); + #ifdef __cplusplus extern "C" { #endif |