From d49cd40ef0308fb9816847ef63cc2d574d6565eb Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 23 Nov 2014 19:16:50 +0000
Subject: Treat undef like unknown when needing a vector assignment of them

---
 src/lem_interp/interp.lem | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index cf8c325c..270885b5 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -582,7 +582,8 @@ let rec update_vector_start new_start expected_size v = match v with
   | V_vector_sparse m n inc vals d -> V_vector_sparse new_start n inc vals d 
   | V_unknown -> 
     V_vector new_start true (List.replicate (natFromInteger expected_size) V_unknown)
-  | V_lit (L_aux L_undef _) -> v
+  | V_lit (L_aux L_undef _) -> 
+    V_vector new_start true (List.replicate (natFromInteger expected_size) v)
   | V_track v r -> taint (update_vector_start new_start expected_size v) r
 end
 
-- 
cgit v1.2.3