From b2a58c83be035f50fbae7e6c93e1d6b37f9722f5 Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Sat, 28 Apr 2018 13:56:54 +0100
Subject: [PATCH] Assign mode to invalid objects

---
 src/pointer-analysis/value_set_dereference.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/pointer-analysis/value_set_dereference.cpp b/src/pointer-analysis/value_set_dereference.cpp
index 3e6e653d7a7..8b2ed99baab 100644
--- a/src/pointer-analysis/value_set_dereference.cpp
+++ b/src/pointer-analysis/value_set_dereference.cpp
@@ -153,6 +153,7 @@ exprt value_set_dereferencet::dereference(
       symbol.name="symex::invalid_object"+std::to_string(invalid_counter++);
       symbol.base_name="invalid_object";
       symbol.type=type;
+      symbol.mode = language_mode;
 
       // make it a lvalue, so we can assign to it
       symbol.is_lvalue=true;