Document -Wchkp (PR middle-end/79831).

2017-03-14  Martin Liska  <mliska@suse.cz>

	PR middle-end/79831
	* doc/invoke.texi (-Wchkp): Document the option.

From-SVN: r246129

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d53d070f55be5b9f0cfa10085daf2e982ca1cde6..4a6c93cba6f758e20a8142f93a1d6ae9be130510 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-03-14  Martin Liska  <mliska@suse.cz>
+
+       PR middle-end/79831
+       * doc/invoke.texi (-Wchkp): Document the option.
+
 2017-03-14  Martin Liska  <mliska@suse.cz>
 
        * Makefile.in: Install gcov-dump.

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 2852642516b6fb388c9d2d692c2d1457cb20c5ff..04ce03de28c1f5a3fb6f40a266c9ed07652a72cf 100644 (file)
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -265,7 +265,8 @@ Objective-C and Objective-C++ Dialects}.
 -Wno-builtin-declaration-mismatch @gol
 -Wno-builtin-macro-redefined  -Wc90-c99-compat  -Wc99-c11-compat @gol
 -Wc++-compat  -Wc++11-compat  -Wc++14-compat  -Wcast-align  -Wcast-qual  @gol
--Wchar-subscripts  -Wclobbered  -Wcomment  -Wconditionally-supported  @gol
+-Wchar-subscripts -Wchkp  -Wclobbered  -Wcomment  @gol
+-Wconditionally-supported  @gol
 -Wconversion  -Wcoverage-mismatch  -Wno-cpp  -Wdangling-else  -Wdate-time @gol
 -Wdelete-incomplete @gol
 -Wno-deprecated  -Wno-deprecated-declarations  -Wno-designated-init @gol
@@ -3860,6 +3861,11 @@ of error, as programmers often forget that this type is signed on some
 machines.
 This warning is enabled by @option{-Wall}.
 
+@item -Wchkp
+@opindex Wchkp
+Warn about an invalid memory access that is found by Pointer Bounds Checker
+(@option{-fcheck-pointer-bounds}).
+
 @item -Wno-coverage-mismatch
 @opindex Wno-coverage-mismatch
 Warn if feedback profiles do not match when using the