diff options
Diffstat (limited to '021check_instruction.cc')
-rw-r--r-- | 021check_instruction.cc | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index c049d619..93ce5427 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -176,7 +176,10 @@ bool is_mu_array(const type_tree* type) { if (!type) return false; if (is_literal(type)) return false; if (type->atom) return false; - assert(type->left->atom); + if (!type->left->atom) { + raise << "invalid type " << to_string(type) << '\n' << end(); + return false; + } return type->left->value == get(Type_ordinal, "array"); } @@ -188,7 +191,10 @@ bool is_mu_address(const type_tree* type) { if (!type) return false; if (is_literal(type)) return false; if (type->atom) return false; - assert(type->left->atom); + if (!type->left->atom) { + raise << "invalid type " << to_string(type) << '\n' << end(); + return false; + } return type->left->value == get(Type_ordinal, "address"); } |