bors 591ecb88df Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlin ... miri: make vtable addresses not globally unique Miri currently gives vtables a unique global address. That's not actually matching reality though. So this PR enables Miri to generate different addresses for the same type-trait pair. To avoid generating an unbounded number of `AllocId` (and consuming unbounded amounts of memory), we use the "salt" technique that we also already use for giving constants non-unique addresses: the cache is keyed on a "salt" value n top of the actually relevant key, and Miri picks a random salt (currently in the range `0..16`) each time it needs to choose an `AllocId` for one of these globals -- that means we'll get up to 16 different addresses for each vtable. The salt scheme is integrated into the global allocation deduplication logic in `tcx`, and also used for functions and string literals. (So this also fixes the problem that casting the same function to a fn ptr over and over will consume unbounded memory.) r? `@saethlin` Fixes https://github.com/rust-lang/miri/issues/3737		2024-08-13 04:32:34 +00:00
..
rustc	Link std statically in rustc_driver	2024-08-11 04:16:53 +02:00
rustc_abi	interpret: simplify pointer arithmetic logic	2024-08-01 14:25:19 +02:00
rustc_arena	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_ast	Use more slice patterns inside the compiler	2024-08-07 13:37:52 +02:00
rustc_ast_ir	Use dep: for crate dependencies	2024-07-15 12:40:10 -04:00
rustc_ast_lowering	Rollup merge of #128886 - GrigorenkoPV:untranslatable-diagnostic, r=nnethercote	2024-08-12 17:09:17 +02:00
rustc_ast_passes	Rollup merge of #127921 - spastorino:stabilize-unsafe-extern-blocks, r=compiler-errors	2024-08-03 20:51:51 +02:00
rustc_ast_pretty	Use more slice patterns inside the compiler	2024-08-07 13:37:52 +02:00
rustc_attr	Rollup merge of #128886 - GrigorenkoPV:untranslatable-diagnostic, r=nnethercote	2024-08-12 17:09:17 +02:00
rustc_baked_icu_data
rustc_borrowck	Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnr	2024-08-12 23:10:50 +02:00
rustc_builtin_macros	Rollup merge of #128762 - fmease:use-more-slice-pats, r=compiler-errors	2024-08-11 07:51:51 +02:00
rustc_codegen_cranelift	Rollup merge of #128149 - RalfJung:nontemporal_store, r=jieyouxu,Amanieu,Jubilee	2024-08-12 17:09:14 +02:00
rustc_codegen_gcc	Rollup merge of #128537 - Jamesbarford:118980-const-vector, r=RalfJung,nikic	2024-08-12 17:09:15 +02:00
rustc_codegen_llvm	Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxu	2024-08-12 17:09:19 +02:00
rustc_codegen_ssa	Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxu	2024-08-12 17:09:19 +02:00
rustc_const_eval	Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlin	2024-08-13 04:32:34 +00:00
rustc_data_structures	Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxu	2024-08-12 17:09:19 +02:00
rustc_driver
rustc_driver_impl	Rollup merge of #128762 - fmease:use-more-slice-pats, r=compiler-errors	2024-08-11 07:51:51 +02:00
rustc_error_codes	Update E0517 message to reflect RFC 2195.	2024-08-07 23:11:30 -05:00
rustc_error_messages	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_errors	Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxu	2024-08-12 17:09:19 +02:00
rustc_expand	Rollup merge of #128886 - GrigorenkoPV:untranslatable-diagnostic, r=nnethercote	2024-08-12 17:09:17 +02:00
rustc_feature	Stabilize min_exhaustive_patterns	2024-08-10 12:07:17 +02:00
rustc_fluent_macro	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_fs_util	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_graphviz	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_hir	Rollup merge of #128377 - veera-sivarajan:fix-128249, r=davidtwco	2024-08-06 20:23:39 +02:00
rustc_hir_analysis	Rollup merge of #128912 - compiler-errors:do-not-recommend-impl, r=lcnr	2024-08-12 23:10:51 +02:00
rustc_hir_pretty	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_hir_typeck	Remove struct_tail_no_normalization	2024-08-11 19:40:03 -04:00
rustc_incremental	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_index	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_index_macros	Remove usage of specialization from newtype_index!	2024-06-30 16:42:53 +00:00
rustc_infer	Use assert_matches around the compiler	2024-08-11 12:25:39 -04:00
rustc_interface	rustc_interface: remove a redundant #[allow(rustc::untranslatable_diagnostic)]	2024-08-10 14:32:56 +03:00
rustc_lexer	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_lint	Rollup merge of #128886 - GrigorenkoPV:untranslatable-diagnostic, r=nnethercote	2024-08-12 17:09:17 +02:00
rustc_lint_defs	Disallow setting built-in cfgs via set the command-line	2024-08-07 14:08:34 +02:00
rustc_llvm	Auto merge of #128371 - andjo403:rangeAttribute, r=nikic	2024-08-12 10:20:00 +00:00
rustc_log	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_macros	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_metadata	Rollup merge of #128886 - GrigorenkoPV:untranslatable-diagnostic, r=nnethercote	2024-08-12 17:09:17 +02:00
rustc_middle	Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlin	2024-08-13 04:32:34 +00:00
rustc_mir_build	Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlin	2024-08-13 04:32:34 +00:00
rustc_mir_dataflow	Use assert_matches around the compiler	2024-08-11 12:25:39 -04:00
rustc_mir_transform	Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxu	2024-08-12 17:09:19 +02:00
rustc_monomorphize	Rename struct_tail_erasing_lifetimes to struct_tail_for_codegen	2024-08-08 12:15:16 -04:00
rustc_next_trait_solver	Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement Fn	2024-08-08 14:07:31 -04:00
rustc_parse	Rollup merge of #128994 - nnethercote:fix-Parser-look_ahead-more, r=compiler-errors	2024-08-12 17:09:20 +02:00
rustc_parse_format	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_passes	Rollup merge of #128886 - GrigorenkoPV:untranslatable-diagnostic, r=nnethercote	2024-08-12 17:09:17 +02:00
rustc_pattern_analysis	Rollup merge of #128536 - Zalathar:print-cleanup, r=Nadrieril	2024-08-11 07:51:50 +02:00
rustc_privacy	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_query_impl	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_query_system	Use more slice patterns inside the compiler	2024-08-07 13:37:52 +02:00
rustc_resolve	Rollup merge of #128875 - bvanjoi:cleanup-import-used, r=petrochenkov	2024-08-11 07:51:52 +02:00
rustc_sanitizers	Use ParamEnv::reveal_all in CFI	2024-08-02 23:24:50 -04:00
rustc_serialize	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_session	Rollup merge of #128762 - fmease:use-more-slice-pats, r=compiler-errors	2024-08-11 07:51:51 +02:00
rustc_smir	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_span	Ask the user to use feature(rustc_private) when linking to rustc_driver	2024-08-11 04:16:53 +02:00
rustc_symbol_mangling	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_target	Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxu	2024-08-12 17:09:19 +02:00
rustc_trait_selection	Rollup merge of #128912 - compiler-errors:do-not-recommend-impl, r=lcnr	2024-08-12 23:10:51 +02:00
rustc_traits	Reformat use declarations.	2024-07-29 08:26:52 +10:00
rustc_transmute	Update std and compiler	2024-08-10 12:07:17 +02:00
rustc_ty_utils	Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnr	2024-08-12 23:10:50 +02:00
rustc_type_ir	Update std and compiler	2024-08-10 12:07:17 +02:00
rustc_type_ir_macros	Reformat use declarations.	2024-07-29 08:26:52 +10:00
stable_mir	Reformat use declarations.	2024-07-29 08:26:52 +10:00