user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Give a useful error message if user gives invalid random seed

Browse source
This commit is contained in:
Joshua Nelson 2019-07-13 08:28:33 -04:00
parent b5ddc94bf0
commit ebf65cbdab
1 changed files with 10 additions and 1 deletions
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()));
}