Skip to content

Commit 4a91616

Browse files
jvillardfacebook-github-bot
authored andcommitted
[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<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
1 parent 1e3fafb commit 4a91616

File tree

4 files changed

+7
-9
lines changed

4 files changed

+7
-9
lines changed

infer/man/man1/infer-analyze.txt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -360,8 +360,8 @@ CLANG OPTIONS
360360
Specify classes where the destructor should be ignored when
361361
computing liveness. In other words, assignement to variables of
362362
these types (or common wrappers around these types such as
363-
$(u,unique_ptr<type>)) will count as dead stores when the
364-
variables are not read explicitly by the program. (default: [])
363+
unique_ptr<type>) will count as dead stores when the variables are
364+
not read explicitly by the program. (default: [])
365365

366366
--ml-buckets ,-separated sequence of { all | cf | arc | narc | cpp |
367367
unknown_origin }

infer/man/man1/infer-full.txt

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -552,9 +552,8 @@ OPTIONS
552552
Specify classes where the destructor should be ignored when
553553
computing liveness. In other words, assignement to variables of
554554
these types (or common wrappers around these types such as
555-
$(u,unique_ptr<type>)) will count as dead stores when the
556-
variables are not read explicitly by the program. (default: [])
557-
See also infer-analyze(1).
555+
unique_ptr<type>) will count as dead stores when the variables are
556+
not read explicitly by the program. (default: []) See also infer-analyze(1).
558557

559558
--liveness-only
560559
Activates: Enable --liveness and disable all other checkers

infer/man/man1/infer.txt

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -552,9 +552,8 @@ OPTIONS
552552
Specify classes where the destructor should be ignored when
553553
computing liveness. In other words, assignement to variables of
554554
these types (or common wrappers around these types such as
555-
$(u,unique_ptr<type>)) will count as dead stores when the
556-
variables are not read explicitly by the program. (default: [])
557-
See also infer-analyze(1).
555+
unique_ptr<type>) will count as dead stores when the variables are
556+
not read explicitly by the program. (default: []) See also infer-analyze(1).
558557

559558
--liveness-only
560559
Activates: Enable --liveness and disable all other checkers

infer/src/base/Config.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1518,7 +1518,7 @@ and liveness_dangerous_classes =
15181518
~in_help:InferCommand.[(Analyze, manual_clang)]
15191519
"Specify classes where the destructor should be ignored when computing liveness. In other \
15201520
words, assignement to variables of these types (or common wrappers around these types such \
1521-
as $(u,unique_ptr<type>)) will count as dead stores when the variables are not read \
1521+
as $(i,unique_ptr<type>)) will count as dead stores when the variables are not read \
15221522
explicitly by the program."
15231523

15241524

0 commit comments

Comments
 (0)