* src/vm/jit/verify/typecheck-typeinferer.c: Check basic types in

debug mode.

diff --git a/src/vm/jit/verify/typecheck-typeinferer.c b/src/vm/jit/verify/typecheck-typeinferer.c
index 5de1a622b60e0c908c2a79d7f7262f50f60e774c..6ea736eb2e63c649844f9db9d562c22f43464f03 100644 (file)
--- a/src/vm/jit/verify/typecheck-typeinferer.c
+++ b/src/vm/jit/verify/typecheck-typeinferer.c
@@ -62,7 +62,8 @@
 #define EXCEPTION          do { return false; } while (0)
 #define VERIFY_ERROR(msg)  assert(false)
 
-#define CHECK_LOCAL_TYPE(index, t)
+#define CHECK_LOCAL_TYPE(index, t)                                   \
+       assert(jd->var[(index)].type == (t));
 
 #define STORE_LOCAL(t, index)                                        \
     do {                                                             \