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:28:00 -0000	[thread overview]
Message-ID: <20070304132849.5558.qmail@sourceware.org> (raw)
In-Reply-To: <bug-31036-7210@http.gcc.gnu.org/bugzilla/>



------- Comment #2 from laurent at guerby dot net  2007-03-04 13:28 -------
(gdb)  debug_bb_n (5)
Undefined command: "debug_bb_n".  Try "help".
(gdb) p debug_bb_n (5)
;; basic block 5, loop depth 0, count 0
;; prev block 4, next block 6
;; pred:       4 [31.0%]  (true,exec)
;; succ:       6 [100.0%]  (fallthru,exec)
<L2>:;
D.2751_21 = (character[(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->LB0:(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->UB0] *) "INCORRECT RESULTS FROM EXPANDED NAME - 2";
# D.2749_363 = VDEF <D.2749_362(D)> { D.2749 }
D.2749.P_ARRAY = D.2751_21;
# D.2749_364 = VDEF <D.2749_363> { D.2749 }
D.2749.P_BOUNDS = &C.76;
# VUSE <D.2749_364> { D.2749 }
# P_365 = VDEF <P_354>
# FRAME.151_366 = VDEF <FRAME.151_355>
# MPT.249_372 = VDEF <MPT.249_361>
# SMT.268_951 = VDEF <SMT.268_949>
# NMT.275_1088 = VDEF <NMT.275_1084>
# NMT.276_1089 = VDEF <NMT.276_1085>
# NMT.277_1090 = VDEF <NMT.277_1086>
# SMT.287_1369 = VDEF <SMT.287_1368> { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__failed (D.2749);

$1 = (struct basic_block_def *) 0x2b3f2c5d3600
(gdb) p debug_bb_n (3)
;; basic block 3, loop depth 0, count 0
;; prev block 2, next block 4
;; pred:       2 [31.0%]  (true,exec)
;; succ:       4 [100.0%]  (fallthru,exec)
<L0>:;
D.2740_11 = (character[(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->LB0:(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->UB0] *) "INCORRECT RESULTS FROM EXPANDED NAME - 1";
# D.2738_328 = VDEF <D.2738_327(D)> { D.2738 }
D.2738.P_ARRAY = D.2740_11;
# D.2738_329 = VDEF <D.2738_328> { D.2738 }
D.2738.P_BOUNDS = &C.75;
# VUSE <D.2738_329> { D.2738 }
# P_330 = VDEF <P_319>
# FRAME.151_331 = VDEF <FRAME.151_320>
# MPT.249_337 = VDEF <MPT.249_326>
# SMT.268_943 = VDEF <SMT.268_941>
# NMT.275_1072 = VDEF <NMT.275_1068>
# NMT.276_1073 = VDEF <NMT.276_1069>
# NMT.277_1074 = VDEF <NMT.277_1070>
# SMT.287_1365 = VDEF <SMT.287_1364> { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__failed (D.2738);

$2 = (struct basic_block_def *) 0x2b3f2c5d3500


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036


  parent reply	other threads:[~2007-03-04 13:28 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 [this message]
2007-03-04 13:45 ` laurent at guerby dot net
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=20070304132849.5558.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: link
Be 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).