diff options
| author | Michael Goulet <michael@errs.io> | 2023-12-22 21:41:03 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-22 21:41:03 -0500 |
| commit | 7dd095598badf3328877ab31039ade0e31b09c3a (patch) | |
| tree | 03973483fad03e3779a03db36a64cd1a16c84bd7 /compiler/rustc_interface/src | |
| parent | aaff4153229c7d34dcb4eeafb9395169b8768ef3 (diff) | |
| parent | ba430a36c0edbc24e525cfd53303997d478307c5 (diff) | |
| download | rust-7dd095598badf3328877ab31039ade0e31b09c3a.tar.gz rust-7dd095598badf3328877ab31039ade0e31b09c3a.zip | |
Rollup merge of #119077 - tmiasko:lint, r=cjgillot
Separate MIR lints from validation Add a MIR lint pass, enabled with -Zlint-mir, which identifies undefined or likely erroneous behaviour. The initial implementation mostly migrates existing checks of this nature from MIR validator, where they did not belong (those checks have false positives and there is nothing inherently invalid about MIR with undefined behaviour). Fixes #104736 Fixes #104843 Fixes #116079 Fixes #116736 Fixes #118990
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions