diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2017-09-01 15:47:04 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2017-09-01 15:47:04 +0200 |
| commit | 3ca3c6ef7110fb842cf8175a58d91d239c418bbe (patch) | |
| tree | 5eb6e486583392f497437d6ab30d68c7c46a6409 /gcc | |
| parent | 349884d1e38b08263682b5b94dec796398444e2a (diff) | |
| download | gcc-3ca3c6ef7110fb842cf8175a58d91d239c418bbe.zip gcc-3ca3c6ef7110fb842cf8175a58d91d239c418bbe.tar.gz gcc-3ca3c6ef7110fb842cf8175a58d91d239c418bbe.tar.bz2 | |
re PR sanitizer/81902 (new -fsanitize=pointer-overflow option undocumented)
PR sanitizer/81902
* doc/invoke.texi: Document -fsanitize=pointer-overflow.
From-SVN: r251596
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 6 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8d36fa6..71244e9 100644 --- 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 ab76c1b..f7bad9d 100644 --- 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, |