[Bug c++/51421] New: [c++0x] ICE with invalid use of auto

[Bug c++/51421] New: [c++0x] ICE with invalid use of auto

[reichelt at gcc dot gnu.org]

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

             Bug #: 51421
           Summary: [c++0x] ICE with invalid use of auto
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: reichelt@gcc.gnu.org


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

=====================
int foo(int);

void bar()
{
  auto i = foo(i);
}
=====================

bug.cc: In function 'void bar()':
bug.cc:5:17: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have template_type_parm in lookup_conversions,
at cp/search.c:2499
Please submit a full bug report, [etc.]

A slightly different example triggers an ICE in a different position:

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

A foo(A);

void bar()
{
  auto a = foo(a);
}
=====================

bug.cc: In function 'void bar()':
bug.cc:7:17: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have template_type_parm in lookup_base, at
cp/search.c:212
Please submit a full bug report, [etc.]

[Bug c++/51421] [c++0x] ICE with invalid use of auto

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-01-21
     Ever Confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-21 08:21:51 UTC ---
Confirmed.

[Bug c++/51421] [c++0x] ICE with invalid use of auto

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com
   Target Milestone|---                         |4.8.0

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-24 21:15:44 UTC ---
In mainline we now produce useful diagnostics before ICEing, likely the ICE
itself is much easier to fix.

[Bug c++/51421] [c++0x] ICE with invalid use of auto

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-08-25 09:53:34 UTC ---
Author: paolo
Date: Sat Aug 25 09:53:30 2012
New Revision: 190665

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190665
Log:
/cp
2012-08-25  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51421
    * decl2.c (mark_used): Consistently return false after errors
    about uses before deduction of auto.
    * semantics.c (finish_id_expression): Check mark_used return
    value and return error_mark_node in case of failure.

/testsuite
2012-08-25  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51421
    * g++.dg/cpp0x/auto34.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/auto34.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl2.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51421] [c++0x] ICE with invalid use of auto

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-25 09:54:31 UTC ---
Fixed.