From 2065ea88ee3000c24d3d3fc2fade98c899f261d6 Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Fri, 19 Jan 2018 14:56:06 -0500
Subject: [PATCH] fix null pointer dereference

---
 src/smt/theory_str.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index dceb17a06..5d66a4ec3 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -10372,7 +10372,9 @@ namespace smt {
                         }
                     }
                 } // foreach(entry in intersect_constraints)
-                aut_inter->compress();
+                if (aut_inter != NULL) {
+                    aut_inter->compress();
+                }
                 TRACE("str", tout << "intersected " << used_intersect_constraints.size() << " constraints" << std::endl;);
 
                 expr_ref_vector conflict_terms(m);