2012/1/26 Richard Guenther <richard.guent...@gmail.com>: > On Wed, Jan 25, 2012 at 10:00 PM, Andrew Pinski <pins...@gmail.com> wrote: >> On Wed, Jan 25, 2012 at 12:58 PM, Richard Henderson <r...@redhat.com> wrote: >>> On 01/26/2012 05:44 AM, Kai Tietz wrote: >>>> the following patch fixes a bootstrap issue for libjava (compile of >>>> verify.cc ICEs). It is caused by the assumption that a GIMPLE_COND >>>> lhs side has always a type. This isn't necessarily true, but it has >>>> by default boolean_type_node as type. >>> >>> A perfectly valid assumption. The Java front end must have forgotten >>> to set the type (to at least void_type_node). >> >> verify.cc is a C++ code so it is the C++ front-end. > > Still the assumption is perfectly valid - I suppose you simply got an SSA name > that is on the free list here for some reason? > > Richard.
Sorry for the noise. I have found the problem. It was self-made. Kai
