diff options
| author | Chad Rosier <mcrosier@apple.com> | 2013-01-29 23:31:22 +0000 |
|---|---|---|
| committer | Chad Rosier <mcrosier@apple.com> | 2013-01-29 23:31:22 +0000 |
| commit | ae229d599b8ccf5475fbdf2459fc54f2cce3dec7 (patch) | |
| tree | 29d57285b3689ce43fe6d800e68e6a2caea116a6 /clang/docs | |
| parent | 01edb9d7d1888604e1b46183a2e82c1c7142d379 (diff) | |
| download | bcm5719-llvm-ae229d599b8ccf5475fbdf2459fc54f2cce3dec7.tar.gz bcm5719-llvm-ae229d599b8ccf5475fbdf2459fc54f2cce3dec7.zip | |
[ubsan] Implement the -fcatch-undefined-behavior flag using a trapping
implementation; this is much more inline with the original implementation
(i.e., pre-ubsan) and does not require run-time library support.
The trapping implementation can be invoked using either '-fcatch-undefined-behavior'
or '-fsanitize=undefined-trap -fsanitize-undefined-trap-on-error', with the latter
being preferred. Eventually, the -fcatch-undefined-behavior' flag will be removed.
llvm-svn: 173848
Diffstat (limited to 'clang/docs')
| -rw-r--r-- | clang/docs/UsersManual.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/clang/docs/UsersManual.rst b/clang/docs/UsersManual.rst index eb17eedb7b2..75fc3bbc38e 100644 --- a/clang/docs/UsersManual.rst +++ b/clang/docs/UsersManual.rst @@ -867,6 +867,14 @@ are listed below. includes all of the checks listed below other than ``unsigned-integer-overflow``. + ``-fsanitize=undefined-trap``: This includes all sanitizers + included by ``-fsanitize=undefined``, except those that require + runtime support. This group of sanitizers are generally used + in conjunction with the ``-fsanitize-undefined-trap-on-error`` + flag, which causes traps to be emitted, rather than calls to + runtime libraries. This includes all of the checks listed below + other than ``unsigned-integer-overflow`` and ``vptr``. + The following more fine-grained checks are also available: - ``-fsanitize=alignment``: Use of a misaligned pointer or creation |
