diff options
author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-06-23 17:37:17 +0200 |
---|---|---|
committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-06-23 18:35:45 +0200 |
commit | fa0588dbec38b46d88f46229e2f2b94d16ab09ba (patch) | |
tree | 1a6c6fc071031bee1db527e6c2ba6a764fe9fafe /gcc/ada/gcc-interface/Makefile.in | |
parent | d94d571bf0d42beb90bb36d311b7a4c075c81b94 (diff) | |
download | gcc-fa0588dbec38b46d88f46229e2f2b94d16ab09ba.zip gcc-fa0588dbec38b46d88f46229e2f2b94d16ab09ba.tar.gz gcc-fa0588dbec38b46d88f46229e2f2b94d16ab09ba.tar.bz2 |
Emit user subtypes with -fgnat-encodings=minimal
This changes the compiler to emit debug info for user-defined subtypes
with -fgnat-encodings=minimal, as they might be needed by the debugger.
gcc/ada/ChangeLog:
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Set
debug type to the base type and only if the subtype is artificial.
Diffstat (limited to 'gcc/ada/gcc-interface/Makefile.in')
0 files changed, 0 insertions, 0 deletions