* [Bug tree-optimization/17051] ICE: internal compiler error: verify_ssa failed.
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
@ 2004-08-16 19:06 ` green at redhat dot com
2004-08-16 21:19 ` [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
` (11 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: green at redhat dot com @ 2004-08-16 19:06 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
2004-08-16 19:06 ` [Bug tree-optimization/17051] " green at redhat dot com
@ 2004-08-16 21:19 ` pinskia at gcc dot gnu dot org
2004-08-16 21:51 ` pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-16 21:19 UTC (permalink / raw)
To: gcc-bugs
--
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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
2004-08-16 19:06 ` [Bug tree-optimization/17051] " green at redhat dot com
2004-08-16 21:19 ` [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
@ 2004-08-16 21:51 ` pinskia at gcc dot gnu dot org
2004-08-17 0:39 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-16 21:51 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (2 preceding siblings ...)
2004-08-16 21:51 ` pinskia at gcc dot gnu dot org
@ 2004-08-17 0:39 ` pinskia at gcc dot gnu dot org
2004-08-17 3:04 ` pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-17 0:39 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (3 preceding siblings ...)
2004-08-17 0:39 ` pinskia at gcc dot gnu dot org
@ 2004-08-17 3:04 ` pinskia at gcc dot gnu dot org
2004-08-17 3:26 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-17 3:04 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (4 preceding siblings ...)
2004-08-17 3:04 ` pinskia at gcc dot gnu dot org
@ 2004-08-17 3:26 ` pinskia at gcc dot gnu dot org
2004-08-17 13:55 ` green at redhat dot com
` (6 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-17 3:26 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (5 preceding siblings ...)
2004-08-17 3:26 ` pinskia at gcc dot gnu dot org
@ 2004-08-17 13:55 ` green at redhat dot com
2004-08-17 14:18 ` reichelt at gcc dot gnu dot org
` (5 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: green at redhat dot com @ 2004-08-17 13:55 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (6 preceding siblings ...)
2004-08-17 13:55 ` green at redhat dot com
@ 2004-08-17 14:18 ` reichelt at gcc dot gnu dot org
2004-08-17 15:01 ` pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-08-17 14:18 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (7 preceding siblings ...)
2004-08-17 14:18 ` reichelt at gcc dot gnu dot org
@ 2004-08-17 15:01 ` pinskia at gcc dot gnu dot org
2004-08-17 15:36 ` reichelt at gcc dot gnu dot org
` (3 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-17 15:01 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (8 preceding siblings ...)
2004-08-17 15:01 ` pinskia at gcc dot gnu dot org
@ 2004-08-17 15:36 ` reichelt at gcc dot gnu dot org
2004-08-17 18:10 ` rth at gcc dot gnu dot org
` (2 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-08-17 15:36 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (9 preceding siblings ...)
2004-08-17 15:36 ` reichelt at gcc dot gnu dot org
@ 2004-08-17 18:10 ` rth at gcc dot gnu dot org
2004-08-17 23:33 ` cvs-commit at gcc dot gnu dot org
2004-08-17 23:42 ` rth at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: rth at gcc dot gnu dot org @ 2004-08-17 18:10 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (10 preceding siblings ...)
2004-08-17 18:10 ` rth at gcc dot gnu dot org
@ 2004-08-17 23:33 ` cvs-commit at gcc dot gnu dot org
2004-08-17 23:42 ` rth at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-08-17 23:33 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17051] [3.5 Regression] ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650
2004-08-16 19:04 [Bug tree-optimization/17051] New: ICE: internal compiler error: verify_ssa failed green at redhat dot com
` (11 preceding siblings ...)
2004-08-17 23:33 ` cvs-commit at gcc dot gnu dot org
@ 2004-08-17 23:42 ` rth at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: rth at gcc dot gnu dot org @ 2004-08-17 23:42 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 14+ messages in thread