diff options
| author | dim <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
|---|---|---|
| committer | dim <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
| commit | 952eddef9aff85b1e92626e89baaf7a360e2ac85 (patch) | |
| tree | df8df0b0067b381eab470a3b8f28d14a552a6340 /docs/MemorySanitizer.rst | |
| parent | ea266cad53e3d49771fa38103913d3ec7a166694 (diff) | |
| download | FreeBSD-src-952eddef9aff85b1e92626e89baaf7a360e2ac85.zip FreeBSD-src-952eddef9aff85b1e92626e89baaf7a360e2ac85.tar.gz | |
Vendor import of clang release_34 branch r197841 (effectively, 3.4 RC3):
https://llvm.org/svn/llvm-project/cfe/branches/release_34@197841
Diffstat (limited to 'docs/MemorySanitizer.rst')
| -rw-r--r-- | docs/MemorySanitizer.rst | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/docs/MemorySanitizer.rst b/docs/MemorySanitizer.rst index 439acc4..5fc7e74 100644 --- a/docs/MemorySanitizer.rst +++ b/docs/MemorySanitizer.rst @@ -90,8 +90,16 @@ to disable uninitialized checks in a particular function. MemorySanitizer may still instrument such functions to avoid false positives. This attribute may not be supported by other compilers, so we suggest to use it together with -``__has_feature(memory_sanitizer)``. Note: currently, this attribute will be -lost if the function is inlined. +``__has_feature(memory_sanitizer)``. + +Blacklist +--------- + +MemorySanitizer supports ``src`` and ``fun`` entity types in +:doc:`SanitizerSpecialCaseList`, that can be used to relax MemorySanitizer +checks for certain source files and functions. All "Use of uninitialized value" +warnings will be suppressed and all values loaded from memory will be +considered fully initialized. Origin Tracking =============== |
