diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt index 5a2ac321c..c6ef40ab1 100644 --- a/infer/man/man1/infer-analyze.txt +++ b/infer/man/man1/infer-analyze.txt @@ -360,8 +360,8 @@ CLANG OPTIONS Specify classes where the destructor should be ignored when computing liveness. In other words, assignement to variables of these types (or common wrappers around these types such as - $(u,unique_ptr)) will count as dead stores when the - variables are not read explicitly by the program. (default: []) + unique_ptr) will count as dead stores when the variables are + not read explicitly by the program. (default: []) --ml-buckets ,-separated sequence of { all | cf | arc | narc | cpp | unknown_origin } diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index be7972fba..0b4df6a86 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -552,9 +552,8 @@ OPTIONS Specify classes where the destructor should be ignored when computing liveness. In other words, assignement to variables of these types (or common wrappers around these types such as - $(u,unique_ptr)) will count as dead stores when the - variables are not read explicitly by the program. (default: []) - See also infer-analyze(1). + unique_ptr) will count as dead stores when the variables are + not read explicitly by the program. (default: []) See also infer-analyze(1). --liveness-only Activates: Enable --liveness and disable all other checkers diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index f1580a670..31b6b29db 100644 --- a/infer/man/man1/infer.txt +++ b/infer/man/man1/infer.txt @@ -552,9 +552,8 @@ OPTIONS Specify classes where the destructor should be ignored when computing liveness. In other words, assignement to variables of these types (or common wrappers around these types such as - $(u,unique_ptr)) will count as dead stores when the - variables are not read explicitly by the program. (default: []) - See also infer-analyze(1). + unique_ptr) will count as dead stores when the variables are + not read explicitly by the program. (default: []) See also infer-analyze(1). --liveness-only Activates: Enable --liveness and disable all other checkers diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 1d7944e42..a39758513 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1518,7 +1518,7 @@ and liveness_dangerous_classes = ~in_help:InferCommand.[(Analyze, manual_clang)] "Specify classes where the destructor should be ignored when computing liveness. In other \ words, assignement to variables of these types (or common wrappers around these types such \ - as $(u,unique_ptr)) will count as dead stores when the variables are not read \ + as $(i,unique_ptr)) will count as dead stores when the variables are not read \ explicitly by the program."