2012/1/26 Richard Guenther <[email protected]>: > On Wed, Jan 25, 2012 at 10:00 PM, Andrew Pinski <[email protected]> wrote: >> On Wed, Jan 25, 2012 at 12:58 PM, Richard Henderson <[email protected]> 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
