mirror of
https://github.com/Ed94/Odin.git
synced 2026-08-06 15:48:51 +00:00
Move assert to else branch
This commit is contained in:
@@ -1574,9 +1574,14 @@ gb_internal void lb_store_type_case_implicit(lbProcedure *p, Ast *clause, lbValu
|
|||||||
GB_ASSERT(e != nullptr);
|
GB_ASSERT(e != nullptr);
|
||||||
if (e->flags & EntityFlag_Value) {
|
if (e->flags & EntityFlag_Value) {
|
||||||
// by value
|
// by value
|
||||||
GB_ASSERT(are_types_identical(e->type, value.type));
|
if (are_types_identical(e->type, value.type)) {
|
||||||
lbAddr x = lb_add_local(p, e->type, e, false);
|
lbAddr x = lb_add_local(p, e->type, e, false);
|
||||||
lb_addr_store(p, x, value);
|
lb_addr_store(p, x, value);
|
||||||
|
} else {
|
||||||
|
GB_ASSERT(are_types_identical(type_deref(e->type), value.type));
|
||||||
|
lbAddr x = lb_add_local(p, type_deref(e->type), e, false);
|
||||||
|
lb_addr_store(p, x, value);
|
||||||
|
}
|
||||||
} else {
|
} else {
|
||||||
if (!is_default_case) {
|
if (!is_default_case) {
|
||||||
Type *clause_type = e->type;
|
Type *clause_type = e->type;
|
||||||
|
|||||||
Reference in New Issue
Block a user