https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98401
David Ledger <davidledger at live dot com.au> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |davidledger at live dot com.au
--- Comment #3 from David Ledger <davidledger at live dot com.au> ---
I'm seeing the same double destructor:
https://godbolt.org/z/8r8oGG4z5
This appears to have many equivilent:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98401
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99576
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100611