https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113151
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu.org
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
IIRC Jakub tried to implement something at some point.
Note what's needed is runtime tracking of the effective dynamic type of
objects (memory) and enforcing access rules. Language frontend rules
are not 1:1 compatible and the middle-end implements something common.
It's going to be difficult when not the whole program including runtime
is instrumented.
