diff options
| author | gingerBill <bill@gingerbill.org> | 2019-12-01 16:05:48 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2019-12-01 16:05:48 +0000 |
| commit | 3fa4c5043a9bf5f80cd6c80d9472998e586740de (patch) | |
| tree | de05ef7fce1c07228d7377559bc975a96f6d4094 /src/check_expr.cpp | |
| parent | 9db81498d8fbf4b24383cd7de94619943ad4e01a (diff) | |
Fix crash caused by not checking for correct SOA kind on polymorphic parameters
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/check_expr.cpp b/src/check_expr.cpp index ca089a745..2ee91a5b3 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -926,7 +926,8 @@ bool is_polymorphic_type_assignable(CheckerContext *c, Type *poly, Type *source, case Type_Struct: if (source->kind == Type_Struct) { - if (poly->Struct.soa_kind == source->Struct.soa_kind) { + if (poly->Struct.soa_kind == source->Struct.soa_kind && + poly->Struct.soa_kind != StructSoa_None) { bool ok = is_polymorphic_type_assignable(c, poly->Struct.soa_elem, source->Struct.soa_elem, true, modify_type); if (ok) switch (source->Struct.soa_kind) { case StructSoa_Fixed: |