On Thu, Mar 03, 2016 at 01:56:05PM +0100, Marc Glisse wrote:
> On Thu, 3 Mar 2016, Marek Polacek wrote:
>
> >We crashed on the attached testcase because we were trying to apply the
> >X % -Y -> X % Y transformation even on vectors. That doesn't go well with
> >the
> >check for !TYPE_UNSIGNED. So I think let's limit the pattern to only work on
> >integral types.
>
> I certainly hope the problem is not with TYPE_UNSIGNED, I think there are
> many places where we use it on vectors. I would expect the issue to be with
> TYPE_MIN_VALUE a few lines below. Not that it changes anything to the fix...
>
> (we can revisit that if vectors ever get VRP support)
And expr_not_equal_to would need to be tought to use that...
Jakub
