Fixed target OS condition in gettid

src/helpers.rs

@@ -741,6 +741,20 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
         )
     }
 
+    /// Helper function used inside the shims of foreign functions to assert that the target OS
+    /// is one of `target_oses`. It panics showing a message with the `name` of the foreign function
+    /// if this is not the case.
+    fn assert_target_os_is_one_of(&self, target_oses: &[&str], name: &str) {
+        assert!(
+            target_oses.contains(&self.eval_context_ref().tcx.sess.target.os.as_ref()),
+            "`{name}` is only available on the {} target OS's",
+                 target_oses.iter().enumerate().map(|(i, t)| match i {
+                     0 => format!("`{t}`"),
+                     _ => format!(", `{t}`"),
+                 }).collect::<String>()
+        )
+    }
+
     /// Helper function used inside the shims of foreign functions to assert that the target OS
     /// is part of the UNIX family. It panics showing a message with the `name` of the foreign function
     /// if this is not the case.

src/shims/unix/env.rs

@@ -284,7 +284,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
 
     fn linux_gettid(&mut self) -> InterpResult<'tcx, Scalar> {
         let this = self.eval_context_ref();
-        this.assert_target_os("linux", "gettid");
+        this.assert_target_os_is_one_of(&["linux", "android"], "gettid");
 
         let index = this.machine.threads.active_thread().to_u32();