Commit 3a4ea41fe8

Andrew Kelley <superjoe30@gmail.com>
2017-08-26 19:06:13
add some asserts in switch analysis code
master
1 parent 2b8f98a
Changed files (1)
src
ir.cpp
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) {