diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-06-07 02:28:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-07 02:28:54 +0200 |
| commit | 63b314c367ad37ca7fdd40d7d3678ad42d93057a (patch) | |
| tree | 309d91cbf129be457c8119fe54bfaf3fc985c3ee /src/rustllvm/RustWrapper.cpp | |
| parent | 9c1857fad849ad56d38327b9bc11377a0bdbb4cf (diff) | |
| parent | f793c0b1bf3392c19eb11331fddc8c9f561361ee (diff) | |
| download | rust-63b314c367ad37ca7fdd40d7d3678ad42d93057a.tar.gz rust-63b314c367ad37ca7fdd40d7d3678ad42d93057a.zip | |
Rollup merge of #72810 - RalfJung:mir-terminate-sanity, r=jonas-schievink
validate basic sanity for TerminatorKind r? @jonas-schievink This mainly checks that all `BasicBlock` actually exist. On top of that, it checks that `Call` actually calls something of `FnPtr`/`FnDef` type, and `Assert` has to work on a `bool`. Also `SwitchInt` cannot have an empty target list.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions