[Bug c++/108795] New: [10/11/12/13 Regression] ICE in prep_operand, at cp/call.cc:6325

[Bug c++/108795] New: [10/11/12/13 Regression] ICE in prep_operand, at cp/call.cc:6325

[gscfq@t-online.de]

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

            Bug ID: 108795
           Summary: [10/11/12/13 Regression] ICE in prep_operand, at
                    cp/call.cc:6325
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r7 :


$ cat z1.cc
template <typename T> T g (T x)
{
  class C
  {
    __attribute__((transaction_safe)) ~C();
  };
  C::~C();
}
void f ()
{
  g (5);
}


$ gcc-13-20230212 -c z1.cc
z1.cc: In instantiation of 'T g(T) [with T = int]':
z1.cc:11:5:   required from here
z1.cc:7:6: internal compiler error: Segmentation fault
    7 |   C::~C();
      |   ~~~^~
0xeb71af crash_signal
        ../../gcc/toplev.cc:314
0x7b242d prep_operand
        ../../gcc/cp/call.cc:6325
0x7c8d67 build_new_op(op_location_t const&, tree_code, int, tree_node*,
tree_node*, tree_node*, tree_node*, tree_node**, int)
        ../../gcc/cp/call.cc:6956
0x985d3d build_x_unary_op(unsigned int, tree_code, cp_expr, tree_node*, int)
        ../../gcc/cp/typeck.cc:6820
0x9237fb tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/cp/pt.cc:20496
0x924e34 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/cp/pt.cc:20910
0x928e38 tsubst_expr(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/cp/pt.cc:19769
0x9279d1 tsubst_expr(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/cp/pt.cc:18758
0x927cce tsubst_expr(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/cp/pt.cc:18730
0x928678 tsubst_expr(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/cp/pt.cc:19110
0x92b970 tsubst_expr(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/cp/pt.cc:26707
0x92b970 instantiate_body
        ../../gcc/cp/pt.cc:26707
0x92c9df instantiate_decl(tree_node*, bool, bool)
        ../../gcc/cp/pt.cc:26997
0x9461db instantiate_pending_templates(int)
        ../../gcc/cp/pt.cc:27075
0x848f6a c_parse_final_cleanups()
        ../../gcc/cp/decl2.cc:4953
0x9f5be0 c_common_parse_file()
        ../../gcc/c-family/c-opts.cc:1266

[Bug c++/108795] [10/11/12/13 Regression] ICE in prep_operand, at cp/call.cc:6325

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.5
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-02-14
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.  g++-6:

$ xg++-6 -c 108795.C
108795.C: In instantiation of ‘T g(T) [with T = int]’:
108795.C:11:7:   required from here
108795.C:7:8: error: cannot call member function ‘g(T)::C::~C() [with T = int]’
without object
   C::~C();
   ~~~~~^~

[Bug c++/108795] [10/11/12/13 Regression] ICE in prep_operand, at cp/call.cc:6325 since r7-2549-gf3365c1201908df5

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
            Summary|[10/11/12/13 Regression]    |[10/11/12/13 Regression]
                   |ICE in prep_operand, at     |ICE in prep_operand, at
                   |cp/call.cc:6325             |cp/call.cc:6325 since
                   |                            |r7-2549-gf3365c1201908df5

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r7-2549-gf3365c1201908df5.

[Bug c++/108795] [10/11/12/13 Regression] ICE in prep_operand, at cp/call.cc:6325 since r7-2549-gf3365c1201908df5

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

[Bug c++/108795] [10/11/12/13 Regression] ICE in prep_operand, at cp/call.cc:6325 since r7-2549-gf3365c1201908df5

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:426cab4e3b46abaeae0813042b5addc789e3b2be

commit r13-6802-g426cab4e3b46abaeae0813042b5addc789e3b2be
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Mar 21 15:15:27 2023 -0400

    c++: attribute on dtor in template [PR108795]

    Since r7-2549 we were throwing away the explicit C:: when we found that ~C
    has an attribute that we treat as making its type dependent.

            PR c++/108795

    gcc/cp/ChangeLog:

            * semantics.cc (finish_id_expression_1): Check scope before
            returning id_expression.

    gcc/testsuite/ChangeLog:

            * g++.dg/ext/attr-tsafe1.C: New test.

[Bug c++/108795] [10/11/12 Regression] ICE in prep_operand, at cp/call.cc:6325 since r7-2549-gf3365c1201908df5

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |13.0
            Summary|[10/11/12/13 Regression]    |[10/11/12 Regression] ICE
                   |ICE in prep_operand, at     |in prep_operand, at
                   |cp/call.cc:6325 since       |cp/call.cc:6325 since
                   |r7-2549-gf3365c1201908df5   |r7-2549-gf3365c1201908df5
           Priority|P3                          |P2

[Bug c++/108795] [10/11/12 Regression] ICE in prep_operand, at cp/call.cc:6325 since r7-2549-gf3365c1201908df5

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Jason Merrill
<jason@gcc.gnu.org>:

https://gcc.gnu.org/g:1c1a9a0b60a9a182bcff79084e5ac367a6329bc2

commit r12-9463-g1c1a9a0b60a9a182bcff79084e5ac367a6329bc2
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Mar 21 15:15:27 2023 -0400

    c++: attribute on dtor in template [PR108795]

    Since r7-2549 we were throwing away the explicit C:: when we found that ~C
    has an attribute that we treat as making its type dependent.

            PR c++/108795

    gcc/cp/ChangeLog:

            * semantics.cc (finish_id_expression_1): Check scope before
            returning id_expression.

    gcc/testsuite/ChangeLog:

            * g++.dg/ext/attr-tsafe1.C: New test.

[Bug c++/108795] [11/12 Regression] ICE in prep_operand, at cp/call.cc:6325 since r7-2549-gf3365c1201908df5

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.