Re: [PATCH] tree-optimization/99919 - bogus uninit diagnostic with bitfield guards

2022-12-12 Thread Richard Biener via Gcc-patches
On Thu, Dec 8, 2022 at 12:07 PM Richard Biener via Fortran wrote: > > For the testcase in this PR what fold-const.cc optimize_bit_field_compare > does to bitfield against constant compares is confusing the uninit > predicate analysis and it also makes SRA obfuscate instead of optimize > the code.

[PATCH] tree-optimization/99919 - bogus uninit diagnostic with bitfield guards

2022-12-08 Thread Richard Biener via Gcc-patches
For the testcase in this PR what fold-const.cc optimize_bit_field_compare does to bitfield against constant compares is confusing the uninit predicate analysis and it also makes SRA obfuscate instead of optimize the code. We've long had the opinion that those optimizations are premature but we do