Skip to content

Commit e5546b6

Browse files
committed
Make some error messages lowercase
1 parent 8de92c3 commit e5546b6

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

src/shims/backtrace.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
7777

7878
let ptr = match this.read_scalar(ptr)?.check_init()? {
7979
Scalar::Ptr(ptr) => ptr,
80-
Scalar::Raw { .. } => throw_ub_format!("Expected a pointer in `rust_miri_resolve_frame`, found {:?}", ptr)
80+
Scalar::Raw { .. } => throw_ub_format!("expected a pointer in `rust_miri_resolve_frame`, found {:?}", ptr)
8181
};
8282

8383
let fn_instance = if let Some(GlobalAlloc::Function(instance)) = this.tcx.get_global_alloc(ptr.alloc_id) {
@@ -87,7 +87,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
8787
};
8888

8989
if dest.layout.layout.fields.count() != 4 {
90-
throw_ub_format!("Bad declaration of miri_resolve_frame - should return a struct with 4 fields");
90+
throw_ub_format!("bad declaration of miri_resolve_frame - should return a struct with 4 fields");
9191
}
9292

9393
let pos = BytePos(ptr.offset.bytes().try_into().unwrap());

tests/compile-fail/backtrace/bad-backtrace-decl.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ fn main() {
77
let frames = unsafe { miri_get_backtrace(0) };
88
for frame in frames.into_iter() {
99
unsafe {
10-
miri_resolve_frame(*frame, 0); //~ ERROR Undefined Behavior: Bad declaration of miri_resolve_frame - should return a struct with 4 fields
10+
miri_resolve_frame(*frame, 0); //~ ERROR Undefined Behavior: bad declaration of miri_resolve_frame - should return a struct with 4 fields
1111
}
1212
}
1313
}

tests/compile-fail/backtrace/bad-backtrace-ptr.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,6 @@ extern "Rust" {
44

55
fn main() {
66
unsafe {
7-
miri_resolve_frame(0 as *mut _, 0); //~ ERROR Undefined Behavior: Expected a pointer
7+
miri_resolve_frame(0 as *mut _, 0); //~ ERROR Undefined Behavior: expected a pointer
88
}
99
}

0 commit comments

Comments
 (0)