This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Error in verify_ssa with loop-iv
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: gcc at gcc dot gnu dot org
- Date: Tue, 30 Nov 04 09:58:15 EST
- Subject: Error in verify_ssa with loop-iv
When I now run the ACATS test c85006e, I get:
c85006e.adb: In function 'C85006E':
c85006e.adb:38: error: Definition in block 197 does not dominate use in block 1\
102
for SSA_NAME: D.2700_6011in statement:
ivtmp.1760_87218 = &(*D.2701_6012)[5 ...]{lb: D.2700_6011 sz: 1}[5]{lb: 5 sz: 1\
};
I'm not sure whether the error here is that this shouldn't be an invariant
or that some dominator update needs to be done.
I don't think this is reproducable with the checked-in tree, since I have
some changes to Ada files to fix other ACATS tests that I'm testing.
Any suggestions as to where I should look?