rust/compiler
Dylan DPC 3ea5456366
Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obk
remove an ineffective check in const_prop

Based on https://github.com/rust-lang/rust/pull/100043, only the last two commits are new.

ConstProp has a special check when reading from a local that prevents reading uninit locals. However, if that local flows into `force_allocation`, then no check fires and evaluation proceeds. So this check is not really effective at preventing accesses to uninit locals.

With https://github.com/rust-lang/rust/pull/100043, `read_immediate` and friends always fail when reading uninit locals, so I don't see why ConstProp would need a separate check. Thus I propose we remove it. This is needed to be able to do https://github.com/rust-lang/rust/pull/100085.
2022-08-29 16:49:40 +05:30
..
rustc
rustc_apfloat
rustc_arena
rustc_ast Rollup merge of #100978 - nnethercote:fix-100948, r=petrochenkov 2022-08-26 09:51:46 +09:00
rustc_ast_lowering Rollup merge of #100724 - JeanCASPAR:migrate-ast_lowering-to-session-diagnostic, r=davidtwco 2022-08-26 15:56:21 -07:00
rustc_ast_passes Rollup merge of #99332 - jyn514:stabilize-label-break-value, r=petrochenkov 2022-08-25 08:50:54 +09:00
rustc_ast_pretty
rustc_attr use smaller span for suggestions 2022-08-27 15:22:08 +09:00
rustc_borrowck Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk 2022-08-29 06:34:43 +02:00
rustc_builtin_macros Auto merge of #100497 - kadiwa4:remove_clone_into_iter, r=cjgillot 2022-08-28 18:31:08 +00:00
rustc_codegen_cranelift Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk 2022-08-29 06:34:43 +02:00
rustc_codegen_gcc Auto merge of #96946 - WaffleLapkin:ptr_mask, r=scottmcm 2022-08-28 01:34:47 +00:00
rustc_codegen_llvm Rollup merge of #101098 - petrochenkov:noinvis, r=TaKO8Ki 2022-08-28 09:35:22 +02:00
rustc_codegen_ssa Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk 2022-08-29 06:34:43 +02:00
rustc_const_eval Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obk 2022-08-29 16:49:40 +05:30
rustc_data_structures
rustc_driver Code cleaning 2022-08-25 19:04:00 +02:00
rustc_error_codes
rustc_error_messages Rollup merge of #100843 - IntQuant:issue-100717-infer, r=compiler-errors 2022-08-29 06:34:45 +02:00
rustc_errors
rustc_expand
rustc_feature Adjust label break value stabilization version to CURRENT_RUSTC_VERSION 2022-08-27 17:36:13 +02:00
rustc_fs_util
rustc_graphviz
rustc_hir Merge implementations of HIR fn_decl and fn_sig. 2022-08-26 21:38:20 +02:00
rustc_hir_pretty
rustc_incremental
rustc_index
rustc_infer Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errors 2022-08-29 16:49:39 +05:30
rustc_interface Rollup merge of #100808 - SkiFire13:migrate_diagnostics_rustc_interface, r=davidtwco 2022-08-25 08:50:58 +09:00
rustc_lexer
rustc_lint Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errors 2022-08-29 16:49:39 +05:30
rustc_lint_defs Rollup merge of #99784 - est31:deny_cfg_attr_crate_type_name, r=Mark-Simulacrum 2022-08-27 13:14:16 +09:00
rustc_llvm
rustc_log
rustc_macros Rollup merge of #100959 - LuisCardosoOliveira:translation-rename-attr-warning, r=davidtwco 2022-08-29 06:34:47 +02:00
rustc_metadata Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errors 2022-08-29 16:49:39 +05:30
rustc_middle Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errors 2022-08-29 16:49:39 +05:30
rustc_mir_build Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk 2022-08-29 06:34:43 +02:00
rustc_mir_dataflow Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk 2022-08-29 06:34:43 +02:00
rustc_mir_transform Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obk 2022-08-29 16:49:40 +05:30
rustc_monomorphize Replace Body::basic_blocks() with field access 2022-08-26 14:27:08 +02:00
rustc_parse Auto merge of #100497 - kadiwa4:remove_clone_into_iter, r=cjgillot 2022-08-28 18:31:08 +00:00
rustc_parse_format
rustc_passes Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errors 2022-08-29 16:49:39 +05:30
rustc_plugin_impl
rustc_privacy rustc_middle: Remove Visibility::Invisible 2022-08-27 22:34:18 +03:00
rustc_query_impl Auto merge of #100946 - jyn514:query-system-3, r=cjgillot 2022-08-27 08:53:24 +00:00
rustc_query_system
rustc_resolve Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errors 2022-08-29 16:49:39 +05:30
rustc_save_analysis
rustc_serialize Adding support for rustc_serialize encode and decode for Box and Vec that use a custom allocator 2022-08-25 20:19:49 +00:00
rustc_session Auto merge of #100732 - dpaoliello:import_name_type, r=wesleywiser 2022-08-27 03:19:12 +00:00
rustc_smir
rustc_span Auto merge of #96946 - WaffleLapkin:ptr_mask, r=scottmcm 2022-08-28 01:34:47 +00:00
rustc_symbol_mangling Change FnAbi::fixed_count to a u32. 2022-08-26 10:29:40 +10:00
rustc_target Auto merge of #100999 - nnethercote:shrink-FnAbi, r=bjorn3 2022-08-27 14:00:53 +00:00
rustc_trait_selection Rollup merge of #100437 - compiler-errors:better-const-mismatch-err, r=oli-obk 2022-08-29 06:34:44 +02:00
rustc_traits
rustc_transmute Rollup merge of #100604 - dtolnay:okorerr, r=m-ou-se 2022-08-26 09:51:44 +09:00
rustc_ty_utils Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk 2022-08-29 06:34:43 +02:00
rustc_type_ir
rustc_typeck Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errors 2022-08-29 16:49:39 +05:30