public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/16690] New: Segfault in verify_dominators
@ 2004-07-23 14:30 falk at debian dot org
2004-07-23 14:38 ` [Bug tree-optimization/16690] [lno] " pinskia at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: falk at debian dot org @ 2004-07-23 14:30 UTC (permalink / raw)
To: gcc-bugs
gcc version 3.5-tree-ssa-lno 20040719 (merged 20040718)
% cat /tmp/min1.c
struct GList {
struct GList *next;
};
void composite(struct GList *tmp, struct GList *frames,
int need_recomposite, int composited)
{
if (need_recomposite) {
while (tmp) {
if (composited)
break;
tmp = tmp->next;
}
if (tmp == 0)
tmp = frames;
while (tmp)
tmp = tmp->next;
}
}
% gdb ./gcc/cc1
GNU gdb 6.1-debian
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB. Type "show warranty" for details.
This GDB was configured as "alpha-linux"...Using host libthread_db library
"/lib/libthread_db.so.1".
(gdb) r -O /tmp/min1.c
Starting program: /src/gcc-lno-2004.07.19/build/gcc/cc1 -O /tmp/min1.c
composite
Program received signal SIGSEGV, Segmentation fault.
0x000000012018fc10 in verify_dominators (dir=CDI_DOMINATORS)
at ../../gcc/dominance.c:822
822 error ("dominator of %d should be %d, not %d",
(gdb) bt
#0 0x000000012018fc10 in verify_dominators (dir=CDI_DOMINATORS)
at ../../gcc/dominance.c:822
#1 0x0000000120082410 in tree_verify_flow_info () at ../../gcc/tree-cfg.c:3813
#2 0x000000012035fed8 in verify_flow_info () at ../../gcc/cfghooks.c:210
#3 0x000000012007d028 in cleanup_tree_cfg () at ../../gcc/tree-cfg.c:748
#4 0x0000000120186cb4 in copy_loop_headers ()
at ../../gcc/tree-ssa-loop-ch.c:219
#5 0x0000000120093524 in execute_pass_list (pass=0x1204f5970)
at ../../gcc/tree-optimize.c:464
#6 0x0000000120093584 in execute_pass_list (pass=0x1204f49a8)
at ../../gcc/tree-optimize.c:490
#7 0x0000000120093788 in tree_rest_of_compilation (fndecl=0x2000030c380,
nested_p=0 '\0') at ../../gcc/tree-optimize.c:565
#8 0x000000012001f4dc in c_expand_body (fndecl=0x2000030c380)
at ../../gcc/c-decl.c:6365
#9 0x0000000120388878 in cgraph_expand_function (node=0x2000030cb60)
at ../../gcc/cgraphunit.c:797
#10 0x0000000120388a1c in cgraph_assemble_pending_functions ()
at ../../gcc/cgraphunit.c:296
#11 0x00000001203891c4 in cgraph_finalize_function (decl=0x2000030c380,
nested=0 '\0') at ../../gcc/cgraphunit.c:377
#12 0x000000012001f730 in c_finalize (fndecl=0x2000030c380)
at ../../gcc/c-decl.c:6235
#13 0x000000012001fb50 in finish_function () at ../../gcc/c-decl.c:6337
#14 0x0000000120003cb8 in yyparse () at c-parse.y:366
#15 0x0000000120009a8c in c_parse_file () at c-parse.y:2932
#16 0x0000000120058648 in c_common_parse_file (set_yydebug=Variable set_yydebug"
is not available.
)
at ../../gcc/c-opts.c:1086
#17 0x000000012032fd18 in toplev_main (argc=Variable "argc" is not available.
) at ../../gcc/toplev.c:981
#18 0x00000001200702a8 in main (argc=Variable "argc" is not available.
) at ../../gcc/main.c:35
--
Summary: Segfault in verify_dominators
Product: gcc
Version: lno
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P2
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: falk at debian dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: alphaev68-unknown-linux-gnu
GCC host triplet: alphaev68-unknown-linux-gnu
GCC target triplet: alphaev68-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16690
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/16690] [lno] Segfault in verify_dominators
2004-07-23 14:30 [Bug tree-optimization/16690] New: Segfault in verify_dominators falk at debian dot org
@ 2004-07-23 14:38 ` pinskia at gcc dot gnu dot org
2004-07-28 21:23 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-07-23 14:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-07-23 14:38 -------
What this usually means is that someone forgets to update the dominators correctly or wrongly.
--
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |critical
Summary|Segfault in |[lno] Segfault in
|verify_dominators |verify_dominators
Target Milestone|--- |lno
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16690
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/16690] [lno] Segfault in verify_dominators
2004-07-23 14:30 [Bug tree-optimization/16690] New: Segfault in verify_dominators falk at debian dot org
2004-07-23 14:38 ` [Bug tree-optimization/16690] [lno] " pinskia at gcc dot gnu dot org
@ 2004-07-28 21:23 ` pinskia at gcc dot gnu dot org
2004-07-29 8:51 ` cvs-commit at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-07-28 21:23 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-07-28 21:23 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |rakdver at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-07-28 21:23:56
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16690
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/16690] [lno] Segfault in verify_dominators
2004-07-23 14:30 [Bug tree-optimization/16690] New: Segfault in verify_dominators falk at debian dot org
2004-07-23 14:38 ` [Bug tree-optimization/16690] [lno] " pinskia at gcc dot gnu dot org
2004-07-28 21:23 ` pinskia at gcc dot gnu dot org
@ 2004-07-29 8:51 ` cvs-commit at gcc dot gnu dot org
2004-07-29 8:56 ` rakdver at gcc dot gnu dot org
2004-07-29 9:00 ` falk at debian dot org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-07-29 8:51 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-07-29 08:51 -------
Subject: Bug 16690
CVSROOT: /cvs/gcc
Module name: gcc
Branch: lno-branch
Changes by: rakdver@gcc.gnu.org 2004-07-29 08:51:29
Modified files:
gcc : ChangeLog.lno cfgloop.c dominance.c
Log message:
PR tree-optimization/16690
* cfgloop.c (update_latch_info): Update dominator of the new block.
(canonicalize_loop_headers, flow_loops_find): Do not free dominance
info.
* dominance.c (verify_dominators): Check that the dominance tree is
connected.
(recount_dominator): Ignore unreachable blocks.
(iterate_fix_dominators): Cleanup old dominance information before
recomputing it.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.lno.diff?cvsroot=gcc&only_with_tag=lno-branch&r1=1.1.2.238&r2=1.1.2.239
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cfgloop.c.diff?cvsroot=gcc&only_with_tag=lno-branch&r1=1.14.2.12.2.7&r2=1.14.2.12.2.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/dominance.c.diff?cvsroot=gcc&only_with_tag=lno-branch&r1=1.10.2.11.2.6&r2=1.10.2.11.2.7
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16690
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/16690] [lno] Segfault in verify_dominators
2004-07-23 14:30 [Bug tree-optimization/16690] New: Segfault in verify_dominators falk at debian dot org
` (2 preceding siblings ...)
2004-07-29 8:51 ` cvs-commit at gcc dot gnu dot org
@ 2004-07-29 8:56 ` rakdver at gcc dot gnu dot org
2004-07-29 9:00 ` falk at debian dot org
4 siblings, 0 replies; 6+ messages in thread
From: rakdver at gcc dot gnu dot org @ 2004-07-29 8:56 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From rakdver at gcc dot gnu dot org 2004-07-29 08:56 -------
The problem was caused by a bug in iterate_fix_dominators. This patch fixes
it; the patch also contains some other improvements to dom computing, since I
noticed a similar bug when I was preparing patch with them for mainline (that
I will post soon).
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16690
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/16690] [lno] Segfault in verify_dominators
2004-07-23 14:30 [Bug tree-optimization/16690] New: Segfault in verify_dominators falk at debian dot org
` (3 preceding siblings ...)
2004-07-29 8:56 ` rakdver at gcc dot gnu dot org
@ 2004-07-29 9:00 ` falk at debian dot org
4 siblings, 0 replies; 6+ messages in thread
From: falk at debian dot org @ 2004-07-29 9:00 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From falk at debian dot org 2004-07-29 09:00 -------
Thanks. Can you please also commit the test case to the test suite?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16690
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2004-07-29 9:00 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-07-23 14:30 [Bug tree-optimization/16690] New: Segfault in verify_dominators falk at debian dot org
2004-07-23 14:38 ` [Bug tree-optimization/16690] [lno] " pinskia at gcc dot gnu dot org
2004-07-28 21:23 ` pinskia at gcc dot gnu dot org
2004-07-29 8:51 ` cvs-commit at gcc dot gnu dot org
2004-07-29 8:56 ` rakdver at gcc dot gnu dot org
2004-07-29 9:00 ` falk at debian dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).