Error in verify_ssa with loop-iv

[Richard Kenner]

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?