* doc/invoke.texi: Document -fsanitize=bool and -fsanitize=enum.

From-SVN: r216033

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3267a7a79bab880a5b113232ddbc6d35216e3b56..44cee4a5595cd582ce5f0da040a9f5872b2d44d3 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2014-10-09  Marek Polacek  <polacek@redhat.com>
+
+       * doc/invoke.texi: Document -fsanitize=bool and -fsanitize=enum.
+
 2014-10-08  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/61969

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 5fe7e15b4e9146ddadfd48b7e4da38c708f5405a..8f3eb16beb29ff18c0a0c49383be21d6bb4f8782 100644 (file)
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -5604,6 +5604,19 @@ This option enables instrumentation of return statements in functions
 marked with @code{returns_nonnull} function attribute, to detect returning
 of null values from such functions.
 
+@item -fsanitize=bool
+@opindex fsanitize=bool
+
+This option enables instrumentation of loads from bool.  If a value other
+than 0/1 is loaded, a run-time error is issued.
+
+@item -fsanitize=enum
+@opindex fsanitize=enum
+
+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.
+
 @end table
 
 While @option{-ftrapv} causes traps for signed overflows to be emitted,