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. > Thanks, > Andrew Pinski
