diff options
Diffstat (limited to 'docs/UsersManual.html')
| -rw-r--r-- | docs/UsersManual.html | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/UsersManual.html b/docs/UsersManual.html index 967d0dbf7b..e4f44044c2 100644 --- a/docs/UsersManual.html +++ b/docs/UsersManual.html @@ -886,6 +886,8 @@ main checks are: <li id="opt_fsanitize_address"><tt>-fsanitize=address</tt>: <a href="AddressSanitizer.html">AddressSanitizer</a>, a memory error detector.</li> +<li id="opt_fsanitize_address_full"><tt>-fsanitize=address-full</tt>: + AddressSanitizer with all the experimental features listed below. <li id="opt_fsanitize_integer"><tt>-fsanitize=integer</tt>: Enables checks for undefined or suspicious integer behavior.</li> <li id="opt_fsanitize_thread"><tt>-fsanitize=thread</tt>: @@ -941,6 +943,20 @@ The following more fine-grained checks are also available: <tt>-fno-rtti</tt>.</li> </ul> +Experimental features of AddressSanitizer (not ready for widespread use, +require explicit <tt>-fsanitize=address</tt>): + +<ul> +<li id="opt_fsanitize_init_order"><tt>-fsanitize=init-order</tt>: +Check for dynamic initialization order problems.</li> +<li id="opt_fsanitize_use_after_return"><tt>-fsanitize=use-after-return</tt>: +Check for use-after-return errors (accessing local variable after the function +exit). +<li id="opt_fsanitize_use_after_scope"><tt>-fsanitize=use-after-scope</tt>: +Check for use-after-scope errors (accesing local variable after it went out of +scope). +</ul> + The <tt>-fsanitize=</tt> argument must also be provided when linking, in order to link to the appropriate runtime library. It is not possible to combine the <tt>-fsanitize=address</tt> and <tt>-fsanitize=thread</tt> checkers in the same |