On Fri, Aug 14, 2015 at 03:14:10PM +0200, Richard Biener wrote:
> On Fri, Aug 14, 2015 at 1:20 PM, Marek Polacek <pola...@redhat.com> wrote:
> > As outlined in the PR, this fixes one ICE. The code in question here
> > tries to determine whether OP can be derived as non-NULL. In case the
> > function has the nonnull attribute that applies to all the arguments,
> > we want to see whether OP is in this argument list. But nonnull only
> > appertains to pointers. Some ssa_names don't have a type so check for
> > that first instead of segv before looking at its tree code.
>
> Huh? All but released SSA names have a type. So this gets invoked on dead
> code
I suppose so. It gets
<ssa_name 0x7ffff1890948 nothrow var <var_decl 0x7ffff188df30 c>def_stmt
version 13 in-free-list>
(it didn't ICE before r209891 because the operand_equal_p check came first and
returned false so we didn't check the type).
Marek
