[Bug c++/34068] New: [4.3 regression] ICE using pseudo-destructor for invalid expression

["reichelt at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

The following invalid code snippet triggers an ICE on mainline:

====================================
template<typename> struct A
{
  typedef int X;
  A() { T().~X(); }
};

A<int> a;
====================================

bug.cc: In constructor 'A< <template-parameter-1-1> >::A()':
bug.cc:4: error: there are no arguments to 'T' that depend on a template
parameter, so a declaration of 'T' must be available
bug.cc:4: error: (if you use '-fpermissive', G++ will accept your code, but
allowing the use of an undeclared name is deprecated)
bug.cc: In constructor 'A< <template-parameter-1-1> >::A() [with
<template-parameter-1-1> = int]':
bug.cc:7:   instantiated from here
bug.cc:4: error: 'T' was not declared in this scope
bug.cc:4: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in finish_pseudo_destructor_expr, at
cp/semantics.c:2035
Please submit a full bug report, [etc.]

The ICE appeared between 2007-10-26 and 2007-11-03, so it probably fallout from

2007-11-01  Jakub Jelinek  <jakub@redhat.com>

        PR c++/32384
        * parser.c (cp_parser_postfix_dot_deref_expression): If
        POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor
        first and if that succeeds and type is SCALAR_TYPE_P, create
        PSEUDO_DTOR_EXPR.


-- 
           Summary: [4.3 regression] ICE using pseudo-destructor for invalid
                    expression
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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