Re: [PATCH] range-op: Fix up ABSU_EXPR handling [PR113756]

2024-02-07 Thread Aldy Hernandez
LGTM. Up to the release managers. Thanks for tracking this down. Aldy On Tue, Feb 6, 2024 at 9:43 PM Jakub Jelinek wrote: > > Hi! > > ABSU_EXPR unary expr is special because it has a signed integer > argument and unsigned integer result (of the same precision). > > The following testcase is mis

[PATCH] range-op: Fix up ABSU_EXPR handling [PR113756]

2024-02-06 Thread Jakub Jelinek
Hi! ABSU_EXPR unary expr is special because it has a signed integer argument and unsigned integer result (of the same precision). The following testcase is miscompiled since ABSU_EXPR handling has been added to range-op because it uses widest_int::from with the result sign (i.e. UNSIGNED) rather