ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-08-06 15:48:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make intrinsics.type_merge form a union of the types; ignoring duplicates

Browse Source
This commit is contained in:
gingerBill
2023-05-19 12:11:18 +01:00
parent 2631e07bea
commit 4201834b18
1 changed files with 18 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/check_builtin.cpp
+18 -4
View File
@@ -4902,10 +4902,24 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
merged_union->Union.kind = ux->Union.kind; merged_union->Union.kind = ux->Union.kind;
merged_union->Union.custom_align = custom_align; merged_union->Union.custom_align = custom_align;
auto variants = slice_make<Type *>(permanent_allocator(), ux->Union.variants.count+uy->Union.variants.count); auto variants = array_make<Type *>(permanent_allocator(), 0, ux->Union.variants.count+uy->Union.variants.count);
slice_copy(&variants, ux->Union.variants, 0); for (Type *t : ux->Union.variants) {
slice_copy(&variants, uy->Union.variants, ux->Union.variants.count); array_add(&variants, t);
merged_union->Union.variants = variants; }
for (Type *t : uy->Union.variants) {
bool ok = true;
for (Type *other_t : ux->Union.variants) {
if (are_types_identical(other_t, t)) {
ok = false;
break;
}
}
if (ok) {
array_add(&variants, t);
}
}
merged_union->Union.variants = slice_from_array(variants);
operand->mode = Addressing_Type; operand->mode = Addressing_Type;
operand->type = merged_union; operand->type = merged_union;