start messages in lower-case

diff --git a/src/helpers.rs b/src/helpers.rs
index ff4df42dde66ad7ec666e959a7ebdfcf5ecbdb9e..43d9f1bf0b06dac495c26dd9c3447f36b4aebf87 100644 (file)
--- a/src/helpers.rs
+++ b/src/helpers.rs
@@ -359,7 +359,7 @@ fn write_packed_immediates(
     fn check_no_isolation(&self, name: &str) -> InterpResult<'tcx> {
         if !self.eval_context_ref().machine.communicate {
             throw_unsup_format!(
-                "`{}` not available when isolation is enabled. Pass the flag `-Zmiri-disable-isolation` to disable it.",
+                "`{}` not available when isolation is enabled (pass the flag `-Zmiri-disable-isolation` to disable isolation)",
                 name,
             )
         }
@@ -415,13 +415,13 @@ fn set_last_error_from_io_error(&mut self, e: std::io::Error) -> InterpResult<'t
                 AlreadyExists => "EEXIST",
                 WouldBlock => "EWOULDBLOCK",
                 _ => {
-                    throw_unsup_format!("The {} error cannot be transformed into a raw os error", e)
+                    throw_unsup_format!("io error {} cannot be transformed into a raw os error", e)
                 }
             })?
         } else {
             // FIXME: we have to implement the Windows equivalent of this.
             throw_unsup_format!(
-                "Setting the last OS error from an io::Error is unsupported for {}.",
+                "setting the last OS error from an io::Error is unsupported for {}.",
                 target.target_os
             )
         };

diff --git a/src/shims/dlsym.rs b/src/shims/dlsym.rs
index 9027a97cf54e438dcab0101d56f42aec90ffc72f..b0e1850ec55d00f830d4d4c46942af8f62a8c25a 100644 (file)
--- a/src/shims/dlsym.rs
+++ b/src/shims/dlsym.rs
@@ -15,7 +15,7 @@ pub fn from_str(name: &str) -> InterpResult<'static, Option<Dlsym>> {
         Ok(match name {
             "getentropy" => Some(GetEntropy),
             "__pthread_get_minstack" => None,
-            _ => throw_unsup_format!("Unsupported dlsym: {}", name),
+            _ => throw_unsup_format!("unsupported dlsym: {}", name),
         })
     }
 }

diff --git a/src/shims/foreign_items.rs b/src/shims/foreign_items.rs
index 4c7bcff267e16b52af10e0be3a7a6c6a17c17b2c..b4931d36004444f20f79359d90b86b4d296c4fa7 100644 (file)
--- a/src/shims/foreign_items.rs
+++ b/src/shims/foreign_items.rs
@@ -436,7 +436,7 @@ fn emulate_foreign_item_by_name(
             _ => match this.tcx.sess.target.target.target_os.as_str() {
                 "linux" | "macos" => return posix::EvalContextExt::emulate_foreign_item_by_name(this, link_name, args, dest, ret),
                 "windows" => return windows::EvalContextExt::emulate_foreign_item_by_name(this, link_name, args, dest, ret),
-                target => throw_unsup_format!("The {} target platform is not supported", target),
+                target => throw_unsup_format!("the {} target platform is not supported", target),
             }
         };
 

diff --git a/src/shims/foreign_items/posix.rs b/src/shims/foreign_items/posix.rs
index 60b9aa6efccab14a8ad35804f97a6d6826263172..b9449c2653d623f17157c582964bdaca9133851d 100644 (file)
--- a/src/shims/foreign_items/posix.rs
+++ b/src/shims/foreign_items/posix.rs
@@ -310,7 +310,7 @@ fn emulate_foreign_item_by_name(
                 if let Some(result) = result {
                     this.write_scalar(result, dest)?;
                 } else {
-                    throw_unsup_format!("Unimplemented sysconf name: {}", name)
+                    throw_unsup_format!("unimplemented sysconf name: {}", name)
                 }
             }
 

diff --git a/src/shims/fs.rs b/src/shims/fs.rs
index 7c755143f2e81407bdbce5d43b74ff58b03f0d36..6894647de44da6ab65b2874e6abd6733eab6f533 100644 (file)
--- a/src/shims/fs.rs
+++ b/src/shims/fs.rs
@@ -198,7 +198,7 @@ fn file_type_to_d_type(&mut self, file_type: std::io::Result<FileType>) -> Inter
             }
             Err(e) => return match e.raw_os_error() {
                 Some(error) => Ok(error),
-                None => throw_unsup_format!("The error {} couldn't be converted to a return value", e),
+                None => throw_unsup_format!("the error {} couldn't be converted to a return value", e),
             }
         }
     }
@@ -261,7 +261,7 @@ fn open(
         // windows. We need to check that in fact the access mode flags for the current platform
         // only use these two bits, otherwise we are in an unsupported platform and should error.
         if (o_rdonly | o_wronly | o_rdwr) & !0b11 != 0 {
-            throw_unsup_format!("Access mode flags on this platform are unsupported");
+            throw_unsup_format!("access mode flags on this platform are unsupported");
         }
         let mut writable = true;
 
@@ -276,7 +276,7 @@ fn open(
         } else if access_mode == o_rdwr {
             options.read(true).write(true);
         } else {
-            throw_unsup_format!("Unsupported access mode {:#x}", access_mode);
+            throw_unsup_format!("unsupported access mode {:#x}", access_mode);
         }
         // We need to check that there aren't unsupported options in `flag`. For this we try to
         // reproduce the content of `flag` in the `mirror` variable using only the supported
@@ -351,7 +351,7 @@ fn fcntl(
             // differ in whether the FD_CLOEXEC flag is pre-set on the new file descriptor,
             // thus they can share the same implementation here.
             if fd < MIN_NORMAL_FILE_FD {
-                throw_unsup_format!("Duplicating file descriptors for stdin, stdout, or stderr is not supported")
+                throw_unsup_format!("duplicating file descriptors for stdin, stdout, or stderr is not supported")
             }
             let start_op = start_op.ok_or_else(|| {
                 err_unsup_format!(
@@ -369,7 +369,7 @@ fn fcntl(
             });
             this.try_unwrap_io_result(fd_result)
         } else {
-            throw_unsup_format!("The {:#x} command is not supported for `fcntl`)", cmd);
+            throw_unsup_format!("the {:#x} command is not supported for `fcntl`)", cmd);
         }
     }
 
@@ -913,7 +913,7 @@ fn linux_readdir64_r(
                     name_place.layout.size.bytes(),
                 )?;
                 if !name_fits {
-                    throw_unsup_format!("A directory entry had a name too large to fit in libc::dirent64");
+                    throw_unsup_format!("a directory entry had a name too large to fit in libc::dirent64");
                 }
 
                 let entry_place = this.deref_operand(entry_op)?;
@@ -953,7 +953,7 @@ fn linux_readdir64_r(
                 // return positive error number on error
                 Some(error) => Ok(error),
                 None => {
-                    throw_unsup_format!("The error {} couldn't be converted to a return value", e)
+                    throw_unsup_format!("the error {} couldn't be converted to a return value", e)
                 }
             },
         }
@@ -1001,7 +1001,7 @@ fn macos_readdir_r(
                     name_place.layout.size.bytes(),
                 )?;
                 if !name_fits {
-                    throw_unsup_format!("A directory entry had a name too large to fit in libc::dirent");
+                    throw_unsup_format!("a directory entry had a name too large to fit in libc::dirent");
                 }
 
                 let entry_place = this.deref_operand(entry_op)?;
@@ -1042,7 +1042,7 @@ fn macos_readdir_r(
                 // return positive error number on error
                 Some(error) => Ok(error),
                 None => {
-                    throw_unsup_format!("The error {} couldn't be converted to a return value", e)
+                    throw_unsup_format!("the error {} couldn't be converted to a return value", e)
                 }
             },
         }