https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104388
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |WAITING
Last reconfirmed| |2022-02-07
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC internally places "clobbers" to mark object contents as invalid (as you
name it) and then can diagnose uses (but as "uninitialized") and can do
optimizations like remove dead stores into the now invalid object.
Those could be exposed as builtin.
Can you provide an example testcase how you'd use the builtin?
