[Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed.

[Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed.

[green at redhat dot com]

for SSA_NAME: l_addr<D8610>_650
X-Bugzilla-Reason: CC

Compiling the soon-to-be-attached source with -O1 results in...

bug.i:9914: error: Definition in block 71 does not dominate use in block 51
for SSA_NAME: l_addr<D8343>_650
in statement:
#   l_addr<D8343>_243 = V_MAY_DEF <l_addr<D8343>_650>;
l_addr<D8343>.map<D4008> = l_addr$map<D8642>_637;
 
bug.i:9914: internal compiler error: verify_ssa failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE: internal compiler error: verify_ssa failed.
                    for SSA_NAME: l_addr<D8610>_650
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: green at redhat dot com
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: frv-elf


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

[Bug tree-optimization/17051] ICE: internal compiler error: verify_ssa failed.

[green at redhat dot com]

for SSA_NAME: l_addr<D8610>_650
X-Bugzilla-Reason: CC


------- Additional Comments From green at redhat dot com  2004-08-16 19:06 -------
Created an attachment (id=6943)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6943&action=view)
Preprocessed source to reproduce bug (from glibc sources)


-- 


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|ICE: internal compiler      |[3.5 Regression] ICE:
                   |error: verify_ssa failed.   |internal compiler error:
                   |for SSA_NAME:               |verify_ssa failed.for
                   |l_addr<D8610>_650           |SSA_NAME: l_addr<D8610>_650
   Target Milestone|---                         |3.5.0


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-16 21:51 -------
frv-elf does not bootstrap for me:
gcc -c   -g -DIN_GCC -DCROSS_COMPILE  -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-
prototypes  -fno-common   -DHAVE_CONFIG_H    -I. -I. -I../../gcc -I../../gcc/. -I../../gcc/../include -
I../../gcc/../libcpp/include -I../../gcc/../libbanshee/libcompat -I../../gcc/../libbanshee -I../../gcc/../
libbanshee/points-to  \
        ../../gcc/config/frv/frv.c -o frv.o
../../gcc/config/frv/frv.c:340: error: parse error before ';' token
../../gcc/config/frv/frv.c:6582: warning: no previous prototype for `frv_ifcvt_init_extra_fields'
../../gcc/config/frv/frv.c:6626: warning: no previous prototype for `frv_ifcvt_modify_tests'
../../gcc/config/frv/frv.c:6983: warning: no previous prototype for `frv_ifcvt_modify_multiple_tests'
../../gcc/config/frv/frv.c:7276: warning: no previous prototype for `frv_ifcvt_modify_insn'
../../gcc/config/frv/frv.c:7524: warning: no previous prototype for `frv_ifcvt_modify_final'
../../gcc/config/frv/frv.c:7580: warning: no previous prototype for `frv_ifcvt_modify_cancel'
make: *** [frv.o] Error 1

I have a fix for that error.


-- 


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-17 00:39 -------
Confirmed, reduced to this:
typedef int int16_t __attribute__ ((__mode__ (__HI__)));
typedef int int32_t __attribute__ ((__mode__ (__SI__)));
typedef unsigned int u_int16_t __attribute__ ((__mode__ (__HI__)));
typedef unsigned short int uint16_t;
typedef unsigned int uint32_t;
typedef uint16_t Elf32_Half;
typedef uint32_t Elf32_Word;
typedef int32_t Elf32_Sword;
typedef uint32_t Elf32_Addr;

typedef uint16_t Elf32_Section;

typedef struct
{
  Elf32_Word st_name;
  Elf32_Addr st_value;
  Elf32_Word st_size;
  unsigned char st_info;
  unsigned char st_other;
  Elf32_Section st_shndx;
} Elf32_Sym;
typedef struct
{
  Elf32_Addr r_offset;
  Elf32_Word r_info;
} Elf32_Rel;
typedef struct
{
  Elf32_Sword d_tag;
  union
    {
      Elf32_Word d_val;
      Elf32_Addr d_ptr;
    } d_un;
} Elf32_Dyn;
struct link_map;
struct elf32_fdpic_loadseg
{
  Elf32_Addr addr;
  Elf32_Addr p_vaddr;
  Elf32_Word p_memsz;
};

struct elf32_fdpic_loadaddr {
  struct elf32_fdpic_loadmap *map;
  void *got_value;
};
struct link_map
  {
    struct elf32_fdpic_loadaddr l_addr; 
    Elf32_Dyn *l_info[1];
    struct r_found_version *l_versions;
};

struct r_found_version { const char *name; };
extern struct link_map _dl_rtld_map;

void 
elf_dynamic_do_rel (struct link_map *map,
      Elf32_Addr reladdr, Elf32_Addr relsize,
      int lazy)
{
  const Elf32_Rel *r = (const void *) reladdr;
  const Elf32_Rel *end = (const void *) (reladdr + relsize);
  struct elf32_fdpic_loadaddr l_addr = map->l_addr;
  
  if (lazy)
    elf_machine_lazy_rel (l_addr);
  else
  {
    const Elf32_Sym *const symtab = (const void *) (((Elf32_Addr)
						     (__reloc_pointer ((void*)((map->l_info[6]->d_un.d_ptr)),
								       ((map->l_addr)).map))));
    Elf32_Word nrelative = (map->l_info[(34 + 0 + (0x6fffffff - (0x6ffffffa)))] == ((void *)0)
			    ? 0 : map->l_info[(34 + 0 + (0x6fffffff - (0x6ffffffa)))]->d_un.d_val);
    const Elf32_Rel *relative = r;
    r = r + (((nrelative)<(relsize / sizeof (Elf32_Rel)))?(nrelative):(relsize / sizeof (Elf32_Rel)));
    if (map != &_dl_rtld_map)
      elf_machine_rel_relative (l_addr, relative, (void *) ((Elf32_Addr) (__reloc_pointer ((void*)((relative 
->r_offset)), ((l_addr)).map))));
    const Elf32_Half *const version = (const void *) (((Elf32_Addr)
						       (__reloc_pointer ((void*)((map->l_info[(34 + 0 + (0x6fffffff - 
(0x6ffffff0)))]->d_un.d_ptr)),((map->l_addr)).map))));
    Elf32_Half ndx = version[((r->r_info) >> 8)] & 0x7fff;
    elf_machine_rel (map, r, &symtab[((r->r_info) >> 8)],
		     &map->l_versions[ndx],
		     (void *) ((Elf32_Addr) (__reloc_pointer ((void*)((r->r_offset)), ((l_addr)).map))));
  }
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
 GCC target triplet|frv-elf                     |
   Last reconfirmed|0000-00-00 00:00:00         |2004-08-17 00:39:30
               date|                            |


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-17 03:04 -------
: Search converges between 2004-08-11-trunk (#510) and 2004-08-12-trunk (#511).



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amacleod at redhat dot com


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-17 03:26 -------
Note I think this is caused by:
2004-08-11  Andrew MacLeod  <amacleod@redhat.com>

        * tree-flow-inline.h (get_def_ops, get_use_ops, get_v_may_def_ops,
        get_vuse_ops,get_v_must_def_ops): Add operand structure reference.
        (get_v_may_def_result_ptr, get_v_may_def_op_ptr): New access struct.
        (start_ssa_stmt_operands): Delete.
        ....

-- 


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[green at redhat dot com]

------- Additional Comments From green at redhat dot com  2004-08-17 13:55 -------
pinskia: Thanks for producing the smaller test case and identifying the problem
patch!



-- 


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-08-17 14:18 -------
Here's an even shorter testcase:

====================================
struct A
{
  void *p;
  char c;
};

void foo(struct A *q, int i)
{
  struct A a = *q;

  if (i)
    bar1(a);
  else
  {
    if (q) bar2(a,a.p);
    bar3(q,a.p);
  }
}
====================================

With this testcase the regression tester gives an earlier point of failure:
: Search converges between 2004-06-29-trunk (#475) and 2004-06-30-trunk (#476).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |critical
           Keywords|                            |monitored


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-17 15:01 -------
Looking into the patches which came in during the time which reichelt's testcase was broken I find this 
patch:
2004-06-29  Richard Henderson  <rth@redhat.com>
        
        * tree-sra.c: Rewrite from scratch.  Handle nested aggregates.

which is almost likely the patch which broke the testcase.

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


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-08-17 15:36 -------
Andrew's guess seems correct. The regression appears with your patch, Richard:
http://gcc.gnu.org/ml/gcc-cvs/2004-06/msg01253.html

Btw, here's an even shorter testcase.
Note that A.d isn't used at all. But removing it causes the test to pass.

=================================
struct A
{
    char c, d;
};

void foo(struct A *p)
{
    struct A a = *p;

    if (p->c)
        bar1(a);
    else
    {
        if (p) bar2(a,a.c);
        bar3(a.c);
    }
}
=================================


-- 


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2004-08-17 18:10 -------
Mine.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|rth at gcc dot gnu dot org  |
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-08-17 23:33 -------
Subject: Bug 17051

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rth@gcc.gnu.org	2004-08-17 23:33:46

Modified files:
	gcc            : ChangeLog tree-sra.c 
Added files:
	gcc/testsuite/gcc.c-torture/compile: 20040817-1.c 

Log message:
	PR 17051
	* tree-sra.c (scalarize_use): Mark all v_defs for !is_output too.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.4945&r2=2.4946
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-sra.c.diff?cvsroot=gcc&r1=2.23&r2=2.24
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/20040817-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2004-08-17 23:42 -------
Fixed.

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


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