|
2 | 2 | //@compile-flags: -Zmiri-disable-isolation -Zmiri-permissive-provenance
|
3 | 3 | #![feature(strict_provenance)]
|
4 | 4 |
|
| 5 | +use std::io::Error; |
5 | 6 | use std::{ptr, slice};
|
6 | 7 |
|
7 | 8 | fn test_mmap() {
|
@@ -32,6 +33,67 @@ fn test_mmap() {
|
32 | 33 | let just_an_address = ptr::invalid_mut(ptr.addr());
|
33 | 34 | let res = unsafe { libc::munmap(just_an_address, page_size) };
|
34 | 35 | assert_eq!(res, 0i32);
|
| 36 | + |
| 37 | + // Test all of our error conditions |
| 38 | + let ptr = unsafe { |
| 39 | + libc::mmap( |
| 40 | + ptr::null_mut(), |
| 41 | + page_size, |
| 42 | + libc::PROT_READ | libc::PROT_WRITE, |
| 43 | + libc::MAP_PRIVATE | libc::MAP_SHARED, // Can't be both private and shared |
| 44 | + -1, |
| 45 | + 0, |
| 46 | + ) |
| 47 | + }; |
| 48 | + assert_eq!(ptr, libc::MAP_FAILED); |
| 49 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::EINVAL); |
| 50 | + |
| 51 | + let ptr = unsafe { |
| 52 | + libc::mmap( |
| 53 | + ptr::null_mut(), |
| 54 | + 0, // Can't map no memory |
| 55 | + libc::PROT_READ | libc::PROT_WRITE, |
| 56 | + libc::MAP_PRIVATE | libc::MAP_ANONYMOUS, |
| 57 | + -1, |
| 58 | + 0, |
| 59 | + ) |
| 60 | + }; |
| 61 | + assert_eq!(ptr, libc::MAP_FAILED); |
| 62 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::EINVAL); |
| 63 | + |
| 64 | + let ptr = unsafe { |
| 65 | + libc::mmap( |
| 66 | + ptr::invalid_mut(page_size * 64), |
| 67 | + page_size, |
| 68 | + libc::PROT_READ | libc::PROT_WRITE, |
| 69 | + // We don't support MAP_FIXED |
| 70 | + libc::MAP_PRIVATE | libc::MAP_ANONYMOUS | libc::MAP_FIXED, |
| 71 | + -1, |
| 72 | + 0, |
| 73 | + ) |
| 74 | + }; |
| 75 | + assert_eq!(ptr, libc::MAP_FAILED); |
| 76 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::ENOTSUP); |
| 77 | + |
| 78 | + // We don't support protections other than read+write |
| 79 | + for prot in [libc::PROT_NONE, libc::PROT_EXEC, libc::PROT_READ, libc::PROT_WRITE] { |
| 80 | + let ptr = unsafe { |
| 81 | + libc::mmap( |
| 82 | + ptr::null_mut(), |
| 83 | + page_size, |
| 84 | + prot, |
| 85 | + libc::MAP_PRIVATE | libc::MAP_ANONYMOUS, |
| 86 | + -1, |
| 87 | + 0, |
| 88 | + ) |
| 89 | + }; |
| 90 | + assert_eq!(ptr, libc::MAP_FAILED); |
| 91 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::ENOTSUP); |
| 92 | + } |
| 93 | + |
| 94 | + let res = unsafe { libc::munmap(ptr::invalid_mut(1), page_size) }; |
| 95 | + assert_eq!(res, -1); |
| 96 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::EINVAL); |
35 | 97 | }
|
36 | 98 |
|
37 | 99 | #[cfg(target_os = "linux")]
|
@@ -61,6 +123,23 @@ fn test_mremap() {
|
61 | 123 |
|
62 | 124 | let res = unsafe { libc::munmap(ptr, page_size * 2) };
|
63 | 125 | assert_eq!(res, 0i32);
|
| 126 | + |
| 127 | + // Test all of our error conditions |
| 128 | + // Not aligned |
| 129 | + let ptr = |
| 130 | + unsafe { libc::mremap(ptr::invalid_mut(1), page_size, page_size, libc::MREMAP_MAYMOVE) }; |
| 131 | + assert_eq!(ptr, libc::MAP_FAILED); |
| 132 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::EINVAL); |
| 133 | + |
| 134 | + // Zero size |
| 135 | + let ptr = unsafe { libc::mremap(ptr::null_mut(), page_size, 0, libc::MREMAP_MAYMOVE) }; |
| 136 | + assert_eq!(ptr, libc::MAP_FAILED); |
| 137 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::EINVAL); |
| 138 | + |
| 139 | + // Not setting MREMAP_MAYMOVE |
| 140 | + let ptr = unsafe { libc::mremap(ptr::null_mut(), page_size, page_size, 0) }; |
| 141 | + assert_eq!(ptr, libc::MAP_FAILED); |
| 142 | + assert_eq!(Error::last_os_error().raw_os_error().unwrap(), libc::EINVAL); |
64 | 143 | }
|
65 | 144 |
|
66 | 145 | fn main() {
|
|
0 commit comments