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

Auto merge of #2546 - RalfJung:comments, r=RalfJung

Browse Source 
add/fix some comments
This commit is contained in:
bors 2022-09-18 12:07:56 +00:00
commit fd05ff5290
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/eval.rs
View File

@ -295,7 +295,10 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
let main_ptr = ecx.create_fn_alloc_ptr(FnVal::Instance(entry_instance)); let main_ptr = ecx.create_fn_alloc_ptr(FnVal::Instance(entry_instance));
let sigpipe = 2; // Inlining of `DEFAULT` from https://github.com/rust-lang/rust/blob/master/compiler/rustc_session/src/config/sigpipe.rs // Inlining of `DEFAULT` from
// https://github.com/rust-lang/rust/blob/master/compiler/rustc_session/src/config/sigpipe.rs.
// Alaways using DEFAULT is okay since we don't support signals in Miri anyway.
let sigpipe = 2;
ecx.call_function( ecx.call_function(
start_instance, start_instance,

2
src/shims/windows/foreign_items.rs
View File

@ -294,8 +294,8 @@ fn emulate_foreign_item_by_name(
let flags = this.read_scalar(flags)?.to_u32()?; let flags = this.read_scalar(flags)?.to_u32()?;
match flags { match flags {
0 => { 0 => {
// BCRYPT_RNG_ALG_HANDLE
if algorithm != 0x81 { if algorithm != 0x81 {
// BCRYPT_RNG_ALG_HANDLE
throw_unsup_format!( throw_unsup_format!(
"BCryptGenRandom algorithm must be BCRYPT_RNG_ALG_HANDLE when the flag is 0" "BCryptGenRandom algorithm must be BCRYPT_RNG_ALG_HANDLE when the flag is 0"
); );