re PR sanitizer/64706 (-fsanitize=vptr is not documented)

	PR sanitizer/64706
	* doc/invoke.texi (-fsanitize=vptr): Document.

From-SVN: r219971

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index af86a4d79939d5aca830b435462e9daa9cfef73e..e96a9e156d03923bfca190a1324336d3628db5b0 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2015-01-21  Jakub Jelinek  <jakub@redhat.com>
 
+       PR sanitizer/64706
+       * doc/invoke.texi (-fsanitize=vptr): Document.
+
        PR rtl-optimization/62078
        * dse.c: Include cfgcleanup.h.
        (rest_of_handle_dse): For -fnon-call-exceptions, if DSE removed

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 876e699a6d54de870e1e1dea55a7d4e06bf2fbaa..e76821d7e9ffd7a1827aacfa86691412ef087222 100644 (file)
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -5761,6 +5761,13 @@ This option enables instrumentation of loads from an enum type.  If
 a value outside the range of values for the enum type is loaded,
 a run-time error is issued.
 
+@item -fsanitize=vptr
+@opindex fsanitize=vptr
+
+This option enables instrumentation of C++ member function calls, member
+accesses and some conversions between pointers to base and derived classes,
+to verify the referenced object has the correct dynamic type.
+
 @end table
 
 While @option{-ftrapv} causes traps for signed overflows to be emitted,