harec

commit 0d8fc810973a8a9e4e57f99644c0a2713ac1e671
parent f089da6bb4792ea99b6521f2ab2feb41a022e320
Author: Drew DeVault <sir@cmpwn.com>
Date:   Sun, 31 Jan 2021 11:28:31 -0500

types: dealias pointer referents for cast

Diffstat:
M
src/types.c
 | 
7
++++---

1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/types.c b/src/types.c
@@ -439,15 +439,16 @@ type_is_assignable(const struct type *to, const struct type *from)
 	case TYPE_STORAGE_F64:
 		return type_is_float(from);
 	case TYPE_STORAGE_POINTER:
-		to_secondary = strip_flags(to->pointer.referent, &_to_secondary);
+		to_secondary = type_dealias(to->pointer.referent);
+		to_secondary = strip_flags(to_secondary, &_to_secondary);
 		switch (from->storage) {
 		case TYPE_STORAGE_UINTPTR:
 			return true;
 		case TYPE_STORAGE_NULL:
 			return to->pointer.flags & PTR_NULLABLE;
 		case TYPE_STORAGE_POINTER:
-			from_secondary = strip_flags(from->pointer.referent,
-					&_from_secondary);
+			from_secondary = type_dealias(from->pointer.referent);
+			from_secondary = strip_flags(from_secondary, &_from_secondary);
 			switch (to_secondary->storage) {
 			case TYPE_STORAGE_VOID:
 				return true;