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.

Reply via email to