nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-25 16:24:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
7d53688b25
rust/compiler
History
bors daebce4247 Auto merge of #130540 - veera-sivarajan:fix-87525, r=estebank 
Add a Lint for Pointer to Integer Transmutes in Consts

Fixes #87525

This PR adds a MirLint for pointer to integer transmutes in const functions and associated consts. The implementation closely follows this comment: https://github.com/rust-lang/rust/pull/85769#issuecomment-880969112. More details about the implementation can be found in the comments.

Note: This could break some sound code as mentioned by RalfJung in https://github.com/rust-lang/rust/pull/85769#issuecomment-886491680:

> ... technically const-code could transmute/cast an int to a ptr and then transmute it back and that would be correct -- so the lint will deny some sound code. Does not seem terribly likely though.

References:
1. https://doc.rust-lang.org/std/mem/fn.transmute.html
2. https://doc.rust-lang.org/reference/items/associated-items.html#associated-constants
2024-10-06 02:39:23 +00:00
..
rustc disable size asserts in the compiler when randomizing layouts 2024-08-31 23:56:45 +02:00
rustc_abi Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_arena Remove unnecessary lifetimes from Arena. 2024-09-13 15:33:19 +10:00
rustc_ast Implement boolean lit support in cfg predicates 2024-10-01 10:01:33 +02:00
rustc_ast_ir Add warn(unreachable_pub) to several crates. 2024-08-16 08:46:13 +10:00
rustc_ast_lowering rm ItemKind::OpaqueTy 2024-10-04 23:28:22 +00:00
rustc_ast_passes Rollup merge of #130419 - nnethercote:streamline-HirCollector, r=GuillaumeGomez 2024-10-03 13:47:59 +02:00
rustc_ast_pretty Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_attr Rollup merge of #131034 - Urgau:cfg-true-false, r=nnethercote 2024-10-04 15:42:53 +02:00
rustc_baked_icu_data Don't add warn(unreachable_pub) to rustc_baked_icu. 2024-08-16 08:46:52 +10:00
rustc_borrowck Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errors 2024-10-05 06:19:35 +00:00
rustc_builtin_macros Use ast::NestedMetaItem when evaluating cfg predicate 2024-10-01 10:01:09 +02:00
rustc_codegen_cranelift Use wide pointers consistenly across the compiler 2024-10-04 14:06:48 +02:00
rustc_codegen_gcc Use wide pointers consistenly across the compiler 2024-10-04 14:06:48 +02:00
rustc_codegen_llvm Use wide pointers consistenly across the compiler 2024-10-04 14:06:48 +02:00
rustc_codegen_ssa Rollup merge of #131202 - Urgau:wide-ptrs-compiler, r=jieyouxu 2024-10-04 15:42:54 +02:00
rustc_const_eval Use wide pointers consistenly across the compiler 2024-10-04 14:06:48 +02:00
rustc_data_structures format 2024-10-01 17:21:56 -04:00
rustc_driver
rustc_driver_impl bump few deps 2024-09-27 09:23:05 +03:00
rustc_error_codes Use wide pointers consistenly across the compiler 2024-10-04 14:06:48 +02:00
rustc_error_messages Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_errors bump few deps 2024-09-27 09:23:05 +03:00
rustc_expand Rollup merge of #131034 - Urgau:cfg-true-false, r=nnethercote 2024-10-04 15:42:53 +02:00
rustc_feature Rollup merge of #131034 - Urgau:cfg-true-false, r=nnethercote 2024-10-04 15:42:53 +02:00
rustc_fluent_macro Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_fs_util Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_graphviz Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_hir rm ItemKind::OpaqueTy 2024-10-04 23:28:22 +00:00
rustc_hir_analysis Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errors 2024-10-05 06:19:35 +00:00
rustc_hir_pretty rm ItemKind::OpaqueTy 2024-10-04 23:28:22 +00:00
rustc_hir_typeck Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errors 2024-10-05 06:19:35 +00:00
rustc_incremental Dogfood feature(file_buffered) 2024-09-24 14:25:16 -07:00
rustc_index Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_index_macros
rustc_infer Rollup merge of #130518 - scottmcm:stabilize-controlflow-extra, r=dtolnay 2024-10-04 14:11:34 -07:00
rustc_interface Handle rustc_interface cases of rustc::potential_query_instability lint 2024-10-05 10:01:27 +03:00
rustc_lexer Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_lint Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errors 2024-10-05 06:19:35 +00:00
rustc_lint_defs Auto merge of #130540 - veera-sivarajan:fix-87525, r=estebank 2024-10-06 02:39:23 +00:00
rustc_llvm Unpin cc and upgrade to the latest version 2024-09-30 13:31:42 -04:00
rustc_log Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_macros Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_metadata Rollup merge of #130518 - scottmcm:stabilize-controlflow-extra, r=dtolnay 2024-10-04 14:11:34 -07:00
rustc_middle clarify semantics of ConstantIndex MIR projection 2024-10-05 12:19:14 +02:00
rustc_mir_build tweak Const::identity_unevaluated name and docs 2024-09-28 21:28:08 +02:00
rustc_mir_dataflow Fix some pub(crate) that were undetected bc of instrument 2024-10-04 14:02:09 -04:00
rustc_mir_transform Auto merge of #130540 - veera-sivarajan:fix-87525, r=estebank 2024-10-06 02:39:23 +00:00
rustc_monomorphize Use wide pointers consistenly across the compiler 2024-10-04 14:06:48 +02:00
rustc_next_trait_solver Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errors 2024-10-02 19:21:44 +00:00
rustc_parse Rollup merge of #131034 - Urgau:cfg-true-false, r=nnethercote 2024-10-04 15:42:53 +02:00
rustc_parse_format Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_passes fix typo in 'lang item with track_caller' message 2024-10-05 17:12:46 +02:00
rustc_pattern_analysis cleanup: don't clone types that are Copy 2024-09-29 13:31:30 +02:00
rustc_privacy Visit opaques for visibilities. 2024-10-04 23:31:55 +00:00
rustc_query_impl Handle rustc_query_impl cases of rustc::potential_query_instability lint 2024-10-03 12:47:08 +03:00
rustc_query_system add unstable support for outputting file checksums for use in cargo 2024-10-01 21:23:20 -06:00
rustc_resolve rustdoc: prevent ctors from resolving 2024-10-03 22:01:23 -07:00
rustc_sanitizers Fix some pub(crate) that were undetected bc of instrument 2024-10-04 14:02:09 -04:00
rustc_serialize Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
rustc_session Rollup merge of #131034 - Urgau:cfg-true-false, r=nnethercote 2024-10-04 15:42:53 +02:00
rustc_smir Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-errors 2024-09-27 21:35:08 +02:00
rustc_span Rollup merge of #131034 - Urgau:cfg-true-false, r=nnethercote 2024-10-04 15:42:53 +02:00
rustc_symbol_mangling Rollup merge of #130344 - Jaic1:fix-116306, r=BoxyUwU 2024-09-23 06:45:33 +02:00
rustc_target Update target fns to latest main 2024-10-05 12:14:35 +03:00
rustc_trait_selection Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errors 2024-10-05 06:19:35 +00:00
rustc_traits Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
rustc_transmute Fix some pub(crate) that were undetected bc of instrument 2024-10-04 14:02:09 -04:00
rustc_ty_utils rm ItemKind::OpaqueTy 2024-10-04 23:28:22 +00:00
rustc_type_ir Elaborate supertrait span correctly to label the error better 2024-10-04 17:15:28 -04:00
rustc_type_ir_macros Reformat using the new identifier sorting from rustfmt 2024-09-22 19:11:29 -04:00
stable_mir clarify semantics of ConstantIndex MIR projection 2024-10-05 12:19:14 +02:00