Add comment for mir_opt_level=0

This commit is contained in:
flip1995 2019-11-23 01:26:19 +01:00
parent e3a74ed2b5
commit 7bae5bd828
No known key found for this signature in database
GPG Key ID: 693086869D506637

View File

@ -76,6 +76,10 @@ impl rustc_driver::Callbacks for ClippyCallbacks {
clippy_lints::register_renamed(&mut lint_store);
}));
// FIXME: #4825; This is required, because Clippy lints that are based on MIR have to be
// run on the unoptimized MIR. On the other hand this results in some false negatives. If
// MIR passes can be enabled / disabled separately, we should figure out, what passes to
// use for Clippy.
config.opts.debugging_opts.mir_opt_level = 0;
}
}