diff options
| author | Kathy Gray | 2014-11-23 19:16:50 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-23 19:16:50 +0000 |
| commit | d49cd40ef0308fb9816847ef63cc2d574d6565eb (patch) | |
| tree | ca01d0f4d8a82a5e99d31c4120f51b1b911108e3 /src/lem_interp/interp.lem | |
| parent | b5069a7b00303bdab7b81b78f9db71cb46bc08eb (diff) | |
Treat undef like unknown when needing a vector assignment of them
Diffstat (limited to 'src/lem_interp/interp.lem')
| -rw-r--r-- | src/lem_interp/interp.lem | 3 |
1 files changed, 2 insertions, 1 deletions
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 |