| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/mir/interpret/ |
| H A D | error.rs | 172 pub enum CheckInAllocMsg { enum
183 impl fmt::Display for CheckInAllocMsg { implementation
191 CheckInAllocMsg::DerefTest => "dereferencing pointer failed: ", in fmt()
192 CheckInAllocMsg::MemoryAccessTest => "memory access failed: ", in fmt()
193 CheckInAllocMsg::PointerArithmeticTest => "pointer arithmetic failed: ", in fmt()
194 CheckInAllocMsg::InboundsTest => "", in fmt()
249 msg: CheckInAllocMsg,
252 DanglingIntPointer(u64, CheckInAllocMsg),
344 DanglingIntPointer(0, CheckInAllocMsg::InboundsTest) => { in fmt()
|
| H A D | mod.rs | 121 struct_error, CheckInAllocMsg, ErrorHandled, EvalToAllocationRawResult, EvalToConstValueResult,
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_const_eval/src/interpret/ |
| H A D | memory.rs | 23 alloc_range, AllocId, AllocMap, AllocRange, Allocation, CheckInAllocMsg, GlobalAlloc,
366 CheckInAllocMsg::MemoryAccessTest, in get_ptr_access()
384 msg: CheckInAllocMsg, in check_ptr_access_align() argument
388 CheckInAllocMsg::DerefTest | CheckInAllocMsg::MemoryAccessTest => { in check_ptr_access_align()
391 CheckInAllocMsg::PointerArithmeticTest | CheckInAllocMsg::InboundsTest => { in check_ptr_access_align()
410 msg: CheckInAllocMsg, in check_and_deref_ptr() argument
604 CheckInAllocMsg::MemoryAccessTest, in get()
1182 err_ub!(DanglingIntPointer(offset, CheckInAllocMsg::InboundsTest)).into() in ptr_get_alloc()
|
| H A D | validity.rs | 22 alloc_range, CheckInAllocMsg, GlobalAlloc, InterpCx, InterpResult, MPlaceTy, Machine,
321 … CheckInAllocMsg::InboundsTest, // will anyway be replaced by validity message in check_wide_ptr_meta()
409 CheckInAllocMsg::InboundsTest, // will anyway be replaced by validity message in check_safe_pointer()
|
| H A D | intrinsics.rs | 21 util::ensure_monomorphic_enough, CheckInAllocMsg, ImmTy, InterpCx, Machine, OpTy, PlaceTy,
517 CheckInAllocMsg::PointerArithmeticTest, in ptr_offset_inbounds()
|
| H A D | place.rs | 17 alloc_range, mir_assign_valid_types, AllocId, AllocRef, AllocRefMut, CheckInAllocMsg,
304 self.check_mplace_access(mplace, CheckInAllocMsg::DerefTest)?; in deref_operand()
334 msg: CheckInAllocMsg, in check_mplace_access() argument
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/miri/src/shims/ |
| H A D | intrinsics.rs | 582 CheckInAllocMsg::MemoryAccessTest, in atomic_load()
608 CheckInAllocMsg::MemoryAccessTest, in atomic_store()
663 CheckInAllocMsg::MemoryAccessTest, in atomic_op()
705 CheckInAllocMsg::MemoryAccessTest, in atomic_exchange()
736 CheckInAllocMsg::MemoryAccessTest, in atomic_compare_exchange_impl()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/miri/src/shims/posix/linux/ |
| H A D | sync.rs | 86 CheckInAllocMsg::MemoryAccessTest, in futex()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/miri/src/ |
| H A D | stacked_borrows.rs | 634 msg: CheckInAllocMsg::InboundsTest in reborrow()
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/miri/src/shims/posix/ |
| H A D | fs.rs | 673 CheckInAllocMsg::MemoryAccessTest, in read()
719 CheckInAllocMsg::MemoryAccessTest, in write()
|