diff options
| author | Andrew Kelley <superjoe30@gmail.com> | 2018-04-22 23:46:55 -0400 |
|---|---|---|
| committer | Andrew Kelley <superjoe30@gmail.com> | 2018-04-22 23:46:55 -0400 |
| commit | 8503eff8c12697c35ab5c73d6651c4b996339706 (patch) | |
| tree | 13ddf63aa1b81d4f905d80fac129866e2650cc88 /src/ir.cpp | |
| parent | 75328e32045d1275c03f1f37058ee0a3b775c632 (diff) | |
| download | zig-8503eff8c12697c35ab5c73d6651c4b996339706.tar.gz zig-8503eff8c12697c35ab5c73d6651c4b996339706.zip | |
add compile error for invalid deref on switch target
closes #945
Diffstat (limited to 'src/ir.cpp')
| -rw-r--r-- | src/ir.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/ir.cpp b/src/ir.cpp index 865a6823be..cd00fc6230 100644 --- a/src/ir.cpp +++ b/src/ir.cpp @@ -14782,7 +14782,10 @@ static TypeTableEntry *ir_analyze_instruction_switch_target(IrAnalyze *ira, return out_val->type; } - assert(target_value_ptr->value.type->id == TypeTableEntryIdPointer); + if (target_value_ptr->value.type->id != TypeTableEntryIdPointer) { + ir_add_error(ira, target_value_ptr, buf_sprintf("invalid deref on switch target")); + return ira->codegen->builtin_types.entry_invalid; + } TypeTableEntry *target_type = target_value_ptr->value.type->data.pointer.child_type; ConstExprValue *pointee_val = nullptr; |