From 4a91616390c058382c703f47653adfaecd31a7d7 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 23 Apr 2019 04:55:32 -0700 Subject: [PATCH] [man] fix bogus markup Summary: Replace `$(u,...)` with `$(i,...)` since `$(u,...)` doesn't exist. Cmdliner was emitting a warning at runtime: cmdliner error: Unknown cmdliner markup $(u,...) in "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: $(i,[]))" Reviewed By: mbouaziz Differential Revision: D15045004 fbshipit-source-id: e03ece4f7 --- infer/man/man1/infer-analyze.txt | 4 ++-- infer/man/man1/infer-full.txt | 5 ++--- infer/man/man1/infer.txt | 5 ++--- infer/src/base/Config.ml | 2 +- 4 files changed, 7 insertions(+), 9 deletions(-) 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."