Curious verifier error

[Tom Tromey]

>>>>> "Nic" == Nic Ferrier <nferrier@tapsellferrier.co.uk> writes:

Nic>      if (someCondition && (one == someValue))

Nic> It made me think that maybe a compiler like GCJ should add
Nic> "dummy-mode" where things like equality checks are flagged at
Nic> compile time. GCC does similar things for C programmers doesn't
Nic> it?

GCC does do that for C.  I think it is quite helpful.  I'd be in favor
of adding similar processing to gcj.  Could you submit a PR asking for
this?  That way we'll at least remember it.

Tom