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 | 78d85b1c5830a881c0a20a1b3fea99ee73149590 (patch) | |
| tree | 10eaec603fd207c4c2603ab89586a7cf5e957c8f /docs | |
| parent | 13e42fb10b225cb3eed7e6e4c6bbe2fff1127407 (diff) | |
[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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173848 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/UsersManual.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/UsersManual.rst b/docs/UsersManual.rst index eb17eedb7b..75fc3bbc38 100644 --- a/docs/UsersManual.rst +++ b/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 |