Skip to content

Commit 20da2f1

Browse files
committed
cargo fmt
1 parent 73e9275 commit 20da2f1

File tree

4 files changed

+8
-11
lines changed

4 files changed

+8
-11
lines changed

src/shims/foreign_items.rs

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -165,9 +165,12 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
165165
))
166166
}
167167
_ => {
168-
this.handle_unsupported(format!("can't call (diverging) foreign function: {}", link_name))?;
168+
this.handle_unsupported(format!(
169+
"can't call (diverging) foreign function: {}",
170+
link_name
171+
))?;
169172
return Ok(None);
170-
},
173+
}
171174
},
172175
Some(p) => p,
173176
};

src/shims/panic.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -164,7 +164,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
164164
/// Handler that should be called when unsupported functionality is encountered.
165165
/// This function will either panic within the context of the emulated application
166166
/// or return an error in the Miri process context
167-
///
167+
///
168168
/// Return value of `Ok(bool)` indicates whether execution should continue.
169169
fn handle_unsupported<S: AsRef<str>>(&mut self, error_msg: S) -> InterpResult<'tcx, ()> {
170170
let error = format!("unsupported Miri functionality: {}", error_msg.as_ref());

src/shims/posix/linux/foreign_items.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -218,10 +218,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
218218
}
219219

220220
_ => {
221-
this.handle_unsupported(format!(
222-
"can't call foreign function {:?}",
223-
link_name
224-
))?;
221+
this.handle_unsupported(format!("can't call foreign function {:?}", link_name))?;
225222
return Ok(false);
226223
}
227224
};

src/shims/posix/macos/foreign_items.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -157,10 +157,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
157157
}
158158

159159
_ => {
160-
this.handle_unsupported(format!(
161-
"can't call foreign function {:?}",
162-
link_name
163-
))?;
160+
this.handle_unsupported(format!("can't call foreign function {:?}", link_name))?;
164161

165162
return Ok(false);
166163
}

0 commit comments

Comments
 (0)