update for is_null removal

Author: RalfJung

src/fn_call.rs

@@ -132,7 +132,7 @@ impl<'a, 'mir, 'tcx: 'mir + 'a> EvalContextExt<'tcx, 'mir> for super::MiriEvalCo
 
             "free" => {
                 let ptr = self.read_scalar(args[0])?.not_undef()?.erase_tag(); // raw ptr operation, no tag
-                if !ptr.is_null() {
+                if !ptr.is_null_ptr(&self) {
                     self.memory.deallocate(
                         ptr.to_ptr()?.with_default_tag(),
                         None,
@@ -353,7 +353,7 @@ impl<'a, 'mir, 'tcx: 'mir + 'a> EvalContextExt<'tcx, 'mir> for super::MiriEvalCo
                 let mut success = None;
                 {
                     let name_ptr = self.read_scalar(args[0])?.not_undef()?.erase_tag(); // raw ptr operation
-                    if !name_ptr.is_null() {
+                    if !name_ptr.is_null_ptr(&self) {
                         let name = self.memory.read_c_str(name_ptr.to_ptr()?.with_default_tag())?;
                         if !name.is_empty() && !name.contains(&b'=') {
                             success = Some(self.machine.env_vars.remove(name));
@@ -376,7 +376,7 @@ impl<'a, 'mir, 'tcx: 'mir + 'a> EvalContextExt<'tcx, 'mir> for super::MiriEvalCo
                     let name_ptr = self.read_scalar(args[0])?.not_undef()?.erase_tag(); // raw ptr operation
                     let value_ptr = self.read_scalar(args[1])?.to_ptr()?.erase_tag(); // raw ptr operation
                     let value = self.memory.read_c_str(value_ptr.with_default_tag())?;
-                    if !name_ptr.is_null() {
+                    if !name_ptr.is_null_ptr(&self) {
                         let name = self.memory.read_c_str(name_ptr.to_ptr()?.with_default_tag())?;
                         if !name.is_empty() && !name.contains(&b'=') {
                             new = Some((name.to_owned(), value.to_owned()));

src/intrinsic.rs

@@ -231,7 +231,7 @@ impl<'a, 'mir, 'tcx> EvalContextExt<'tcx> for super::MiriEvalContext<'a, 'mir, '
                 let a = self.read_value(args[0])?;
                 let b = self.read_value(args[1])?;
                 // check x % y != 0
-                if !self.binary_op_val(mir::BinOp::Rem, a, b)?.0.is_null() {
+                if self.binary_op_val(mir::BinOp::Rem, a, b)?.0.to_bytes()? != 0 {
                     return err!(ValidationFailure(format!("exact_div: {:?} cannot be divided by {:?}", a, b)));
                 }
                 self.binop_ignore_overflow(mir::BinOp::Div, a, b, dest)?;

src/tls.rs

@@ -121,7 +121,7 @@ impl<'tcx> TlsData<'tcx> {
         for (&key, &mut TlsEntry { ref mut data, dtor }) in
             thread_local.range_mut((start, Unbounded))
         {
-            if !data.is_null() {
+            if !data.is_null_ptr(cx) {
                 if let Some(dtor) = dtor {
                     let ret = Some((dtor, *data, key));
                     *data = Scalar::ptr_null(cx);