public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "laurent at guerby dot net" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018 Date: Sun, 04 Mar 2007 13:45:00 -0000 [thread overview] Message-ID: <20070304134508.9550.qmail@sourceware.org> (raw) In-Reply-To: <bug-31036-7210@http.gcc.gnu.org/bugzilla/> ------- Comment #3 from laurent at guerby dot net 2007-03-04 13:45 ------- Ooops wrong numbers, for c41307d (gdb) up #1 0x000000000091c5c8 in verify_use (bb=0x2abaa9552480, def_bb=0x2abaa9552d00, use_p=0x2abaa9591c38, stmt=0x2abaa9591c00, check_abnormal=0 '\0', names_defined_in_bb=0x0) at /home/guerby/work/gcc/version-head/gcc/tree-ssa.c:244 244 error ("definition in block %i does not dominate use in block %i", (gdb) p debug_bb_n(42) ;; basic block 42, loop depth 1, count 0 ;; prev block 41, next block 43 ;; pred: 48 [31.0%] (false,exec) ;; succ: 43 [100.0%] (fallthru,exec) <L20>:; # P_742 = VDEF <P_734> # FRAME.151_743 = VDEF <FRAME.151_735> # MPT.249_749 = VDEF <MPT.249_741> # SMT.268_1029 = VDEF <SMT.268_1027> # NMT.275_1244 = VDEF <NMT.275_1240> # NMT.276_1245 = VDEF <NMT.276_1241> # NMT.277_1246 = VDEF <NMT.277_1242> # SMT.287_1408 = VDEF <SMT.287_1407> { P FRAME.151 MPT.249 SMT.268 NMT.275 NMT.276 NMT.277 SMT.287 } report__ident_char (43); $1 = (struct basic_block_def *) 0x2abaa7b69580 (gdb) p debug_bb_n(43) ;; basic block 43, loop depth 1, count 0 ;; prev block 42, next block 44 ;; pred: 48 [69.0%] (true,exec) 42 [100.0%] (fallthru,exec) ;; succ: 44 [54.0%] (true,exec) 45 [46.0%] (false,exec) # SMT.287_1355 = PHI <SMT.287_1407(48), SMT.287_1408(42)> # SMT.282_1283 = PHI <SMT.282_1464(48), SMT.282_1464(42)> # NMT.277_181 = PHI <NMT.277_1242(48), NMT.277_1246(42)> # NMT.276_186 = PHI <NMT.276_1241(48), NMT.276_1245(42)> # NMT.275_150 = PHI <NMT.275_1240(48), NMT.275_1244(42)> # SMT.274_119 = PHI <SMT.274_1468(48), SMT.274_1468(42)> # SMT.269_926 = PHI <SMT.269_1469(48), SMT.269_1469(42)> # SMT.268_911 = PHI <SMT.268_1027(48), SMT.268_1029(42)> # MPT.249_263 = PHI <MPT.249_741(48), MPT.249_749(42)> # NMT.248_249 = PHI <NMT.248_740(48), NMT.248_748(42)> # NMT.247_235 = PHI <NMT.247_739(48), NMT.247_747(42)> # NMT.246_221 = PHI <NMT.246_738(48), NMT.246_746(42)> # FRAME.151_179 = PHI <FRAME.151_735(48), FRAME.151_743(42)> # P_165 = PHI <P_734(48), P_742(42)> lab1:; # P_750 = VDEF <P_165> # FRAME.151_751 = VDEF <FRAME.151_179> # MPT.249_757 = VDEF <MPT.249_263> # SMT.268_1031 = VDEF <SMT.268_911> # NMT.275_1248 = VDEF <NMT.275_150> # NMT.276_1249 = VDEF <NMT.276_186> # NMT.277_1250 = VDEF <NMT.277_181> # SMT.287_1409 = VDEF <SMT.287_1355> { P FRAME.151 MPT.249 SMT.268 NMT.275 NMT.276 NMT.277 SMT.287 } new_var_70 = report__ident_char (45); i_72 = i_809 + 1; ivtmp.289_1417 = ivtmp.289_1416 - 1; new_var_1415 = new_var_70; # P_758 = VDEF <P_750> # FRAME.151_759 = VDEF <FRAME.151_751> # MPT.249_765 = VDEF <MPT.249_757> # SMT.268_1033 = VDEF <SMT.268_1031> # NMT.275_1252 = VDEF <NMT.275_1248> # NMT.276_1253 = VDEF <NMT.276_1249> # NMT.277_1254 = VDEF <NMT.277_1250> # SMT.287_1410 = VDEF <SMT.287_1409> { P FRAME.151 MPT.249 SMT.268 NMT.275 NMT.276 NMT.277 SMT.287 } D.2805_73 = report__ident_char (45); if (new_var_1415 != D.2805_73) goto <L23>; else goto <L24>; $2 = (struct basic_block_def *) 0x2abaa7b69600 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036
next prev parent reply other threads:[~2007-03-04 13:45 UTC|newest] Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top 2007-03-04 13:14 [Bug ada/31036] New: " laurent at guerby dot net 2007-03-04 13:25 ` [Bug ada/31036] " laurent at guerby dot net 2007-03-04 13:28 ` laurent at guerby dot net 2007-03-04 13:45 ` laurent at guerby dot net [this message] 2007-03-04 17:39 ` [Bug tree-optimization/31036] [4.3 Regression] " pinskia at gcc dot gnu dot org 2007-03-04 18:26 ` laurent at guerby dot net 2007-03-04 18:37 ` dnovillo at gcc dot gnu dot org 2007-03-04 18:44 ` laurent at guerby dot net 2007-03-04 19:04 ` dnovillo at gcc dot gnu dot org 2007-03-04 19:07 ` pinskia at gcc dot gnu dot org 2007-06-09 8:40 ` [Bug tree-optimization/31036] [4.3 Regression] verify_ssa failure for ACATS " ebotcazou at gcc dot gnu dot org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20070304134508.9550.qmail@sourceware.org \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
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).