diff options
| author | Andrew Kelley <andrew@ziglang.org> | 2019-03-24 01:15:21 -0400 |
|---|---|---|
| committer | Andrew Kelley <andrew@ziglang.org> | 2019-03-24 01:15:21 -0400 |
| commit | aff7b38838628a18f384c1f625d71c085c8eee1f (patch) | |
| tree | da3aeac68f687d1fb15e5aa138f2b4436acba438 /src/ir.cpp | |
| parent | a736dfe6a1c7a43c9cb9474255ec34261e5f80ab (diff) | |
| download | zig-aff7b38838628a18f384c1f625d71c085c8eee1f.tar.gz zig-aff7b38838628a18f384c1f625d71c085c8eee1f.zip | |
make switch expressions allow enum literal types
See #683
Diffstat (limited to 'src/ir.cpp')
| -rw-r--r-- | src/ir.cpp | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/ir.cpp b/src/ir.cpp index c8514bf8e8..29b6eef27a 100644 --- a/src/ir.cpp +++ b/src/ir.cpp @@ -20884,18 +20884,19 @@ static IrInstruction *ir_analyze_instruction_check_switch_prongs(IrAnalyze *ira, for (size_t range_i = 0; range_i < instruction->range_count; range_i += 1) { IrInstructionCheckSwitchProngsRange *range = &instruction->ranges[range_i]; - IrInstruction *start_value = range->start->child; + IrInstruction *start_value_uncasted = range->start->child; + if (type_is_invalid(start_value_uncasted->value.type)) + return ira->codegen->invalid_instruction; + IrInstruction *start_value = ir_implicit_cast(ira, start_value_uncasted, switch_type); if (type_is_invalid(start_value->value.type)) return ira->codegen->invalid_instruction; - IrInstruction *end_value = range->end->child; - if (type_is_invalid(end_value->value.type)) + IrInstruction *end_value_uncasted = range->end->child; + if (type_is_invalid(end_value_uncasted->value.type)) return ira->codegen->invalid_instruction; - - if (start_value->value.type->id != ZigTypeIdEnum) { - ir_add_error(ira, range->start, buf_sprintf("not an enum type")); + IrInstruction *end_value = ir_implicit_cast(ira, end_value_uncasted, switch_type); + if (type_is_invalid(end_value->value.type)) return ira->codegen->invalid_instruction; - } BigInt start_index; bigint_init_bigint(&start_index, &start_value->value.data.x_enum_tag); |
