Skip to content

Commit

Permalink
[man] fix bogus markup
Browse files Browse the repository at this point in the history
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<type>)) 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
  • Loading branch information
jvillard authored and facebook-github-bot committed Apr 23, 2019
1 parent 1e3fafb commit 4a91616
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 9 deletions.
4 changes: 2 additions & 2 deletions infer/man/man1/infer-analyze.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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<type>)) will count as dead stores when the
variables are not read explicitly by the program. (default: [])
unique_ptr<type>) 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 }
Expand Down
5 changes: 2 additions & 3 deletions infer/man/man1/infer-full.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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<type>)) will count as dead stores when the
variables are not read explicitly by the program. (default: [])
See also infer-analyze(1).
unique_ptr<type>) 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
Expand Down
5 changes: 2 additions & 3 deletions infer/man/man1/infer.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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<type>)) will count as dead stores when the
variables are not read explicitly by the program. (default: [])
See also infer-analyze(1).
unique_ptr<type>) 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
Expand Down
2 changes: 1 addition & 1 deletion infer/src/base/Config.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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<type>)) will count as dead stores when the variables are not read \
as $(i,unique_ptr<type>)) will count as dead stores when the variables are not read \
explicitly by the program."


Expand Down

0 comments on commit 4a91616

Please sign in to comment.