Auto merge of #2837 - LegNeato:sigrtmin, r=saethlin

Add shim for SIGRTMIN

Fixes https://github.com/rust-lang/miri/issues/2832.

1 files changed, 19 insertions, 0 deletions

diff --git a/src/tools/miri/tests/pass-dep/shims/libc-misc.rs b/src/tools/miri/tests/pass-dep/shims/libc-misc.rs
index 98e1c3a0adb..6fffbc9b4ac 100644
--- a/src/tools/miri/tests/pass-dep/shims/libc-misc.rs
+++ b/src/tools/miri/tests/pass-dep/shims/libc-misc.rs
@@ -302,6 +302,24 @@ fn test_posix_mkstemp() {
     }
 }
 
+#[cfg(target_os = "linux")]
+fn test_sigrt() {
+    let min = libc::SIGRTMIN();
+    let max = libc::SIGRTMAX();
+
+    // "The Linux kernel supports a range of 33 different real-time
+    // signals, numbered 32 to 64"
+    assert!(min >= 32);
+    assert!(max >= 32);
+    assert!(min <= 64);
+    assert!(max <= 64);
+
+    // "POSIX.1-2001 requires that an implementation support at least
+    // _POSIX_RTSIG_MAX (8) real-time signals."
+    assert!(min < max);
+    assert!(max - min >= 8)
+}
+
 fn main() {
     test_posix_gettimeofday();
     test_posix_mkstemp();
@@ -319,5 +337,6 @@ fn main() {
     {
         test_posix_fadvise();
         test_sync_file_range();
+        test_sigrt();
     }
 }