aboutsummaryrefslogtreecommitdiff
path: root/src/ir.cpp
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2019-07-07 14:38:11 +0100
committergingerBill <bill@gingerbill.org>2019-07-07 14:38:11 +0100
commitd99ffe604f5dfca623f4973e7431b81a1bedfb77 (patch)
treeb0f78fb152fa1a8f8c4e662195c330868308a0d3 /src/ir.cpp
parentb77c79294cfc7c5674c2e1c25291bf97ae42761f (diff)
Fix unions with zero variants
Diffstat (limited to 'src/ir.cpp')
-rw-r--r--src/ir.cpp8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/ir.cpp b/src/ir.cpp
index b06c041e4..870c7da42 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -4008,8 +4008,12 @@ irValue *ir_emit_comp_against_nil(irProcedure *proc, TokenKind op_kind, irValue
irValue *len = ir_map_len(proc, x);
return ir_emit_comp(proc, op_kind, len, v_zero);
} else if (is_type_union(t)) {
- irValue *tag = ir_emit_union_tag_value(proc, x);
- return ir_emit_comp(proc, op_kind, tag, v_zero);
+ if (type_size_of(t) == 0) {
+ return ir_emit_comp(proc, op_kind, v_zero, v_zero);
+ } else {
+ irValue *tag = ir_emit_union_tag_value(proc, x);
+ return ir_emit_comp(proc, op_kind, tag, v_zero);
+ }
} else if (is_type_typeid(t)) {
irValue *invalid_typeid = ir_value_constant(t_typeid, exact_value_i64(0));
return ir_emit_comp(proc, op_kind, x, invalid_typeid);