From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-212022-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 5601 invoked by alias); 4 Mar 2007 13:28:59 -0000
Received: (qmail 5559 invoked by uid 48); 4 Mar 2007 13:28:49 -0000
Date: Sun, 04 Mar 2007 13:28:00 -0000
Message-ID: <20070304132849.5558.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-31036-7210@http.gcc.gnu.org/bugzilla/>
Subject: [Bug ada/31036] ACATS:  verify_ssa failed  for c41307d c85006d cd10002 cxaa018
In-Reply-To: <bug-31036-7210@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "laurent at guerby dot net" <gcc-bugzilla@gcc.gnu.org>
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2007-03/txt/msg00220.txt.bz2



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