[Bug c++/42260] New: [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[Bug c++/42260] New: [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[reichelt at gcc dot gnu dot org]

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

=============================================
struct A
{
  template<typename T> operator T*();
};

int i = *A();
=============================================

bug.cc:6:12: 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:2431
Please submit a full bug report, [etc.]


-- 
           Summary: [4.3/4.4/4.5 Regression] ICE looking up template
                    conversion operator
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, 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=42260

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.5


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

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[paolo dot carlini at oracle dot com]

------- Comment #1 from paolo dot carlini at oracle dot com  2009-12-03 13:04 -------
Note, however, that this happens only with checking enabled...


-- 


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

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[dodji at gcc dot gnu dot org]

-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dodji at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-14 16:02:45
               date|                            |


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

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[dodji at gcc dot gnu dot org]

------- Comment #2 from dodji at gcc dot gnu dot org  2009-12-23 00:31 -------
Subject: Bug 42260

Author: dodji
Date: Wed Dec 23 00:31:33 2009
New Revision: 155415

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155415
Log:
Fix PR c++/42260

gcc/cp/ChangeLog:
        PR c++/42260
        * cp-tree.h (lookup_conversions): Add new bool parameter to
        declaration.
        * search.c (lookup_conversion): Use new bool parameter in
        definition.
        * call.c (add_builtin_candidates): Don't lookup template conversion
        (convert_class_to_reference, build_user_type_conversion_1,
         build_op_call): Adjust.
        * cvt.c (build_expr_type_conversion): Likewise

gcc/testsuite/ChangeLog:
        PR c++/42260
        * conversion/cast2.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/conversion/cast2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/cvt.c
    trunk/gcc/cp/search.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[dodji at gcc dot gnu dot org]

------- Comment #3 from dodji at gcc dot gnu dot org  2009-12-23 00:45 -------
Fixed in 4.5. Not going to apply the fix to the branches.


-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.3.5                       |4.5.0


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

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[dodji at gcc dot gnu.org]

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

--- Comment #6 from Dodji Seketeli <dodji at gcc dot gnu.org> 2011-04-27 12:07:20 UTC ---
Author: dodji
Date: Wed Apr 27 12:07:16 2011
New Revision: 173024

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173024
Log:
Revert "Fix PR c++/42260"

gcc/cp

    * cp-tree.h (lookup_conversions): Revert adding new bool
    parameter to declaration.
    * search.c (lookup_conversions): Revert using new bool parameter
    in definition.
    * call.c (add_builtin_candidates): Revert "Don't lookup
    template conversion".
    (convert_class_to_reference, build_user_type_conversion_1)
    (build_op_call): Revert Adjustment.
    * cvt.c (build_expr_type_conversion): Likewise.

gcc/testsuite

    * g++.dg/conversion/cast2.C: Remove file.

Removed:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/conversion/cast2.C
Modified:
    branches/gcc-4_5-branch/gcc/cp/call.c
    branches/gcc-4_5-branch/gcc/cp/cp-tree.h
    branches/gcc-4_5-branch/gcc/cp/cvt.c
    branches/gcc-4_5-branch/gcc/cp/search.c

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[dodji at gcc dot gnu.org]

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

--- Comment #4 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-29 16:31:10 UTC ---
Author: dodji
Date: Mon Nov 29 16:30:54 2010
New Revision: 167248

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167248
Log:
Fix PR c++/45383

Reverting the fix for PR c++/42260 fixes c++/45383.
This reverts commit r155415.

gcc/cp/
    Reverted patch for PR c++/42260
    * cp-tree.h (lookup_conversions): Reverted "Add new bool parameter to
    declarationE."
    * search.c (lookup_conversion): Reverted "Use new bool parameter in
    definition".
    * call.c (add_builtin_candidates): Reverted "Don't lookup template
          conversion"
    (convert_class_to_reference, build_user_type_conversion_1,
     build_op_call): Reverted "Adjust".
    * cvt.c (build_expr_type_conversion): Reverted "Likewise".

gcc/testsuite/
    Reverted patch for PR c++/42260
    * conversion/cast2.C: Reverted New test.

Removed:
    trunk/gcc/testsuite/g++.dg/conversion/cast2.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/cvt.c
    trunk/gcc/cp/search.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/42260] [4.3/4.4/4.5 Regression] ICE looking up template conversion operator

[dodji at gcc dot gnu.org]

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

--- Comment #5 from Dodji Seketeli <dodji at gcc dot gnu.org> 2010-11-29 16:31:53 UTC ---
Author: dodji
Date: Mon Nov 29 16:31:40 2010
New Revision: 167250

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167250
Log:
Fix PR c++/42260 and ensure PR c++/45383 is fixed

gcc/cp/
    c++/42260
    * call.c (add_builtin_candidate): At this point the resulting type
    of an indirection operator should be complete.

gcc/testsuite/
    c++/42260
    c++/45383
    * g++.dg/conversion/cast2.C: New test.
    * g++.dg/conversion/cond4/C: Likewise. Ensures we don't regress on
    PR c++/45383

Added:
    trunk/gcc/testsuite/g++.dg/conversion/cast2.C
    trunk/gcc/testsuite/g++.dg/conversion/cond4.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/testsuite/ChangeLog