https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100499
--- Comment #27 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 26 May 2021, aldyh at redhat dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100499 > > --- Comment #26 from Aldy Hernandez <aldyh at redhat dot com> --- > On Wed, May 26, 2021 at 10:34 AM rguenther at suse dot de > <gcc-bugzi...@gcc.gnu.org> wrote: > > > It's probably too strict for multiple_of_p which is fine with > > overflows that preserve modulo behavior. > > Could you provide an example? Like with DECL_SIZE being D.1234 * 8 as unsigned multiplication and the query whether it's a multiple of 8. Once you have no range for 'D.1234' you will signal overflow (correctly) but even then it's still a mutliple of 8.
