Quick Reminder;  The vtable verification feature (controlled by a
flag) is designed to detect, at run time,  if/when the vtable pointer
in a C++ object has been corrupted, before allowing virtual calls
through that pointer.  If pointer corruption is detected, execution of
the program is halted.

I have created (with some help) a git branch on gcc.gnu.org to contain
the vtable verification feature work.  This work is now well
integrated with GCC trunk, and the sources are in a good state for
future work.  I believe all previous review comments have been
addressed.

The feature is disabled by default, and disabled on non-linux OSes.
Regression testing on linux is showing great results (no regressions).

There is a wiki page at http://gcc.gnu.org/wiki/vtv that contains
information about how to use the feature, as well as links to the
Feature Proposal, User's Guide, and the presentation on this feature
at last year's GNU Tools Cauldron.  This work has been ongoing since
GCC 4.7 and is now ready to merge into trunk for the GCC 4.9.0
release.

I would like permission to merge this in (and or information on the
best way to proceed from here). Thanks.

-- Caroline Tice
cmt...@google.com

Reply via email to