https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104388
Bug ID: 104388
Summary: Request: A builtin to mark an object as invalid
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: Darrell.Wright at gmail dot com
Target Milestone: ---
Would it be possible to get a builtin that marks an object as invalid until it
is overwritten and make it IF if the object is used other than destruction,
assignment or taking its address/ref. I am naive on the compiler internals
here, but this could allow for the safety of destructive moves without the
changes to the object model around destruction ordering.
