diff options
| -rw-r--r-- | docs/UsersManual.rst | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/UsersManual.rst b/docs/UsersManual.rst index 4d6c4e9055..1c6e9673cf 100644 --- a/docs/UsersManual.rst +++ b/docs/UsersManual.rst @@ -926,9 +926,10 @@ are listed below. ``-fsanitize=memory``): - ``-fsanitize-memory-track-origins``: Enables origin tracking in - MemorySanitizer. Adds a second stack trace to MemorySanitizer - reports pointing to the allocation the uninitialized bits came - from. Slows down execution by additional 1.5x-2x. + MemorySanitizer. Adds a second section to MemorySanitizer + reports pointing to the heap or stack allocation the + uninitialized bits came from. Slows down execution by additional + 1.5x-2x. The ``-fsanitize=`` argument must also be provided when linking, in order to link to the appropriate runtime library. It is not possible |