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

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

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