miri: catch function calls where the argument is caller-invalid / the return value callee-invalid

[RalfJung]

When doing a type-changing copy, we must validate the data both at the old and new type.

Fixes rust-lang/miri#3017

[rustbot]

r? @oli-obk

(rustbot has picked a reviewer for you, use r? to override)

[rustbot]

The Miri subtree was changed

cc @rust-lang/miri

Some changes occurred to the CTFE / Miri engine

cc @rust-lang/miri

[oli-obk]

@bors r+

[bors]

📌 Commit 73d8dcb has been approved by oli-obk

It is now in the queue for this repository.

[bors]

⌛ Testing commit 73d8dcb with merge 3d24970...

[bors]

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 3d24970 to master...

[rust-timer]

Finished benchmarking commit (3d24970): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	0.8%	[0.8%, 0.8%]	3
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	3.3%	[3.3%, 3.3%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-1.1%	[-1.1%, -1.1%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.1%	[-1.1%, 3.3%]	2

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 628.962s -> 628.475s (-0.08%)
Artifact size: 318.09 MiB -> 318.12 MiB (0.01%)