[Bug tree-optimization/127072] -Wfree-nonheap-object false positive on vector::push_back after a guarded pop_back (14.2/14.3/15.2/15.3, clean in 12.4/16.1)

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127072

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
>Only assumed warns; unreachable is clean.

There is a patch to improve the assume attribute for the trunk; I don't
remember if the patch was merged or not yet.  Anyways this is a different issue
from the bug #1.