https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71945
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- You also get undefined behaviour at 2bn objects when the signed _Atomic_word overflows, and the weak count can also be forced to overflow. Doing so requires allocating tens of GB of shared_ptr objects though.
