[Bug tree-optimization/29585] New: [4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[Bug tree-optimization/29585] New: [4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[tbm at cyrius dot com]

This didn't happen with 4.2 20061015.  It happens with mainline but I cannot
check the 4.2 branch right now.

(sid)978:tbm@coconut: ~] /usr/lib/gcc-snapshot/bin/gcc -c pasmo-asm.cc
pasmo-asm.cc:77: warning: 'Asm::In' has a field 'Asm::In::nullout' whose type
uses the anonymous namespace
(sid)979:tbm@coconut: ~] /usr/lib/gcc-snapshot/bin/gcc -c -O pasmo-asm.cc
pasmo-asm.cc:77: warning: 'Asm::In' has a field 'Asm::In::nullout' whose type
uses the anonymous namespace
pasmo-asm.cc: In constructor '<unnamed>::Nullostream::Nullostream()':
pasmo-asm.cc:64: internal compiler error: tree check: expected ssa_name, have
var_decl in is_old_name, at tree-into-ssa.c:558
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.3 Regression] tree check: expected ssa_name, have
                    var_decl in is_old_name, at tree-into-ssa.c:558
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug tree-optimization/29585] [4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2006-10-24 19:12 -------
Created an attachment (id=12487)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12487&action=view)
testcase


-- 


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

[Bug tree-optimization/29585] [4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-10-25 04:55 -------
Here is a more reduced (and cleaned up) testcase:

class ios_base{};
struct basic_ostream : virtual ios_base{};
namespace
{
  struct Nullostream : basic_ostream{};
}
class  In
{
  In ();
  Nullostream  nullout;
};
In::In (){}

This is an interaction between aliasing and anonymous namespaces.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |blocker
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
            Summary|[4.3 Regression] tree check:|[4.2/4.3 Regression] tree
                   |expected ssa_name, have     |check: expected ssa_name,
                   |var_decl in is_old_name, at |have var_decl in
                   |tree-into-ssa.c:558         |is_old_name, at tree-into-
                   |                            |ssa.c:558
   Target Milestone|4.3.0                       |4.2.0


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

[Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-10-25 05:09 -------
Confirmed.


-- 

pinskia 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-10-25 05:09:36
               date|                            |


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

[Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-10-25 05:22 -------
_ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream

#   _ZTI13basic_ostream = V_MAY_DEF <_ZTI13basic_ostream_16>;
#   _ZTIN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE = V_MAY_DEF
<_ZTIN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE_17>;
#   _ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream =
V_MAY_DEF
<_ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream>;
#   _ZTSN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE = V_MAY_DEF
<_ZTSN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE>;
#   _ZTVN10__cxxabiv120__si_class_type_infoE = V_MAY_DEF
<_ZTVN10__cxxabiv120__si_class_type_infoE>;
#   _ZTI8ios_base = V_MAY_DEF <_ZTI8ios_base>;
#   _ZTS13basic_ostream = V_MAY_DEF <_ZTS13basic_ostream>;
#   _ZTVN10__cxxabiv121__vmi_class_type_infoE = V_MAY_DEF
<_ZTVN10__cxxabiv121__vmi_class_type_infoE>;
#   _ZTS8ios_base = V_MAY_DEF <_ZTS8ios_base>;
#   _ZTVN10__cxxabiv117__class_type_infoE = V_MAY_DEF
<_ZTVN10__cxxabiv117__class_type_infoE>;
#   SFT.5 = V_MAY_DEF <SFT.5>;
#   SFT.6 = V_MAY_DEF <SFT.6>;
#   SFT.7 = V_MAY_DEF <SFT.7>;
#   SFT.8 = V_MAY_DEF <SFT.8>;
#   SFT.9 = V_MAY_DEF <SFT.9>;
#   NONLOCAL.15 = V_MAY_DEF <NONLOCAL.15>;
this_9->_vptr.basic_ostream = iftmp.1_13;


-- 


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

Re: [Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[Daniel Berlin]

On 25 Oct 2006 05:23:00 -0000, pinskia at gcc dot gnu dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
>
>
> ------- Comment #4 from pinskia at gcc dot gnu dot org  2006-10-25 05:22 -------
> _ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream
>
> #   _ZTI13basic_ostream = V_MAY_DEF <_ZTI13basic_ostream_16>;
> #   _ZTIN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE = V_MAY_DEF
> <_ZTIN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE_17>;
> #   _ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream =
> V_MAY_DEF
> <_ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream>;
> #   _ZTSN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE = V_MAY_DEF
> <_ZTSN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE>;
> #   _ZTVN10__cxxabiv120__si_class_type_infoE = V_MAY_DEF
> <_ZTVN10__cxxabiv120__si_class_type_infoE>;
> #   _ZTI8ios_base = V_MAY_DEF <_ZTI8ios_base>;
> #   _ZTS13basic_ostream = V_MAY_DEF <_ZTS13basic_ostream>;
> #   _ZTVN10__cxxabiv121__vmi_class_type_infoE = V_MAY_DEF
> <_ZTVN10__cxxabiv121__vmi_class_type_infoE>;
> #   _ZTS8ios_base = V_MAY_DEF <_ZTS8ios_base>;
> #   _ZTVN10__cxxabiv117__class_type_infoE = V_MAY_DEF
> <_ZTVN10__cxxabiv117__class_type_infoE>;
> #   SFT.5 = V_MAY_DEF <SFT.5>;
> #   SFT.6 = V_MAY_DEF <SFT.6>;
> #   SFT.7 = V_MAY_DEF <SFT.7>;
> #   SFT.8 = V_MAY_DEF <SFT.8>;
> #   SFT.9 = V_MAY_DEF <SFT.9>;
> #   NONLOCAL.15 = V_MAY_DEF <NONLOCAL.15>;
> this_9->_vptr.basic_ostream = iftmp.1_13;
>
>

Uh, this is pretty weird.
*all* of these should have been marked for renaming, not just NONLOCAL.

[Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[dberlin at dberlin dot org]

------- Comment #5 from dberlin at gcc dot gnu dot org  2006-10-25 12:12 -------
Subject: Re:  [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl
in is_old_name, at tree-into-ssa.c:558

On 25 Oct 2006 05:23:00 -0000, pinskia at gcc dot gnu dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
>
>
> ------- Comment #4 from pinskia at gcc dot gnu dot org  2006-10-25 05:22 -------
> _ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream
>
> #   _ZTI13basic_ostream = V_MAY_DEF <_ZTI13basic_ostream_16>;
> #   _ZTIN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE = V_MAY_DEF
> <_ZTIN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE_17>;
> #   _ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream =
> V_MAY_DEF
> <_ZTCN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE0_13basic_ostream>;
> #   _ZTSN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE = V_MAY_DEF
> <_ZTSN33_GLOBAL__N_t.cc_00000000_2292CFAC11NullostreamE>;
> #   _ZTVN10__cxxabiv120__si_class_type_infoE = V_MAY_DEF
> <_ZTVN10__cxxabiv120__si_class_type_infoE>;
> #   _ZTI8ios_base = V_MAY_DEF <_ZTI8ios_base>;
> #   _ZTS13basic_ostream = V_MAY_DEF <_ZTS13basic_ostream>;
> #   _ZTVN10__cxxabiv121__vmi_class_type_infoE = V_MAY_DEF
> <_ZTVN10__cxxabiv121__vmi_class_type_infoE>;
> #   _ZTS8ios_base = V_MAY_DEF <_ZTS8ios_base>;
> #   _ZTVN10__cxxabiv117__class_type_infoE = V_MAY_DEF
> <_ZTVN10__cxxabiv117__class_type_infoE>;
> #   SFT.5 = V_MAY_DEF <SFT.5>;
> #   SFT.6 = V_MAY_DEF <SFT.6>;
> #   SFT.7 = V_MAY_DEF <SFT.7>;
> #   SFT.8 = V_MAY_DEF <SFT.8>;
> #   SFT.9 = V_MAY_DEF <SFT.9>;
> #   NONLOCAL.15 = V_MAY_DEF <NONLOCAL.15>;
> this_9->_vptr.basic_ostream = iftmp.1_13;
>
>

Uh, this is pretty weird.
*all* of these should have been marked for renaming, not just NONLOCAL.


-- 


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

[Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2006-11-20 16:21 -------
*** Bug 29908 has been marked as a duplicate of this bug. ***


-- 


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

[Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-11-20 17:20 -------
Here is another reduced testcase:
struct iunknown
{
 virtual ~iunknown() {}
};
class ifile_format : virtual iunknown{};
namespace {
struct imagemagick_reader : ifile_format{};
}
void
imagemagick_reader_factory()
{
    imagemagick_reader a;
}


-- 


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

[Bug tree-optimization/29585] [4.2/4.3 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-11-25 10:11 -------
symbol_marked_for_renaming is returning false.
Symbols to be put in SSA form

_ZTI13basic_ostream _ZTIN12_GLOBAL__N_111NullostreamE
_ZTSN12_GLOBAL__N_111NullostreamE _ZTVN10__cxxabiv120__si_class_type_infoE
_ZTI8ios_base _ZTS13basic_ostream _ZTVN10__cxxabiv121__vmi_class_type_infoE
_ZTS8ios_base _ZTVN10__cxxabiv117__class_type_infoE SFT.5 SFT.6 SFT.7 SFT.8
SFT.9 NONLOCAL.15 SMT.16 NMT.17 NMT.18

(gdb) p debug_generic_expr (name)
_ZTCN12_GLOBAL__N_111NullostreamE0_13basic_ostreamD.2726


I think the loop in setup_pointers_and_addressables is where the problem is. 
Still looking into it some more.


-- 


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2006-12-28 23:50 -------
*** Bug 30316 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |deji_aking at yahoo dot ca


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2007-02-01 16:46 -------
The testcase in comment #2 works for me on the 4.2 branch now, but the one in
comment #7 fails with

> ./cc1plus -quiet t.ii  -O
t.ii: In destructor
'virtual<unnamed>::imagemagick_reader::~imagemagick_reader()':
t.ii:7: internal compiler error: in set_lattice_value, at tree-ssa-ccp.c:434
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[tbm at cyrius dot com]

------- Comment #11 from tbm at cyrius dot com  2007-02-05 09:55 -------
(In reply to comment #10)
> The testcase in comment #2 works for me on the 4.2 branch now, but the one in
> comment #7 fails with
> > t.ii:7: internal compiler error: in set_lattice_value, at tree-ssa-ccp.c:434

Yeah, I mentioned this problem in PR29908 already and Pinski closed it as a
duplicate of this bug.  PR29908 has another testcase from Andrew and some
comments.


-- 


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2007-02-19 13:07 -------
This is similar to PR30840 on the mainline - evaluate_stmt does not care about
us possibly going up the lattice (in this case from VARYING to CONSTANT).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |30840


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[dnovillo at gcc dot gnu dot org]

-- 

dnovillo at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|dnovillo at redhat dot com  |
         AssignedTo|unassigned at gcc dot gnu   |dnovillo at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-10-25 05:09:36         |2007-03-13 16:16:05
               date|                            |


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[dnovillo at gcc dot gnu dot org]

------- Comment #13 from dnovillo at gcc dot gnu dot org  2007-03-29 19:55 -------

I can't reproduce this on mainline anymore.  It does fail on the 4.2 branch.


-- 


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[dnovillo at gcc dot gnu dot org]

------- Comment #14 from dnovillo at gcc dot gnu dot org  2007-03-31 19:22 -------
Subject: Bug 29585

Author: dnovillo
Date: Sat Mar 31 19:21:46 2007
New Revision: 123386

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123386
Log:
2007-03-31  Diego Novillo  <dnovillo@redhat.com>
            Mark Mitchell  <mark@codesourcery.com>

        PR 29585
        * class.c (dfs_accumulate_vtbl_inits): Use build_address
        to build the vtbl entry.

testsuite/ChangeLog

        PR 29585
        * g++.dg/tree-ssa/pr29585.C: New test.


Added:
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/tree-ssa/pr29585.C
Modified:
    branches/gcc-4_2-branch/gcc/cp/ChangeLog
    branches/gcc-4_2-branch/gcc/cp/class.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[dnovillo at gcc dot gnu dot org]

------- Comment #15 from dnovillo at gcc dot gnu dot org  2007-03-31 19:28 -------

Fixed.  http://gcc.gnu.org/ml/gcc-patches/2007-03/msg02059.html


-- 

dnovillo at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[mrs at apple dot com]

------- Comment #16 from mrs at apple dot com  2007-04-05 02:52 -------
I think this patch breaks:

  FAIL: g++.old-deja/g++.mike/p4736b.C (internal compiler error)
  FAIL: g++.old-deja/g++.mike/p4736b.C (test for excess errors)

on powerpc-apple-darwin:

/Volumes/mrs3/net/gcc-4.2-fsf/gcc/gcc/testsuite/g++.old-deja/g++.mike/p4736b.C:
In function 'i
nt main()':
/Volumes/mrs3/net/gcc-4.2-fsf/gcc/gcc/testsuite/g++.old-deja/g++.mike/p4736b.C:41:
internal co
mpiler error: in convert_memory_address, at explow.c:319

:-(

radr://5107167


-- 


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

[Bug tree-optimization/29585] [4.2 Regression] tree check: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:558

[mrs at apple dot com]

------- Comment #17 from mrs at apple dot com  2007-04-13 03:09 -------
The followup problem has now been fixed in 4.2.


-- 

mrs at apple dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|mrs at apple dot com        |


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