Undo bad refactoring

Author: carbotaniuman

src/intptrcast.rs

@@ -105,8 +105,10 @@ impl<'mir, 'tcx> GlobalStateInner {
     ) -> Pointer<Option<Tag>> {
         trace!("Casting 0x{:x} to a pointer", addr);
 
+        let global_state = ecx.machine.intptrcast.borrow();
+
         // Special-case NULL, it is always an invalid pointer.
-        if addr == 0 {
+        if addr == 0 || global_state.provenance_mode == ProvenanceMode::Strict {
             return Pointer::new(None, Size::from_bytes(addr));
         }