mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #834 - jyn514:master, r=RalfJung

Browse Source 
Give a useful error message if user gives invalid random seed

I thought this crash was in my code at first because the error was so vague.
This commit is contained in:
bors 2019-07-13 12:28:43 +00:00
commit 677bde6851
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/bin/miri.rs
View File

@ -17,6 +17,8 @@ extern crate syntax;
use std::str::FromStr;
use std::env;
use hex::FromHexError;
use rustc_interface::interface;
use rustc::hir::def_id::LOCAL_CRATE;
@ -153,7 +155,14 @@ fn main() {
if seed.is_some() {
panic!("Cannot specify -Zmiri-seed multiple times!");
}
let seed_raw = hex::decode(arg.trim_start_matches("-Zmiri-seed=")).unwrap();
let seed_raw = hex::decode(arg.trim_start_matches("-Zmiri-seed="))
.unwrap_or_else(|err| match err {
FromHexError::InvalidHexCharacter { .. } => panic!(
"-Zmiri-seed should only contain valid hex digits [0-9a-fA-F]"
),
FromHexError::OddLength => panic!("-Zmiri-seed should have an even number of digits"),
err => panic!("Unknown error decoding -Zmiri-seed as hex: {:?}", err),
});
if seed_raw.len() > 8 {
panic!(format!("-Zmiri-seed must be at most 8 bytes, was {}", seed_raw.len()));
}