From 3a4ea41fe891b5b0b9b50cb80200a392e20cc31f Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Sat, 26 Aug 2017 13:06:13 -0400 Subject: add some asserts in switch analysis code --- src/ir.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/ir.cpp b/src/ir.cpp index c39950081f..39ff969dd6 100644 --- a/src/ir.cpp +++ b/src/ir.cpp @@ -14202,6 +14202,8 @@ static TypeTableEntry *ir_analyze_instruction_check_switch_prongs(IrAnalyze *ira if (!end_val) return ira->codegen->builtin_types.entry_invalid; + assert(start_val->type->id == TypeTableEntryIdInt || start_val->type->id == TypeTableEntryIdNumLitInt); + assert(end_val->type->id == TypeTableEntryIdInt || end_val->type->id == TypeTableEntryIdNumLitInt); AstNode *prev_node = rangeset_add_range(&rs, &start_val->data.x_bigint, &end_val->data.x_bigint, start_value->source_node); if (prev_node != nullptr) { -- cgit v1.2.3