> The issue is that fold_plusminus_mult re-writes the multiplication > from unsigned to signed for the failing testcase, introducing > undefined overflow.
fold_plusminus_mult or fold_binary? My understanding is that the problem is fold_binary incorrectly stripping the outer signedness conversion. If so, then the fix could test for this case precisely instead of disabling the transformation in all cases, including when there is no signedness conversion. -- Eric Botcazou
