[Bug c++/58843] New: [4.7/4.8/4.9 Regression] ICE with broken destructor call

[Bug c++/58843] New: [4.7/4.8/4.9 Regression] ICE with broken destructor call

[reichelt at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58843

            Bug ID: 58843
           Summary: [4.7/4.8/4.9 Regression] ICE with broken destructor
                    call
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reichelt at gcc dot gnu.org

The following invalid code snippet triggers an ICE since GCC 4.5.0:

========================================
struct A {};

template<typename T> void foo(T t)
{
  t.T::~X();
}

void bar()
{
  foo(A());
}
========================================

bug.cc: In instantiation of 'void foo(T) [with T = A]':
bug.cc:10:10:   required from here
bug.cc:5:3: error: no type named 'X' in 'struct A'
   t.T::~X();
   ^
bug.cc:5:3: internal compiler error: Segmentation fault
0xa93d0f crash_signal
        ../../gcc-4.8.0/gcc/toplev.c:332
0x67f714 adjust_result_of_qualified_name_lookup(tree_node*, tree_node*,
tree_node*)
        ../../gcc-4.8.0/gcc/cp/search.c:1531
0x657186 lookup_destructor
        ../../gcc-4.8.0/gcc/cp/typeck.c:2494
0x657186 finish_class_member_access_expr(tree_node*, tree_node*, bool, int)
        ../../gcc-4.8.0/gcc/cp/typeck.c:2704
0x577e1b tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../gcc-4.8.0/gcc/cp/pt.c:14260
0x577621 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../gcc-4.8.0/gcc/cp/pt.c:13887
0x57f8ff tsubst_expr
        ../../gcc-4.8.0/gcc/cp/pt.c:13337
0x57fe5f tsubst_expr
        ../../gcc-4.8.0/gcc/cp/pt.c:12816
0x580174 tsubst_expr
        ../../gcc-4.8.0/gcc/cp/pt.c:12992
0x57dd4b instantiate_decl(tree_node*, int, bool)
        ../../gcc-4.8.0/gcc/cp/pt.c:18854
0x5b8466 instantiate_pending_templates(int)
        ../../gcc-4.8.0/gcc/cp/pt.c:18953
0x5f3d7d cp_write_global_declarations()
        ../../gcc-4.8.0/gcc/cp/decl2.c:4025
Please submit a full bug report, [etc.]

[Bug c++/58843] [4.7/4.8/4.9 Regression] ICE with broken destructor call

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58843

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5
   Target Milestone|---                         |4.7.4

[Bug c++/58843] [4.7/4.8/4.9 Regression] ICE with broken destructor call

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58843

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-01-29
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com
     Ever confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Mine.

[Bug c++/58843] [4.7/4.8/4.9 Regression] ICE with broken destructor call

[paolo at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58843

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Thu Jan 30 14:32:25 2014
New Revision: 207305

URL: http://gcc.gnu.org/viewcvs?rev=207305&root=gcc&view=rev
Log:
/cp
2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58843
    * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.

/testsuite
2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/58843
    * g++.dg/lookup/crash8.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/lookup/crash8.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/58843] [4.7/4.8 Regression] ICE with broken destructor call

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58843

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
           Assignee|paolo.carlini at oracle dot com    |unassigned at gcc dot gnu.org
   Target Milestone|4.7.4                       |4.9.0
            Summary|[4.7/4.8/4.9 Regression]    |[4.7/4.8 Regression] ICE
                   |ICE with broken destructor  |with broken destructor call
                   |call                        |

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed for 4.9.0.