Hi Richard, Thanks for reviewing the patch and sharing your comments.
>> pattern should be guarded with !TYPE_OVERFLOW_SANITIZED >> and/or !TYPE_OVERFLOW_TRAPS Done. >> can you add some cases with unsigned types and types >> smaller than int (thus with integral promotion applied)? Done. Please find attached the modified patch as per your suggestions. Bootstrapped and regression tested on x86_64-pc-linux-gnu. Thanks, Naveen
pr94882.patch
Description: pr94882.patch