[Bug c++/11762] New: namespace aliasing ICE in warn_extern_redeclared_static

[Bug c++/11762] New: namespace aliasing ICE in warn_extern_redeclared_static

[bkoz at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: namespace aliasing ICE in warn_extern_redeclared_static
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bkoz at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: x86/linux

compiling the bit below gives:

%g++ -c namespace_issues_2.cc
namespace_issues_2.cc:36: error: conflicting types for `std'
<internal>:0: error: previous declaration as `std'
namespace_issues_2.cc:36: internal compiler error: tree check: expected
   var_decl, have namespace_decl in warn_extern_redeclared_static, at cp/decl.c
   :2827
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

but with icc gives:


%icc -c namespace_issues_2.cc
namespace_issues_2.cc(40): error: "std" has already been declared in the current
scope
  namespace std
            ^
 
namespace_issues_2.cc(40): error: "std" has already been declared in the current
scope
  namespace std
            ^
 
namespace_issues_2.cc(43): error: vector is not a template
       class vector<useless>
             ^
 
namespace_issues_2.cc(52): error: namespace "std" has no member "vector"
    std::vector<useless> v;
         ^
 
namespace_issues_2.cc(52): error: type name is not allowed
    std::vector<useless> v;
                ^
 
namespace_issues_2.cc(52): error: identifier "v" is undefined
    std::vector<useless> v;
                         ^
 
compilation aborted for namespace_issues_2.cc (code 2)

Anyway. Here goes the offending code.

// specialization error

#ifdef _GLIBCXX_DEBUG
  #define _GLIBCXX_NAMESPACE_STD __gnu_debug
#else
  #define _GLIBCXX_NAMESPACE_STD __gnu_release
#endif

namespace __gnu_debug
{
  template<typename _T>
  class vector
  {
  public:
    int foo() { return 5; }
  };
}

namespace __gnu_release
{
  template<typename _T>
  class vector
  {
  public:
    int foo() { return 6; }
  };
}

#if 0
namespace std
{
  using _GLIBCXX_NAMESPACE_STD::vector;
}
#else
// XXX Cannot re-open for specialization below.
namespace std = _GLIBCXX_NAMESPACE_STD;
#endif

struct useless { };

namespace std 
{
   template<>
     class vector<useless> 
     { 
     public:
       int foo() { return 7; }
     };
}

int main()
{
  std::vector<useless> v;
  int i = v.foo();

  return 0;
}

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   GCC host triplet|x86/linux                   |
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2003-08-01 15:53:00
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-08-01 15:53 -------
I can confirm this on the mainline (20030730).
Note this does not ICE with checking disabled.

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[gdr at integrable-solutions dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From gdr at integrable-solutions dot net  2003-08-01 15:57 -------
Subject: Re:  New: namespace aliasing ICE in warn_extern_redeclared_static


[...]

| #if 0
| namespace std
| {
|   using _GLIBCXX_NAMESPACE_STD::vector;
| }
| #else
| // XXX Cannot re-open for specialization below.
| namespace std = _GLIBCXX_NAMESPACE_STD;
| #endif

Benjamin,

While the ICE is definitely a bug in the compiler, we cannot write

   namesapce std = whatever;

because ::std is treated magically in the compiler, that is, before we
start parsing inputs, we (in front end, I mean) magically declare std as
an orignal nameespace  -- and we put there many stuff.

I'll, however, take care of this issue.

-- Gaby

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[dhazeghi at yahoo dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


dhazeghi at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4                         |---

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[gdr at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2003-08-01 15:53:00         |2003-08-29 11:30:59
               date|                            |


------- Additional Comments From gdr at gcc dot gnu dot org  2003-08-29 11:30 -------
Patching.

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-09-07 18:52 -------
Subject: Bug 11762

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	gdr@gcc.gnu.org	2003-09-07 18:52:53

Modified files:
	gcc            : ChangeLog c-pretty-print.h c-pretty-print.c 
	gcc/testsuite/g++.dg/lookup: struct1.C 
	gcc/cp         : ChangeLog cxx-pretty-print.c decl.c error.c 

Log message:
	* c-pretty-print.h (pp_c_left_brace): Declare.
	(pp_c_right_brace): Likewise.
	* c-pretty-print.c (pp_c_left_brace): Now a function
	(pp_c_right_brace): Likewise.
	
	cp/
	PR c++/11762
	* error.c (dump_decl): Handle namespace-alias-definition.
	* decl.c (warn_extern_redeclared_static): There is no point in
	checking changes in storage class specifier for a namespace
	declaration.
	(duplicate_decls): Tidy diagnostic message.
	* cxx-pretty-print.c (pp_cxx_left_brace): New macro.
	(pp_cxx_right_brace): Likewise.
	(pp_cxx_original_namespace_definition): New function.
	(pp_cxx_namespace_alias_definition): Likewise.
	(pp_cxx_declaration): Use them.  Handle NAMESPACE_DECLs.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.997&r2=2.998
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-pretty-print.h.diff?cvsroot=gcc&r1=1.12&r2=1.13
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-pretty-print.c.diff?cvsroot=gcc&r1=1.25&r2=1.26
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/lookup/struct1.C.diff?cvsroot=gcc&r1=1.2&r2=1.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3656&r2=1.3657
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cxx-pretty-print.c.diff?cvsroot=gcc&r1=1.5&r2=1.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1123&r2=1.1124
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/error.c.diff?cvsroot=gcc&r1=1.234&r2=1.235

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[gdr at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From gdr at gcc dot gnu dot org  2003-09-07 19:50 -------
The testcase provided in this report no longer causes a compiler crash.
However, the disease is still there.  I propose to use the following
testcase

   namespace M { }
   namespace N { }
   namespace M = N;

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid, ice-
                   |                            |checking
   Last reconfirmed|2003-08-29 11:30:59         |2003-12-06 08:09:03
               date|                            |


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

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[dhazeghi at yahoo dot com]

------- Additional Comments From dhazeghi at yahoo dot com  2003-12-18 18:05 -------
Gaby, did the test case ever get committed? This bug is still ASSIGNED, but only to 
<unassigned@gcc.gnu.org> :-(

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gdr at integrable-solutions
                   |                            |dot net


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

[Bug c++/11762] namespace aliasing ICE in warn_extern_redeclared_static

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-02-11 17:04 -------


*** This bug has been marked as a duplicate of 16529 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |DUPLICATE
   Target Milestone|---                         |3.4.2


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