about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2024-08-04 11:32:34 +0200
committerGitHub <noreply@github.com>2024-08-04 11:32:34 +0200
commit19bceedd784f101388d97c710651e3af757d7cf8 (patch)
treea8eb441dbb9bcbe2e68840503665c4605b80051d /compiler/rustc_pattern_analysis/src
parentc8a33f7e34ff9466eafed7ed0107501d32acaec3 (diff)
parent21c02517c31e90ec1c001f3997abcea2caa36f0c (diff)
downloadrust-19bceedd784f101388d97c710651e3af757d7cf8.tar.gz
rust-19bceedd784f101388d97c710651e3af757d7cf8.zip
Rollup merge of #128531 - RalfJung:miri-recursive-validity, r=saethlin
Miri: add a flag to do recursive validity checking

The point of this flag is to allow gathering experimental data for https://github.com/rust-lang/unsafe-code-guidelines/issues/412.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions