aboutsummaryrefslogtreecommitdiff
path: root/src/ir.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/ir.cpp')
-rw-r--r--src/ir.cpp9
1 files changed, 4 insertions, 5 deletions
diff --git a/src/ir.cpp b/src/ir.cpp
index fe603dc2d9..369369aecf 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -5030,11 +5030,10 @@ static IrInstruction *ir_analyze_maybe_wrap(IrAnalyze *ira, IrInstruction *sourc
static IrInstruction *ir_analyze_pointer_reinterpret(IrAnalyze *ira, IrInstruction *source_instr,
IrInstruction *ptr, TypeTableEntry *wanted_type)
{
- assert(wanted_type->id == TypeTableEntryIdPointer);
-
- if (ptr->value.type->id != TypeTableEntryIdPointer) {
- ir_add_error(ira, ptr,
- buf_sprintf("expected pointer, found '%s'", buf_ptr(&ptr->value.type->name)));
+ if (ptr->value.type->id != TypeTableEntryIdPointer &&
+ ptr->value.type->id != TypeTableEntryIdMaybe)
+ {
+ ir_add_error(ira, ptr, buf_sprintf("expected pointer, found '%s'", buf_ptr(&ptr->value.type->name)));
return ira->codegen->invalid_instruction;
}