Assume pointer is not null in GlobalAlloc::dealloc

Signed-off-by: David McNeil <[email protected]>
gnzlbg · Dec 11, 2019 · d292b38 · d292b38 · draft6 · Dec 18, 2019
1 parent 6fa4273
commit d292b38
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -122,6 +122,7 @@ unsafe impl GlobalAlloc for Jemalloc {
 
     #[inline]
     unsafe fn dealloc(&self, ptr: *mut u8, layout: Layout) {
+        assume!(!ptr.is_null())
         assume!(layout.size() != 0);
         let flags = layout_to_flags(layout.align(), layout.size());
         ffi::sdallocx(ptr as *mut c_void, layout.size(), flags)