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).