On Mon, Nov 7, 2022 at 8:59 PM Aldy Hernandez <al...@redhat.com> wrote: > > For unsigned numbers, multiplication by X, where X is a power of 2 is > [0,0][X,+INF]. > > This patch causes a regression to g++.dg/pr71488.C where > -Wstringop-overflow gets the same IL as before, but better ranges > cause it to issue a bogus warning. I will create a PR with some > notes.
PR107561