From a380b803ac8b4eefcde4d3d552cdcbc8010aa798 Mon Sep 17 00:00:00 2001
From: Andrew Kelley <superjoe30@gmail.com>
Date: Thu, 21 Apr 2016 09:47:41 -0700
Subject: [PATCH] ability to use a struct with no fields

---
 src/analyze.cpp      |  3 ++-
 src/codegen.cpp      |  4 +++-
 test/self_hosted.zig | 10 ++++++++++
 3 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/src/analyze.cpp b/src/analyze.cpp
index 73839716e0f674b557f6366fdbd18c0b6a5900bc..ae1400048e0acf957942c700c81f0fcfb998d2fa 100644
--- a/src/analyze.cpp
+++ b/src/analyze.cpp
@@ -2219,7 +2219,8 @@ static TypeTableEntry *analyze_container_init_expr(CodeGen *g, ImportTableEntry
         return container_type;
     } else if (container_type->id == TypeTableEntryIdStruct &&
                !container_type->data.structure.is_unknown_size_array &&
-               kind == ContainerInitKindStruct)
+               (kind == ContainerInitKindStruct || (kind == ContainerInitKindArray &&
+                                                    container_init_expr->entries.length == 0)))
     {
         StructValExprCodeGen *codegen = &container_init_expr->resolved_struct_val_expr;
         codegen->type_entry = container_type;
diff --git a/src/codegen.cpp b/src/codegen.cpp
index 80eb4b20895aca369021ca2eab17d9364f0e8cd2..8ba76e0cfb820757db46611830c403489c2007b9 100644
--- a/src/codegen.cpp
+++ b/src/codegen.cpp
@@ -801,14 +801,16 @@ static LLVMValueRef gen_fn_call_expr(CodeGen *g, AstNode *node) {
         gen_param_values[gen_param_index] = node->data.fn_call_expr.tmp_ptr;
         gen_param_index += 1;
     }
-    if (struct_type) {
+    if (struct_type && type_has_bits(struct_type)) {
         gen_param_values[gen_param_index] = gen_expr(g, first_param_expr);
+        assert(gen_param_values[gen_param_index]);
         gen_param_index += 1;
     }
 
     for (int i = 0; i < fn_call_param_count; i += 1) {
         AstNode *expr_node = node->data.fn_call_expr.params.at(i);
         LLVMValueRef param_value = gen_expr(g, expr_node);
+        assert(param_value);
         TypeTableEntry *param_type = get_expr_type(expr_node);
         if (is_var_args || type_has_bits(param_type)) {
             gen_param_values[gen_param_index] = param_value;
diff --git a/test/self_hosted.zig b/test/self_hosted.zig
index e621dbf3f2d47b0e77b516615f29a7b1c4a47788..3bf19b61f5d5ddf927eb846a08ff10e998076caa 100644
--- a/test/self_hosted.zig
+++ b/test/self_hosted.zig
@@ -1285,3 +1285,13 @@ fn mangle_string(s: []u8) {
         *c += 1;
     }
 }
+
+#attribute("test")
+fn empty_struct_method_call() {
+    const es = EmptyStruct{};
+    assert(es.method() == 1234);
+}
+struct EmptyStruct {
+    #static_eval_enable(false)
+    fn method(es: EmptyStruct) -> i32 { 1234 }
+}
-- 
2.54.0