https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81885
Bug ID: 81885 Summary: operator-> not checked by -D_GLIBCXX_ASSERTIONS Product: gcc Version: 7.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: joerg.rich...@pdv-fs.de Target Milestone: --- unique_ptr::operator* is checked with __glibcxx_assert. But unique_ptr::operator-> uses only _GLIBCXX_DEBUG_PEDASSERT. I think the later can use __glibcxx_assert too. Same for the other pointer templates.