[Bug c++/21592] New: ICE

[Bug c++/21592] New: ICE

[igodard at pacbell dot net]

 

-- 
           Summary: ICE
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: igodard at pacbell dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/21592] ICE

[igodard at pacbell dot net]

------- Additional Comments From igodard at pacbell dot net  2005-05-15 20:18 -------
Created an attachment (id=8893)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8893&action=view)
compiler output


-- 


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

[Bug c++/21592] ICE

[igodard at pacbell dot net]

------- Additional Comments From igodard at pacbell dot net  2005-05-15 20:18 -------
Created an attachment (id=8894)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8894&action=view)
source code (compressed)


-- 


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-15 20:57 -------
Confirmed, reduced testcase:
class cl
{
  int str();
  void str(const int& __s);
};

template <typename T>
int &f(const T& t);

template<int s>
void g()
{
  cl str;
  f(str.str);
}


-------

I don't know if this is valid code or not, 3.3.3 accepted it and so does ICC even in strict mode.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |3.4.0 4.0.0 4.1.0
      Known to work|                            |3.3.3
   Last reconfirmed|0000-00-00 00:00:00         |2005-05-15 20:57:07
               date|                            |
            Summary|ICE                         |[3.4/4.0/4.1 Regression] ICE
                   |                            |in
                   |                            |resolve_overloaded_unificati
                   |                            |on
   Target Milestone|---                         |3.4.4


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-15 21:02 -------
Note the ICE moved from arg_assoc to resolve_overloaded_unification in 4.0.0.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.4/4.0/4.1 Regression] ICE|[3.4/4.0/4.1 Regression] ICE
                   |in                          |in
                   |resolve_overloaded_unificati|resolve_overloaded_unificati
                   |on                          |on/arg_assoc


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-05-16 01:43 -------
Definitely invalid code, you can't do anything with a bound pointer in C++. 
Comeau strict mode reports the error:

"ComeauTest.c", line 14: error: a pointer to a bound function may only be used 
to
          call the function
        Wild Guess: You're calling a member function and forgot the ()'s
    f(str.str);
          ^


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.4                       |3.4.5


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[tkoenig at gcc dot gnu dot org]

------- Additional Comments From tkoenig at gcc dot gnu dot org  2005-06-22 11:42 -------
*** Bug 22124 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tkoenig at gcc dot gnu dot
                   |                            |org


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 17:59 -------
*** Bug 22611 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |krzysan at skrzynka dot pl


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 21:13 -------
Moving to 4.0.2 pre Mark.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.5                       |4.0.2


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-25 13:22 -------
*** Bug 20549 has been marked as a duplicate of this bug. ***

-- 


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-25 13:26 -------
Just for completeness, a slightly reduced version of the testcase from
PR 20549:

=======================================
template<typename T> void unique(T,T);

struct A
{
  int begin();
};

template<int> void foo()
{
  unique(A().begin);
}
=======================================


-- 


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.2                       |4.0.3


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[nathan at gcc dot gnu dot org]

------- Comment #15 from nathan at gcc dot gnu dot org  2005-10-13 13:12 -------
wont fix for pre 4.0


-- 


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[cvs-commit at gcc dot gnu dot org]

------- Comment #14 from cvs-commit at gcc dot gnu dot org  2005-10-12 18:23 -------
Subject: Bug 21592

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     nathan@gcc.gnu.org      2005-10-12 18:23:17

Modified files:
        gcc/testsuite  : ChangeLog 
        gcc/cp         : ChangeLog pt.c typeck.c parser.c decl.c 
Added files:
        gcc/testsuite/g++.dg/other: return1.C 
        gcc/testsuite/g++.dg/parse: typename8.C 
        gcc/testsuite/g++.dg/template: overload6.C 

Log message:
        cp:
        PR c++/21592
        * pt.c (build_non_dependent_expr): Don't wrap a COMPONENT_REF
        with already looked up member functions.  Assert we're not
        returning a NON_DEPENDENT_EXPR with unknown type.
        * typeck.c (finish_class_member_access_expr):  We can get
        non-template-id-expr baselinks.  If the lookup finds a baselink,
        remember it even inside templates.

        PR c++/23797
        * parser.c (cp_parser_functional_cast): Cope when TYPE is not a
        TYPE_DECL.  Use dependent_type_p to check type.
        * pt.c (uses_template_parms_p): Use dependent_type_p for a
        TYPE_DECL.
        (type_dependent_expression_p): Assert we've not been given a
        TYPE_DECL.

        PR c++/21117
        * decl.c (check_function_type): Correctly overwrite incomplete
        return type with void type.
        * typeck.c (check_return_expr): If the function's return type is
        void, don't try and convert a return expr.
        testsuite:
        PR c++/21592
        * g++.dg/template/dependent-expr1.C: Add new expected error.
        * g++.dg/template/dependent-expr2.C: Adjust error text.
        * g++.dg/template/overload6.C: New.

        PR c++/23797
        * g++.dg/other/typename8.C: New.

        PR c++/21117
        * g++.dg/other/return1.C: New.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/other/return1.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/parse/typename8.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/overload6.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.450&r2=1.5084.2.451
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.127&r2=1.4648.2.128
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.978.2.30&r2=1.978.2.31
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/typeck.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.616.2.20&r2=1.616.2.21
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/parser.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.319.2.22&r2=1.319.2.23
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1371.2.24&r2=1.1371.2.25


-- 


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[nathan at gcc dot gnu dot org]

------- Comment #13 from nathan at gcc dot gnu dot org  2005-10-12 18:23 -------
Fixed mainline & 4.0
2005-10-12  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/21592
        * pt.c (build_non_dependent_expr): Don't wrap a COMPONENT_REF
        with already looked up member functions.  Assert we're not
        returning a NON_DEPENDENT_EXPR with unknown type.
        * typeck.c (finish_class_member_access_expr):  We can get
        non-template-id-expr baselinks.  If the lookup finds a baselink,
        remember it even inside templates.


-- 

nathan at gcc dot gnu dot org changed:

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


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[cvs-commit at gcc dot gnu dot org]

------- Comment #12 from cvs-commit at gcc dot gnu dot org  2005-10-12 18:13 -------
Subject: Bug 21592

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     nathan@gcc.gnu.org      2005-10-12 18:13:41

Modified files:
        gcc/cp         : ChangeLog pt.c typeck.c 
        gcc/testsuite  : ChangeLog 
        gcc/testsuite/g++.dg/template: dependent-expr1.C 
                                       dependent-expr2.C 
Added files:
        gcc/testsuite/g++.dg/template: overload6.C 

Log message:
        cp:
        PR c++/21592
        * pt.c (build_non_dependent_expr): Don't wrap a COMPONENT_REF
        with already looked up member functions.  Assert we're not
        returning a NON_DEPENDENT_EXPR with unknown type.
        * typeck.c (finish_class_member_access_expr):  We can get
        non-template-id-expr baselinks.  If the lookup finds a baselink,
        remember it even inside templates.
        testsuite:
        PR c++/21592
        * g++.dg/template/dependent-expr1.C: Add new expected error.
        * g++.dg/template/dependent-expr2.C: Adjust error text.
        * g++.dg/template/overload6.C: New.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4926&r2=1.4927
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.1044&r2=1.1045
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/typeck.c.diff?cvsroot=gcc&r1=1.655&r2=1.656
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6178&r2=1.6179
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/overload6.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/dependent-expr1.C.diff?cvsroot=gcc&r1=1.2&r2=1.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/dependent-expr2.C.diff?cvsroot=gcc&r1=1.1&r2=1.2


-- 


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[nathan at gcc dot gnu dot org]

-- 

nathan at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |nathan at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-09-04 18:20:29         |2005-10-12 14:30:34
               date|                            |


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

[Bug c++/21592] [3.4/4.0/4.1 Regression] ICE in resolve_overloaded_unification/arg_assoc

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2005-10-03 14:28 -------
*** Bug 24171 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |faheem at email dot unc dot
                   |                            |edu


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