summaryrefslogtreecommitdiff
path: root/src/options.rs
diff options
context:
space:
mode:
authorEmilio Cobos Álvarez <emilio@crisal.io>2018-12-14 13:43:51 +0100
committerGitHub <noreply@github.com>2018-12-14 13:43:51 +0100
commit371e744e4158f23e75adb296433fc684076964ad (patch)
tree9b3bbf2fff95cf96b170420a7346f0775806ca00 /src/options.rs
parenteb97c1494d5debac81b51847c3cba61496471bfb (diff)
parent9ba6d13c4320bd7d225b086957c801811458f2c7 (diff)
Merge pull request #1467 from emilio/attr-detection-flagv0.45.0
ir: Put function attribute detection under an opt-in flag.
Diffstat (limited to 'src/options.rs')
-rw-r--r--src/options.rs8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options.rs b/src/options.rs
index 3594be4e..9d37543a 100644
--- a/src/options.rs
+++ b/src/options.rs
@@ -315,6 +315,10 @@ where
.takes_value(true)
.multiple(true)
.number_of_values(1),
+ Arg::with_name("enable-function-attribute-detection")
+ .long("enable-function-attribute-detection")
+ .help("Enables detecting unexposed attributes in functions (slow).
+ Used to generate #[must_use] annotations."),
]) // .args()
.get_matches_from(args);
@@ -484,6 +488,10 @@ where
builder = builder.enable_cxx_namespaces();
}
+ if matches.is_present("enable-function-attribute-detection") {
+ builder = builder.enable_function_attribute_detection();
+ }
+
if matches.is_present("disable-name-namespacing") {
builder = builder.disable_name_namespacing();
}