mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
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
…
rustc_abi
Reformat using the new identifier sorting from rustfmt
2024-09-22 19:11:29 -04:00
rustc_arena
…
rustc_ast
Implement boolean lit support in cfg predicates
2024-10-01 10:01:33 +02:00
rustc_ast_ir
…
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
…
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