Re: [COMMITTED] Improve multiplication by powers of 2 in range-ops.

2022-11-07 Thread Aldy Hernandez via Gcc-patches
On Mon, Nov 7, 2022 at 8:59 PM Aldy Hernandez 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 bog

[COMMITTED] Improve multiplication by powers of 2 in range-ops.

2022-11-07 Thread Aldy Hernandez via Gcc-patches
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. No discernible ch