From c7b3036cefcd0dc412cb400455324d7ca8cd518e Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Sun, 13 May 2018 09:55:13 +0800
Subject: Standalone MIRI - memrchr and better null checking

---
 tools/standalone_miri/value.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tools/standalone_miri/value.cpp')

diff --git a/tools/standalone_miri/value.cpp b/tools/standalone_miri/value.cpp
index 468425e9..db352019 100644
--- a/tools/standalone_miri/value.cpp
+++ b/tools/standalone_miri/value.cpp
@@ -169,6 +169,9 @@ void* ValueCommon::read_pointer_unsafe(size_t rd_ofs, size_t req_valid, size_t&
         if( ofs != 0 ) {
             LOG_FATAL("Read a non-zero offset with no relocation");
         }
+        if( req_valid > 0 ) {
+            LOG_ERROR("Attempting to read a null pointer");
+        }
         out_is_mut = false;
         out_size = 0;
         return nullptr;
-- 
cgit v1.2.3