diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-12-04 02:48:16 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-12-04 02:48:16 +0000 |
| commit | 5c5eaa83b3c1a6f393105a1f394e7ea422bfc839 (patch) | |
| tree | 1726d958858e037f4b9d550477b111d227376dc8 | |
| parent | 60ef8b72664eda5e42910d38148d44de32ee117e (diff) | |
Document the existence of -fsanitize=bounds.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@169207 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | docs/UsersManual.html | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/docs/UsersManual.html b/docs/UsersManual.html index e4f44044c2..0ba56276cb 100644 --- a/docs/UsersManual.html +++ b/docs/UsersManual.html @@ -896,8 +896,8 @@ main checks are: <li id="opt_fsanitize_undefined"><tt>-fsanitize=undefined</tt>: Fast and compatible undefined behavior checker. Enables the undefined behavior checks that have small runtime cost and no impact on address space layout - or ABI. This includes all of the checks listed below other than unsigned - integer overflow.</li> + or ABI. This includes all of the checks listed below other than + <tt>unsigned-integer-overflow</tt> and <tt>bounds</tt>.</li> </ul> The following more fine-grained checks are also available: @@ -905,6 +905,9 @@ The following more fine-grained checks are also available: <ul> <li id="opt_fsanitize_alignment"><tt>-fsanitize=alignment</tt>: Use of a misaligned pointer or creation of a misaligned reference.</li> +<li id="opt_fsanitize_bounds"><tt>-fsanitize=bounds</tt>: + Out of bounds array indexing, in cases where the array bound can be + statically determined.</li> <li id="opt_fsanitize_float-cast-overflow"><tt>-fsanitize=float-cast-overflow</tt>: Conversion to, from, or between floating-point types which would overflow the destination.</li> |