diff options
| author | Marek Polacek <polacek@redhat.com> | 2014-10-09 08:51:00 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2014-10-09 08:51:00 +0000 |
| commit | 95784c5ab0159b527bcaa9b1116ad10d8d36ea5a (patch) | |
| tree | 0c0dab6ce8d07d16796d973f493ab8eaf989cc71 | |
| parent | f5e523b76d1bdaf0df15f6bfdee602a3e153be68 (diff) | |
| download | gcc-95784c5ab0159b527bcaa9b1116ad10d8d36ea5a.zip gcc-95784c5ab0159b527bcaa9b1116ad10d8d36ea5a.tar.gz gcc-95784c5ab0159b527bcaa9b1116ad10d8d36ea5a.tar.bz2 | |
* doc/invoke.texi: Document -fsanitize=bool and -fsanitize=enum.
From-SVN: r216033
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 13 |
2 files changed, 17 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3267a7a..44cee4a 100644 --- 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 5fe7e15..8f3eb16 100644 --- 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, |