rust/compiler
Matthias Krüger 3b276cbe04
Rollup merge of #93603 - connorff:compute-polonius-liveness-facts-flag, r=ecstatic-morse
Populate liveness facts when calling `get_body_with_borrowck_facts` without `-Z polonius`

For a new feature of [Flowistry](https://github.com/willcrichton/flowistry), a static-analysis tool, we need to obtain a `mir::Body`'s liveness facts using `get_body_with_borrowck_facts` (added in #86977). We'd like to do this without passing `-Z polonius` as a compiler arg to avoid borrow checking the entire crate.

Support for doing this was added in #88983, but the Polonius input facts used for liveness analysis are empty. This happens because the liveness input facts are populated in `liveness::generate` depending only on the value of `AllFacts::enabled` (which is toggled via compiler args).

This PR propagates the [`use_polonius`](8b09ba6a5d/compiler/rustc_borrowck/src/nll.rs (L168)) flag to `liveness::generate` to support populating liveness facts without requiring the `-Z polonius` flag.

This fix is somewhat patchy - if it'd be better to add more widely-accessible state (like `AllFacts::enabled`) I'd be open to ideas!
2022-02-26 00:49:20 +01:00
..
rustc remove unused jemallocator crate 2022-01-28 16:56:05 +01:00
rustc_apfloat Stabilize iter::zip. 2021-12-14 18:50:31 -04:00
rustc_arena Remove unused dep from rustc_arena 2022-02-02 17:37:14 +01:00
rustc_ast Rollup merge of #94316 - nnethercote:improve-string-literal-unescaping, r=petrochenkov 2022-02-24 21:42:18 +01:00
rustc_ast_lowering Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_ast_passes Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_ast_pretty Pretty print ItemKind::Use in rustfmt style 2022-02-07 21:51:05 -08:00
rustc_attr Rollup merge of #94175 - Urgau:check-cfg-improvements, r=petrochenkov 2022-02-24 21:42:13 +01:00
rustc_borrowck Rollup merge of #93603 - connorff:compute-polonius-liveness-facts-flag, r=ecstatic-morse 2022-02-26 00:49:20 +01:00
rustc_builtin_macros Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_codegen_cranelift Normalize main return type during mono item collection & codegen 2022-02-23 22:33:50 +01:00
rustc_codegen_gcc Auto merge of #94123 - bjorn3:cg_ssa_singleton_builder, r=tmiasko 2022-02-24 12:28:19 +00:00
rustc_codegen_llvm Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_codegen_ssa Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_const_eval Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_data_structures Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_driver Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_error_codes Remove in-band lifetimes 2022-02-24 18:50:33 -08:00
rustc_errors Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_expand Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_feature Remove in-band lifetimes 2022-02-24 18:50:33 -08:00
rustc_fs_util
rustc_graphviz eplace usages of vec![].into_iter with [].into_iter 2022-01-09 14:09:25 +11:00
rustc_hir Remove in-band lifetimes 2022-02-24 18:50:33 -08:00
rustc_hir_pretty resolve: Fix incorrect results of opt_def_kind query for some built-in macros 2022-02-24 22:54:36 +03:00
rustc_incremental Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_index Fix test 2022-02-24 16:02:07 -05:00
rustc_infer Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_interface Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_lexer Improve scan_escape. 2022-02-24 17:01:01 +11:00
rustc_lint Auto merge of #94369 - matthiaskrgr:rollup-qtripm2, r=matthiaskrgr 2022-02-25 20:53:48 +00:00
rustc_lint_defs Improve diagnostic of the unexpected_cfgs lint 2022-02-22 23:17:13 +01:00
rustc_llvm Rollup merge of #91675 - ivanloz:memtagsan, r=nagisa 2022-02-18 23:23:03 +01:00
rustc_log Make rustc_log doc test runnable 2022-01-03 22:31:56 -08:00
rustc_macros Auto merge of #93878 - Aaron1011:newtype-macro, r=cjgillot 2022-02-25 03:16:22 +00:00
rustc_metadata Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_middle Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_mir_build Enable rustc_pass_by_value for Span 2022-02-25 08:00:53 -05:00
rustc_mir_dataflow Auto merge of #93984 - nnethercote:ChunkedBitSet, r=Mark-Simulacrum 2022-02-23 01:26:07 +00:00
rustc_mir_transform Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_monomorphize Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_parse Rollup merge of #94344 - notriddle:notriddle/suggest-parens-more, r=oli-obk 2022-02-25 14:14:40 +01:00
rustc_parse_format Correctly mark the span of captured arguments in format_args!() 2022-02-16 07:34:06 +00:00
rustc_passes Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_plugin_impl replace dynamic library module with libloading 2021-12-06 12:03:47 -05:00
rustc_privacy Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_query_impl Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_query_system Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_resolve Auto merge of #94290 - Mark-Simulacrum:bump-bootstrap, r=pietroalbini 2022-02-25 18:34:02 +00:00
rustc_save_analysis Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_serialize Delete Decoder::read_unit 2022-02-22 18:14:51 -05:00
rustc_session Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_span Enable rustc_pass_by_value for Span 2022-02-25 08:00:53 -05:00
rustc_symbol_mangling Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_target riscv32imc_esp_espidf: set max_atomic_width to 64 2022-02-23 13:11:26 +00:00
rustc_trait_selection Switch bootstrap cfgs 2022-02-25 08:00:52 -05:00
rustc_traits use List<Ty<'tcx>> for tuples 2022-02-21 07:09:11 +01:00
rustc_ty_utils use List<Ty<'tcx>> for tuples 2022-02-21 07:09:11 +01:00
rustc_type_ir Inline UnifyKey::index and UnifyKey::from_index 2022-02-15 19:07:06 +01:00
rustc_typeck Auto merge of #94369 - matthiaskrgr:rollup-qtripm2, r=matthiaskrgr 2022-02-25 20:53:48 +00:00