diff options
| author | Ralf Jung <post@ralfj.de> | 2019-12-01 12:08:05 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-12-01 12:08:05 +0100 |
| commit | a725a15ce2dff97768a588d3f83ba47af9d22a25 (patch) | |
| tree | c672705607d653c207650fb4b1a783a15d031fae /src/test/debuginfo/enum-thinlto.rs | |
| parent | 4007d4ef26eab44bdabc2b7574d032152264d3ad (diff) | |
| download | rust-a725a15ce2dff97768a588d3f83ba47af9d22a25.tar.gz rust-a725a15ce2dff97768a588d3f83ba47af9d22a25.zip | |
Miri core engine: use throw_ub instead of throw_panic
Diffstat (limited to 'src/test/debuginfo/enum-thinlto.rs')
0 files changed, 0 insertions, 0 deletions