[Bug debug/96472] New: ICE: c++: dwarf2out_abstract_function, at dwarf2out.c: -g -fdebug-types-section

[Bug debug/96472] New: ICE: c++: dwarf2out_abstract_function, at dwarf2out.c: -g -fdebug-types-section

[jan.kratochvil at redhat dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96472

            Bug ID: 96472
           Summary: ICE: c++: dwarf2out_abstract_function, at dwarf2out.c:
                    -g -fdebug-types-section
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jan.kratochvil at redhat dot com
  Target Milestone: ---

Created attachment 48998
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48998&action=edit
1.cc.xz reproducer

2ac7fe2769890fe4c146da9cfa6d0eabb185d7db = 2020-08-03

g++ -c -o 1 1.cc -O2 -g -fdebug-types-section

during IPA pass: inline
describe.cc: In destructor ‘describe_feature_wide(const
coord_def&)::feat_info::~feat_info()’:
describe.cc:2365:7: internal compiler error: in dwarf2out_abstract_function, at
dwarf2out.c:22538
0xc3591d dwarf2out_abstract_function
        ../../gccgitclean/gcc/dwarf2out.c:22538
0x1063ac5 tree_function_versioning(tree_node*, tree_node*,
vec<ipa_replace_map*, va_gc, vl_embed>*, ipa_param_adjustments*, bool,
bitmap_head*, basic_block_def*)
        ../../gccgitclean/gcc/tree-inline.c:6219
0xde233b save_inline_function_body
        ../../gccgitclean/gcc/ipa-inline-transform.c:639
0xde233b inline_transform(cgraph_node*)
        ../../gccgitclean/gcc/ipa-inline-transform.c:697
0xf0acad execute_one_ipa_transform_pass
        ../../gccgitclean/gcc/passes.c:2240
0xf0acad execute_all_ipa_transforms(bool)
        ../../gccgitclean/gcc/passes.c:2279
0xbc9a63 cgraph_node::expand()
        ../../gccgitclean/gcc/cgraphunit.c:2294
0xbcafff expand_all_functions
        ../../gccgitclean/gcc/cgraphunit.c:2472
0xbcafff symbol_table::compile()
        ../../gccgitclean/gcc/cgraphunit.c:2835
0xbcd422 symbol_table::compile()
        ../../gccgitclean/gcc/cgraphunit.c:2748
0xbcd422 symbol_table::finalize_compilation_unit()
        ../../gccgitclean/gcc/cgraphunit.c:3013

[Bug debug/96472] ICE: c++: dwarf2out_abstract_function, at dwarf2out.c: -g -fdebug-types-section

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96472

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-08-07
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  Throwing reduction at it.

[Bug debug/96472] ICE: c++: dwarf2out_abstract_function, at dwarf2out.c: -g -fdebug-types-section

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96472

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-reduction             |ice-on-valid-code

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
template <typename> class b;
template <typename> struct B;
template <typename c> struct B<b<c>> { using d = c; };
class f {
public:
  f(char *);
  ~f();
};
template <typename e> struct g { typedef typename B<e>::d d; };
template <typename c, typename e = b<c>> class h : g<e> {};
void i() {
  typedef struct {
    f j;
  } k;
  h<k> a;
  k{""};
}

guess the templates can be simplified manually a bit.