[Bug c++/28595] New: [4.1/4.2 regression] ICE with invalid const static variable

[Bug c++/28595] New: [4.1/4.2 regression] ICE with invalid const static variable

[reichelt at gcc dot gnu dot org]

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

===============================
template<int> struct A
{
  static const int i;
};

template<int N> struct B
{
  char c[A<N>::i], d;
};

B<0> b;
===============================

bug.cc: In instantiation of 'B<0>':
bug.cc:11:   instantiated from here
bug.cc:7: internal compiler error: tree check: expected integer_cst, have
nop_expr in walk_subobject_offsets, at cp/class.c:3126
Please submit a full bug report, [etc.]


-- 
           Summary: [4.1/4.2 regression] ICE with invalid const static
                    variable
           Product: gcc
           Version: 4.2.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=28595

[Bug c++/28595] [4.1/4.2 regression] ICE with invalid const static variable

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.2


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

[Bug c++/28595] [4.1/4.2 regression] ICE with invalid const static variable

[janis at gcc dot gnu dot org]

------- Comment #1 from janis at gcc dot gnu dot org  2006-08-11 22:24 -------
A regression hunt on powerpc-linux identified the following patch:

    http://gcc.gnu.org/viewcvs?view=rev&rev=106566

    r106566 | mmitchel | 2005-11-06 19:41:18 +0000 (Sun, 06 Nov 2005)


-- 

janis at gcc dot gnu dot org changed:

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


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

[Bug c++/28595] [4.1/4.2 regression] ICE with invalid const static variable

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2006-08-14 19:02 -------
Confirmed by Janis.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-08-14 19:02:39
               date|                            |


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

[Bug c++/28595] [4.1/4.2 regression] ICE with invalid const static variable

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug c++/28595] [4.1/4.2 regression] ICE with invalid const static variable

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/28595] [4.1/4.2 regression] ICE with invalid const static variable

[mmitchel at gcc dot gnu dot org]

------- Comment #3 from mmitchel at gcc dot gnu dot org  2006-08-26 16:23 -------
Subject: Bug 28595

Author: mmitchel
Date: Sat Aug 26 16:23:33 2006
New Revision: 116468

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116468
Log:
        PR c++/28588
        * class.c (resolve_address_of_overloaded_function): Add
        access_path parameter.  Perform access checks.
        (instantiate_type): Adjust call to
        resolve_address_of_overloaded_function.  Remove unnecessary code.
        * tree.c (is_overloaded_fn): Document.  Return 2 when there are
        acutally multiple functions.
        (really_overloaded_fn): Use is_overloaded_fn.
        * mangle.c (write_expression): Handle BASELINKs.
        * cp-tree.h (really_overloaded_fn): Return bool.
        (baselink_for_fns): Declare.
        * search.c (lookup_member): Check access for single static
        functions here.
        * pt.c (convert_nontype_argument_function): Handle BASELINKs.
        (tsubst_copy_and_build): Generate BASELINKs for template-ids.
        * semantics.c (finish_call_expr): Use baselink_for_fns.
        (baselink_for_fns): New function.
        (finish_id_expression): Use it.
        * parser.c (cp_parser_template_argument): Don't strip BASELINKs.
        PR c++/28595
        * pt.c (tsubst): Issue errors about attempts to create VLAs at
        template-instantiation time.
        PR c++/28588
        * g++.dg/inherit/access6.C: New test.
        * g++.dg/inherit/access7.C: Likewise.
        PR c++/28595
        * g++.dg/template/array15.C: New test.
        * g++.dg/template/crash2.C: Tweak error markers.

Added:
    trunk/gcc/testsuite/g++.dg/inherit/access6.C
    trunk/gcc/testsuite/g++.dg/inherit/access7.C
    trunk/gcc/testsuite/g++.dg/template/array15.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/search.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/template/crash2.C


-- 


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

[Bug c++/28595] [4.1 regression] ICE with invalid const static variable

[mmitchel at gcc dot gnu dot org]

------- Comment #4 from mmitchel at gcc dot gnu dot org  2006-08-26 16:38 -------
Fixed in 4.2.0.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 regression] ICE    |[4.1 regression] ICE with
                   |with invalid const static   |invalid const static
                   |variable                    |variable


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

[Bug c++/28595] [4.1 regression] ICE with invalid const static variable

[mmitchel at gcc dot gnu dot org]

------- Comment #5 from mmitchel at gcc dot gnu dot org  2006-08-26 17:14 -------
Subject: Bug 28595

Author: mmitchel
Date: Sat Aug 26 17:13:52 2006
New Revision: 116471

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116471
Log:
        PR c++/28595
        * pt.c (tsubst): Issue errors about attempts to create VLAs at
        template-instantiation time.
        PR c++/28595
        * g++.dg/template/array15.C: New test.
        * g++.dg/template/crash2.C: Tweak error markers.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/array15.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/pt.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/crash2.C


-- 


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

[Bug c++/28595] [4.1 regression] ICE with invalid const static variable

[mmitchel at gcc dot gnu dot org]

------- Comment #6 from mmitchel at gcc dot gnu dot org  2006-08-26 17:14 -------
Fixed in 4.1.2.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|mark at codesourcery dot com|unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW


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

[Bug c++/28595] [4.1 regression] ICE with invalid const static variable

[mmitchel at gcc dot gnu dot org]

------- Comment #7 from mmitchel at gcc dot gnu dot org  2006-08-26 17:16 -------
Fixed in 4.1.2.


-- 

mmitchel at gcc dot gnu dot org changed:

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


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