On Tue, Apr 28, 2020 at 10:37 AM David Malcolm via Gcc-patches <gcc-patches@gcc.gnu.org> wrote:
> I'm working on a rewrite of the region_model code for GCC 11 that I > hope will fix these issues, and allow this warning to be reintroduced. If that's the case, why remove the warning just to add it back? You could leave it in but have it do nothing for GCC 10.