On Jun 7, 2023, at 8:01 AM, Thomas Schwinge <tho...@codesourcery.com> wrote: > On 2020-12-08T13:46:32-0700, Martin Sebor via Gcc-patches > <gcc-patches@gcc.gnu.org> wrote: >> The attached changes [...] > > ... eventually became commit fe7f75cf16783589eedbab597e6d0b8d35d7e470 > "Correct/improve maybe_emit_free_warning (PR middle-end/98166, PR c++/57111, > PR middle-end/98160)". > >> * c-c++-common/Wfree-nonheap-object-2.c: New test. >> * c-c++-common/Wfree-nonheap-object-3.c: New test. >> * c-c++-common/Wfree-nonheap-object.c: New test. > > OK to push the attached > "Tighten 'dg-warning' alternatives in > 'c-c++-common/Wfree-nonheap-object{,-2,-3}.c'"?
Ok.