Re: RFC/RFH: uninit warning vs DSE of store from a known uninitialized variable

2025-07-23 Thread Richard Biener via Gcc
On Thu, Jul 24, 2025 at 4:23 AM Jeff Law via Gcc wrote: > > > > On 7/23/25 5:45 PM, Andrew Pinski via Gcc wrote: > > Hi all, > >When I improved DSE to remove stores where the rhs is known 100% to be > > an uninitialized variables (ssa_undefined_value_p), I get a few regressions > > due to an

Re: RFC/RFH: uninit warning vs DSE of store from a known uninitialized variable

2025-07-23 Thread Jeff Law via Gcc
On 7/23/25 5:45 PM, Andrew Pinski via Gcc wrote: Hi all, When I improved DSE to remove stores where the rhs is known 100% to be an uninitialized variables (ssa_undefined_value_p), I get a few regressions due to an uninitialized warning does not happen: gcc.dg/uninit-40.c for an example. (

RE: RFC/RFH: uninit warning vs DSE of store from a known uninitialized variable

2025-07-23 Thread Andrew Pinski via Gcc
> -Original Message- > From: Andrew Pinski > Sent: Wednesday, July 23, 2025 4:45 PM > To: gcc@gcc.gnu.org > Subject: RFC/RFH: uninit warning vs DSE of store from a > known uninitialized variable > > Hi all, > When I improved DSE to remove stores where the r

RFC/RFH: uninit warning vs DSE of store from a known uninitialized variable

2025-07-23 Thread Andrew Pinski via Gcc
Hi all, When I improved DSE to remove stores where the rhs is known 100% to be an uninitialized variables (ssa_undefined_value_p), I get a few regressions due to an uninitialized warning does not happen: gcc.dg/uninit-40.c for an example. (gcc.dg/analyzer/torture/boxed-int-1.c fails also for a