git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Ralf Jung <post@ralfj.de>
	Mon, 12 Jul 2021 16:22:15 +0000 (18:22 +0200)
committer	Ralf Jung <post@ralfj.de>
	Wed, 14 Jul 2021 16:17:46 +0000 (18:17 +0200)
commit	d4f7dd670226a4235ea4cf900c14eb9c6a536843
tree	fb5b4287bd53cee0633df3b455ebffa753be6b06	tree \| snapshot
parent	5aff6dd07a562a2cba3c57fc3460a72acb6bef46	commit \| diff

CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion infallible

This resolves all the problems we had around "normalizing" the representation of a Scalar in case it carries a Pointer value: we can just use Pointer if we want to have a value taht we are sure is already normalized.

34 files changed:

compiler/rustc_codegen_llvm/src/common.rs		diff \| blob \| history
compiler/rustc_codegen_llvm/src/consts.rs		diff \| blob \| history
compiler/rustc_middle/src/mir/interpret/allocation.rs		diff \| blob \| history
compiler/rustc_middle/src/mir/interpret/error.rs		diff \| blob \| history
compiler/rustc_middle/src/mir/interpret/mod.rs		diff \| blob \| history
compiler/rustc_middle/src/mir/interpret/pointer.rs		diff \| blob \| history
compiler/rustc_middle/src/mir/interpret/value.rs		diff \| blob \| history
compiler/rustc_middle/src/mir/mod.rs		diff \| blob \| history
compiler/rustc_middle/src/ty/consts/kind.rs		diff \| blob \| history
compiler/rustc_middle/src/ty/print/pretty.rs		diff \| blob \| history
compiler/rustc_middle/src/ty/relate.rs		diff \| blob \| history
compiler/rustc_mir/src/const_eval/error.rs		diff \| blob \| history
compiler/rustc_mir/src/const_eval/eval_queries.rs		diff \| blob \| history
compiler/rustc_mir/src/const_eval/machine.rs		diff \| blob \| history
compiler/rustc_mir/src/const_eval/mod.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/cast.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/eval_context.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/intern.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/intrinsics.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/intrinsics/caller_location.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/machine.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/memory.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/operand.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/operator.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/place.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/step.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/terminator.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/traits.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/validity.rs		diff \| blob \| history
compiler/rustc_mir/src/interpret/visitor.rs		diff \| blob \| history
compiler/rustc_mir/src/monomorphize/collector.rs		diff \| blob \| history
compiler/rustc_mir/src/transform/const_prop.rs		diff \| blob \| history
compiler/rustc_mir/src/transform/simplify_comparison_integral.rs		diff \| blob \| history
compiler/rustc_mir/src/util/pretty.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom