From: Jakub Jelinek Date: Wed, 21 Jan 2015 21:53:49 +0000 (+0100) Subject: re PR sanitizer/64706 (-fsanitize=vptr is not documented) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d2632e47fcd996a513420cb95de06940fa640d19;p=gcc.git 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 af86a4d7993..e96a9e156d0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ 2015-01-21 Jakub Jelinek + 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 876e699a6d5..e76821d7e9f 100644 --- 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,