re PR sanitizer/81902 (new -fsanitize=pointer-overflow option undocumented)

	PR sanitizer/81902
	* doc/invoke.texi: Document -fsanitize=pointer-overflow.

From-SVN: r251596

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8d36fa6563d6f9d7a7dcb45aba8f274c1d3f4933..71244e91417b38ad04a70fddf7ff178186e1daef 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2017-09-01  Jakub Jelinek  <jakub@redhat.com>
 
+       PR sanitizer/81902
+       * doc/invoke.texi: Document -fsanitize=pointer-overflow.
+
        PR sanitizer/81923
        * asan.c (create_odr_indicator): Strip name encoding from assembler
        name before appending it after __odr_asan_.

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index ab76c1b10bb4c038e34a20eb122600f7f976ea32..f7bad9d23003259014f08460b650cfce7098dbcf 100644 (file)
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -11074,6 +11074,12 @@ 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.
 
+@item -fsanitize=pointer-overflow
+@opindex fsanitize=pointer-overflow
+
+This option enables instrumentation of pointer arithmetics.  If the pointer
+arithmetics overflows, a run-time error is issued.
+
 @end table
 
 While @option{-ftrapv} causes traps for signed overflows to be emitted,