From 9598f36a84e19045e2978ab902e2367dc2fa12d4 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Mon, 15 Feb 2016 09:38:02 +0000
Subject: [PATCH] py/emitnative: Add check that RHS of viper store is of
 integral type.

---
 py/emitnative.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/py/emitnative.c b/py/emitnative.c
index a14894fd8d..fc9922c1b0 100644
--- a/py/emitnative.c
+++ b/py/emitnative.c
@@ -1698,6 +1698,10 @@ STATIC void emit_native_store_subscr(emit_t *emit) {
             #else
             emit_pre_pop_reg_flexible(emit, &vtype_value, &reg_value, reg_base, reg_index);
             #endif
+            if (vtype_value != VTYPE_BOOL && vtype_value != VTYPE_INT && vtype_value != VTYPE_UINT) {
+                EMIT_NATIVE_VIPER_TYPE_ERROR(emit,
+                    "can't store '%q'", vtype_to_qstr(vtype_value));
+            }
             switch (vtype_base) {
                 case VTYPE_PTR8: {
                     // pointer to 8-bit memory
@@ -1784,6 +1788,10 @@ STATIC void emit_native_store_subscr(emit_t *emit) {
             #else
             emit_pre_pop_reg_flexible(emit, &vtype_value, &reg_value, REG_ARG_1, reg_index);
             #endif
+            if (vtype_value != VTYPE_BOOL && vtype_value != VTYPE_INT && vtype_value != VTYPE_UINT) {
+                EMIT_NATIVE_VIPER_TYPE_ERROR(emit,
+                    "can't store '%q'", vtype_to_qstr(vtype_value));
+            }
             switch (vtype_base) {
                 case VTYPE_PTR8: {
                     // pointer to 8-bit memory