(store: &Store<()>, mem: &Memory)
| 222 | }; |
| 223 | |
| 224 | unsafe fn assert_guards(store: &Store<()>, mem: &Memory) { |
| 225 | unsafe { |
| 226 | // guards before |
| 227 | println!("check pre-mem"); |
| 228 | assert_faults(mem.data_ptr(&store).offset(-(GUARD_SIZE as isize))); |
| 229 | |
| 230 | // unmapped just after memory |
| 231 | println!("check mem"); |
| 232 | assert_faults(mem.data_ptr(&store).add(mem.data_size(&store))); |
| 233 | |
| 234 | // guards after memory |
| 235 | println!("check post-mem"); |
| 236 | assert_faults(mem.data_ptr(&store).add(1 << 20)); |
| 237 | } |
| 238 | } |
| 239 | unsafe { |
| 240 | assert_guards(&store, &mem1); |
| 241 | assert_guards(&store, &mem2); |
no test coverage detected