[Bug middle-end/67133] [6 Regression] ICE at -Os and above on x86_64-linux-gnu in gimple_op, at gimple.h:2274

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67133

--- Comment #24 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Manuel López-Ibáñez from comment #23)

> And what would happen if the nonnull attribute refers to a different
> argument that still satisfies the check? For example, fntype may have more
> arguments than the call and the one marked as nonnull may still satisfy the
> check, yet not be the actual argument that was marked as nonnull.

Then operand_equal_p would return false.