:bug: Fix stmt_auto

diff --git a/src/emit/emit.c b/src/emit/emit.c
index 2e5cff70bc05f17f8b460676d2e87eac99d37048..18c127b6924f864ba674bd4f82a1ac7c5f8fcd0c 100644 (file)
--- a/src/emit/emit.c
+++ b/src/emit/emit.c
@@ -1506,7 +1506,6 @@ ANN static Instr emit_stmt_autoptr_init(const Emitter emit, const Type type) {
 }
 
 ANN static m_bool _emit_stmt_auto(const Emitter emit, const Stmt_Auto stmt, m_uint *end_pc) {
-  emit_push_scope(emit);
   const Instr s1 = emit_add_instr(emit, MemSetImm);
   Instr cpy = stmt->is_ptr ? emit_stmt_autoptr_init(emit, stmt->v->type) : NULL;
   emit_local(emit, emit->gwion->type[et_int]);
@@ -1527,8 +1526,6 @@ ANN static m_bool _emit_stmt_auto(const Emitter emit, const Stmt_Auto stmt, m_ui
   end->m_val = emit_code_size(emit);
   tgt->m_val = ini_pc;
   s1->m_val = loop->m_val = offset;
-  regpop(emit, SZ_INT);
-  emit_pop_scope(emit);
   return ret;
 }
 
@@ -1538,6 +1535,7 @@ ANN static m_bool emit_stmt_auto(const Emitter emit, const Stmt_Auto stmt) {
   m_uint end_pc = 0;
   const m_bool ret = _emit_stmt_auto(emit, stmt, &end_pc);
   emit_pop_stack(emit, end_pc);
+  regpop(emit, SZ_INT);
   return ret;
 }
 

diff --git a/src/parse/check.c b/src/parse/check.c
index 6695263a920be6f3c80376440d2bb9e996af1a30..17459c4d73210c32bc02abbfba2bebb7020afbf0 100644 (file)
--- a/src/parse/check.c
+++ b/src/parse/check.c
@@ -1000,12 +1000,12 @@ ANN static m_bool do_stmt_auto(const Env env, const Stmt_Auto stmt) {
           " This is not allowed in auto loop"), stmt->exp->info->type->name)
   if(stmt->is_ptr) {
     struct Type_List_ tl = {};
+    if(depth)
+      ptr = array_type(env, ptr, depth);
     Type_Decl *td0 = type2td(env, ptr, stmt->exp->pos),
       td = { .xid=insert_symbol("Ptr"), .types=&tl, .pos=stmt->exp->pos };
     tl.td = td0;
     ptr = known_type(env, &td);
-    if(depth)
-      ptr = array_type(env, ptr, depth);
     td0->array = NULL;
     free_type_decl(env->gwion->mp, td0);
     const Type base = get_type(ptr);