From 4fb72d7511c67128faad363961cdd271dc1c7a48 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Thu, 19 Nov 2015 11:32:33 -0800
Subject: fix a crash on unknown type

---
 031address.cc | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/031address.cc b/031address.cc
index 040037bd..8efd5cd8 100644
--- a/031address.cc
+++ b/031address.cc
@@ -61,6 +61,13 @@ void lookup_memory(reagent& x) {
   drop_one_lookup(x);
 }
 
+:(scenario canonize_non_pointer_fails_without_crashing)
+% Hide_errors = true;
+recipe foo [
+  1:address:number <- get-address *p, x:offset
+]
+# don't crash
+
 :(after "bool types_strictly_match(reagent lhs, reagent rhs)")
   if (!canonize_type(lhs)) return false;
   if (!canonize_type(rhs)) return false;
@@ -88,6 +95,10 @@ bool canonize_type(reagent& r) {
 }
 
 void drop_address_from_type(reagent& r) {
+  if (!r.type) {
+    raise_error << "can't drop address from " << debug_string(r) << '\n' << end();
+    return;
+  }
   type_tree* tmp = r.type;
   r.type = tmp->right;
   tmp->right = NULL;
-- 
cgit 1.4.1-2-gfad0