PR sanitizer/64706
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Jan 2015 21:53:49 +0000 (21:53 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 21 Jan 2015 21:53:49 +0000 (21:53 +0000)
* doc/invoke.texi (-fsanitize=vptr): Document.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219971 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/doc/invoke.texi

index af86a4d..e96a9e1 100644 (file)
@@ -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
index 876e699..e76821d 100644 (file)
@@ -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,