Skip to content

Commit e246735

Browse files
committed
Remove unneeded asserts
1 parent 10d9ecd commit e246735

File tree

2 files changed

+1
-8
lines changed

2 files changed

+1
-8
lines changed

compiler/rustc_const_eval/src/interpret/cast.rs

-3
Original file line numberDiff line numberDiff line change
@@ -225,9 +225,6 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
225225
let addr = u64::try_from(size.truncate(v)).unwrap();
226226

227227
let ptr = M::ptr_from_addr_cast(&self, addr);
228-
if addr == 0 {
229-
assert!(ptr.provenance.is_none(), "null pointer can never have an AllocId");
230-
}
231228
Scalar::from_maybe_pointer(ptr, self)
232229
}
233230

compiler/rustc_const_eval/src/interpret/memory.rs

+1-5
Original file line numberDiff line numberDiff line change
@@ -1144,11 +1144,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
11441144
Err(ptr) => ptr.into(),
11451145
Ok(bits) => {
11461146
let addr = u64::try_from(bits).unwrap();
1147-
let ptr = M::ptr_from_addr_transmute(&self, addr);
1148-
if addr == 0 {
1149-
assert!(ptr.provenance.is_none(), "null pointer can never have an AllocId");
1150-
}
1151-
ptr
1147+
M::ptr_from_addr_transmute(&self, addr)
11521148
}
11531149
},
11541150
)

0 commit comments

Comments
 (0)