src/compiler.hpp

@@ -1029,6 +1029,7 @@ struct MacroDeclaration
 {
     Slice<Argument> arguments;
     Slice<ConstantArgument> constant_arguments;
+    TypeList types;
     Type* return_type;
     Block* block;
     String name;
@@ -1933,13 +1934,12 @@ fn Type* get_enum_array_type(Module* module, Type* enum_type, Type* element_type
                 return last_enum_type;
             }
 
-            auto next = last_enum_type->enum_array.next;
+            if (!last_enum_type->enum_array.next)
-            if (!next)
             {
                 break;
             }
 
-            last_enum_type = next;
+            last_enum_type = last_enum_type->enum_array.next;
         }
     }
 

src/emitter.cpp

@@ -43,7 +43,6 @@ enum class TypeKind
     abi,
     memory,
 };
-
 fn void analyze_block(Module* module, Block* block);
 fn void emit_local_storage(Module* module, Variable* variable);
 fn void emit_assignment(Module* module, LLVMValueRef left_llvm, Type* left_type, Value* right);
@@ -341,7 +340,6 @@ fn bool is_arbitrary_bit_integer(Type* type)
     {
         case TypeId::integer: switch (type->integer.bit_count)
                               {
-                                  case 1:
                                   case 8:
                                   case 16:
                                   case 32:
@@ -1624,10 +1622,7 @@ fn AbiInformation abi_system_v_get_indirect_result(Module* module, Type* type, u
     {
         if (is_promotable_integer_type_for_abi(type))
         {
-            return abi_system_v_get_extend({
+            trap();
-                .semantic_type = type,
-                .sign = type_is_signed(type),
-            });
         }
         else
         {
@@ -1659,6 +1654,7 @@ fn AbiInformation abi_system_v_get_indirect_result(Module* module, Type* type, u
     }
 }
 
+
 struct AbiSystemVClassifyArgumentTypeOptions
 {
     u32 available_gpr;
@@ -1953,7 +1949,7 @@ struct AllocaOptions
 
 fn Global* get_current_function(Module* module)
 {
-    Global* parent_function_global = 0;
+    Global* parent_function_global;
     if (module->current_function)
     {
         parent_function_global = module->current_function;
@@ -1962,6 +1958,10 @@ fn Global* get_current_function(Module* module)
     {
         parent_function_global = module->current_macro_instantiation->instantiation_function;
     }
+    else
+    {
+        report_error();
+    }
 
     return parent_function_global;
 }
@@ -4095,10 +4095,7 @@ fn void analyze_type(Module* module, Value* value, Type* expected_type, TypeAnal
                             bool is_ordered = true;
                             auto enum_type = aggregate_type->enum_array.enum_type;
                             auto element_type = aggregate_type->enum_array.element_type;
-                            if (enum_type->id != TypeId::enumerator)
+                            assert(enum_type->id == TypeId::enumerator);
-                            {
-                                report_error();
-                            }
                             auto fields = enum_type->enumerator.fields;
 
                             assert(fields.length <= 64);
@@ -9375,7 +9372,6 @@ void emit(Module* module)
                                     abi_argument_type_count += 1;
                                 }
 
-
                                 for (u64 i = 0; i < semantic_argument_count; i += 1)
                                 {
                                     auto& abi = function_type->abi.argument_abis[i];

src/parser.cpp

@@ -2693,11 +2693,7 @@ fn Statement* parse_statement(Module* module, Scope* scope)
                             } break;
                         case StatementStartKeyword::return_st:
                             {
-                                Value* return_value = 0;
+                                auto return_value = parse_value(module, scope, {});
-                                if (module->content[module->offset] != ';')
-                                {
-                                    return_value = parse_value(module, scope, {});
-                                }
                                 statement->return_st = return_value;
                                 statement->id = StatementId::return_st;
                             } break;