diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt index 5a2ac321ce1..c6ef40ab17a 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 be7972fba43..0b4df6a8680 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 f1580a67077..31b6b29dba0 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 1d7944e42bd..a3975851381 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."