X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Fcontext_validate.c;h=897ae657799e5a3ad30c2f72480f535b9e8916c6;hp=180b34d94c3e3b652f7e20e1184a4bbe13019020;hb=9f42fcc5b2a31e074bebed0f0f906c1e54b51b95;hpb=e8a409b21cb50f5931ab02ce6ab4f4406be94394

diff --git a/src/context_validate.c b/src/context_validate.c
index 180b34d..897ae65 100644
--- a/src/context_validate.c
+++ b/src/context_validate.c
@@ -171,14 +171,28 @@ static inline int validate_decl_type(PSI_Data *data, decl_type *type) {
 }
 static inline int validate_decl_typedef(PSI_Data *data, decl_arg *def) {
 	if (!validate_decl_type(data, def->type)) {
+		const char *pre;
+
+		switch (def->type->type) {
+		case PSI_T_STRUCT:	pre = "struct ";	break;
+		case PSI_T_UNION:	pre = "union ";		break;
+		case PSI_T_ENUM:	pre = "enum ";		break;
+		default:			pre = "";			break;
+		}
 		data->error(data, def->token, PSI_WARNING,
 			"Type '%s' cannot be aliased to %s'%s'",
-			def->type->name, def->type->type == PSI_T_STRUCT?"struct ":"",
-			def->var->name);
+			def->type->name, pre, def->var->name);
 		return 0;
 	}
-	if (def->type->type == PSI_T_VOID && def->var->pointer_level) {
-		def->type->type = PSI_T_POINTER;
+	if (def->type->type == PSI_T_VOID) {
+		if (def->var->pointer_level) {
+			def->type->type = PSI_T_POINTER;
+		} else {
+			data->error(data, def->token, PSI_WARNING,
+				"Type '%s' cannot be aliased to 'void'",
+				def->type->name);
+			return 0;
+		}
 	}
 	return 1;
 }
@@ -194,6 +208,11 @@ static inline int validate_decl_arg(PSI_Data *data, decl_arg *arg) {
 			"Cannot use '%s' as type for '%s'",
 			arg->type->name, arg->var->name);
 		return 0;
+	} else {
+		decl_type *real = real_decl_type(arg->type);
+
+		if (real->type == PSI_T_FUNCTION) {
+		}
 	}
 	return 1;
 }
@@ -1037,7 +1056,6 @@ static inline int validate_impl_let_stmts(PSI_Data *data, impl *impl) {
 			let_stmt *let = impl->stmts->let.list[j];
 
 			if (!strcmp(let->var->name, darg->var->name)) {
-				darg->let = let;
 				check = 1;
 				break;
 			}