Re: java/io/natFile.cc:106: internal compiler error: verify_ssa failed.

[Graham Stott <graham dot stott at btinternet dot com>]

Diego Novillo wrote:
> On Sun, 2004-09-05 at 10:30, Graham Stott wrote:
>
>
> > java/io/natFile.cc: In member function `virtual java::lang::String* java::io::File::getCanonicalPath()':
> > java/io/natFile.cc:106: error: Definition in block 34 does not dominate use in block 9
> > for SSA_NAME: T.1719<D12968>_164
> > in statement:
> > T.1731<D12980>_179 = buf<D12297>_27 + T.1719<D12968>_164;
> >
> > java/io/natFile.cc:106: internal compiler error: verify_ssa failed.
>
> I don't even get that far.  libjava fails in
> add_standard_iv_candidates.  See
> http://gcc.gnu.org/ml/gcc-patches/2004-09/msg00523.html
I'm not sure how my bootstrap manages to get passed that failure.

> Can you reproduce this with -fno-ivopts?
I'll see what happens
> This is typically the result of a motion pass that didn't check
> everything it had to check.  To discover it,
>
> - Set a breakpoint at the verifier's
> - See which pass is triggering it (go up a few stack frames)
> - Diff pass - 1 and pass and grep for T.1719_164
>
> Diego.

Graham