diff options
| author | Vedant Kumar <vsk@apple.com> | 2017-06-16 18:38:43 +0000 |
|---|---|---|
| committer | Vedant Kumar <vsk@apple.com> | 2017-06-16 18:38:43 +0000 |
| commit | ed8e5501791a53bd4d7b39e0b124e04c92ba12fa (patch) | |
| tree | 2eeaab0297a24332b3152e648d8523dfc1f70b06 /docs | |
| parent | 2aee8d9aa73510087430ea6ee45810e3457e87bf (diff) | |
[ubsan] docs: Add a note about pointers to volatile
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@305568 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/UndefinedBehaviorSanitizer.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/UndefinedBehaviorSanitizer.rst b/docs/UndefinedBehaviorSanitizer.rst index ea776a7704..85dd549baa 100644 --- a/docs/UndefinedBehaviorSanitizer.rst +++ b/docs/UndefinedBehaviorSanitizer.rst @@ -148,6 +148,12 @@ You can also use the following check groups: nullability does not have undefined behavior, it is often unintentional, so UBSan offers to catch it. +Volatile +-------- + +The ``null``, ``alignment``, ``object-size``, and ``vptr`` checks do not apply +to pointers to types with the ``volatile`` qualifier. + Stack traces and report symbolization ===================================== If you want UBSan to print symbolized stack trace for each error report, you |