[Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[laurent at guerby dot net]

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