[Bug libstdc++/92200] Shared pointer not destroyed

2019-10-23 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92200 Jonathan Wakely changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug libstdc++/92200] Shared pointer not destroyed

2019-10-23 Thread vanshil.sh at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92200 --- Comment #1 from Vanshil Shah --- Created attachment 47096 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47096&action=edit preprocessed file that triggers the bug