diff options
| -rw-r--r-- | clang/docs/UndefinedBehaviorSanitizer.rst | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/clang/docs/UndefinedBehaviorSanitizer.rst b/clang/docs/UndefinedBehaviorSanitizer.rst index 1002729f05d..db1325cc022 100644 --- a/clang/docs/UndefinedBehaviorSanitizer.rst +++ b/clang/docs/UndefinedBehaviorSanitizer.rst @@ -93,13 +93,13 @@ Available checks are: - ``-fsanitize=null``: Use of a null pointer or creation of a null reference. - ``-fsanitize=object-size``: An attempt to potentially use bytes which - the optimizer can determine are not part of the object being accessed. - This will also detect some types of undefined behavior that may not - directly access memory, but are provably incorrect given the size of - the objects involved, such as invalid downcasts and calling methods on - invalid pointers. These checks are made in terms of - ``__builtin_object_size``, and consequently may be able to detect more - problems at higher optimization levels. + the optimizer can determine are not part of the object being accessed. + This will also detect some types of undefined behavior that may not + directly access memory, but are provably incorrect given the size of + the objects involved, such as invalid downcasts and calling methods on + invalid pointers. These checks are made in terms of + ``__builtin_object_size``, and consequently may be able to detect more + problems at higher optimization levels. - ``-fsanitize=return``: In C++, reaching the end of a value-returning function without returning a value. - ``-fsanitize=returns-nonnull-attribute``: Returning null pointer |
