On Mon, 28 Oct 2024, Jakub Jelinek wrote: > Ok, here is an updated patch, which for ubsan checks just for negative > count and nothing else, does that check before using TRUNC_MOD_EXPR on > the argument and uses it on unsigned types in all cases. > The c_fully_fold_internal new wording is removed in both cases, as the > argument will be modulo shift count and so it can't be negative or > too large anymore. > > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
This version is OK. -- Joseph S. Myers josmy...@redhat.com
