ivtmp problem in ACATS c85006e

[Steven Bosscher]

On Wednesday 19 January 2005 00:00, Richard Kenner wrote:
> I keep hoping this will go away, but it doesn't.
>
> Can somebody give me some suggestions as to how to debug it?
>
> c85006e.adb: In function 'C85006E':
> c85006e.adb:38: error: Definition in block 206 does not dominate use in
> block 1108 for SSA_NAME: D.3021_6076in statement:
> ivtmp.1749_80845 = &(*D.3022_6077)[5 ...]{lb: D.3021_6076 sz: 1}[5]{lb: 5 sz: 1\};

I would start by adding TODO_verify_ssa to pass_iv_optimize in 
ree-ssa-loop.c to catch it earlier, and then produce a smaller
test case (1108 basic blocks, wow!), preferably in C ;-)

Gr.
Steven