This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/22332] ACATS ICE c34005f c34005i c34005l c34005o calc_dfs_tree, at dominance.c:376
- From: "laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 6 Jul 2005 22:51:52 -0000
- Subject: [Bug ada/22332] ACATS ICE c34005f c34005i c34005l c34005o calc_dfs_tree, at dominance.c:376
- References: <20050706224546.22332.laurent@guerby.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From laurent at guerby dot net 2005-07-06 22:51 -------
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050706 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in calc_dfs_tree, at dominance.c:376 |
| Error detected at c34005f.adb:195:5 |
===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050706 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in calc_dfs_tree, at dominance.c:376 |
| Error detected at c34005i.adb:195:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050706 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in calc_dfs_tree, at dominance.c:376 |
| Error detected at c34005l.adb:195:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050706 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| in calc_dfs_tree, at dominance.c:376 |
| Error detected at c34005l.adb:195:5 |
backtrace
#0 internal_error (gmsgid=0xab6503 "in %s, at %s:%d") at
/home/guerby/work/gcc/version-head/gcc/diagnostic.c:530
#1 0x00000000006ed34c in fancy_abort (file=Variable "file" is not available.)
at /home/guerby/work/gcc/version-head/gcc/diagnostic.c:590
#2 0x00000000006f1a7b in calculate_dominance_info (dir=dwarf2_read_address:
Corrupted DWARF expression.) at
/home/guerby/work/gcc/version-head/gcc/dominance.c:376
#3 0x0000000000666465 in update_ssa (update_flags=256) at
/home/guerby/work/gcc/version-head/gcc/tree-into-ssa.c:2632
#4 0x0000000000910a2a in execute_todo (pass=0xcc7460, flags=303,
use_required=Variable "use_required" is not available.) at
/home/guerby/work/gcc/version-head/gcc/passes.c:672
#5 0x0000000000910d5a in execute_one_pass (pass=0xcc7460) at
/home/guerby/work/gcc/version-head/gcc/passes.c:786
(gdb) p *pass
$1 = {name = 0xb61409 "cddce", gate = 0x985c50 <gate_dce>, execute = 0x9882d0
<tree_ssa_cd_dce>, sub = 0x0, next = 0xcc6500, static_pass_number = 79, tv_id =
48, properties_required = 732,
properties_provided = 732, properties_destroyed = 0, todo_flags_start = 0,
todo_flags_finish = 303, letter = 0 '\0'}
May be due to:
2005-07-06 Jeff Law <law@redhat.com>
* tree-ssa-dce.c (cfg_altered): New global.
(tree_dce_init): Initialize cfg_altered.
(remove_dead_stmt): If we remove an edge in the CFG, then set
CFG_ALTERED.
(perform_tree_ssa_dce): If we altered the CFG, then invalidate
the dominators.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu dot org
Keywords| |ice-on-valid-code
Summary|ACAT |ACATS ICE c34005f c34005i
| |c34005l c34005o
| |calc_dfs_tree, at
| |dominance.c:376
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22332