X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fdecl_union.c;h=5d0f1631a8f77788221a6f77e72d283abc854ced;hp=71e70eb378b2bf5b7bfd7141037f1d4f94b7038a;hb=c9384515a81cb64d345b299908b2852f51bb8e6e;hpb=b09850fb2c28c23547fed5ac83faf0fa2d3e6b8b

diff --git a/src/types/decl_union.c b/src/types/decl_union.c
index 71e70eb..5d0f163 100644
--- a/src/types/decl_union.c
+++ b/src/types/decl_union.c
@@ -74,21 +74,29 @@ struct psi_decl_arg *psi_decl_union_get_arg(struct psi_decl_union *u,
 	return NULL;
 }
 
-bool psi_decl_union_validate(struct psi_data *data, struct psi_decl_union *u)
+bool psi_decl_union_validate(struct psi_data *data, struct psi_decl_union *u,
+		struct psi_validate_scope *scope)
 {
 	size_t i, pos, len, size = 0, align;
 	struct psi_decl_arg *darg;
 
+	if (psi_validate_scope_has_union(scope, u->name)) {
+		return true;
+	}
+
 	if (!u->size && !psi_plist_count(u->args)) {
 		data->error(data, u->token, PSI_WARNING,
 				"Cannot compute size of empty union %s", u->name);
 		return false;
 	}
 
+	psi_validate_scope_add_union(scope, u->name, u);
+
 	for (i = 0; psi_plist_get(u->args, i, &darg); ++i) {
 		darg->var->arg = darg;
 
-		if (!psi_decl_arg_validate(data, darg)) {
+		if (!psi_decl_arg_validate(data, darg, scope)) {
+			psi_validate_scope_del_union(scope, u->name);
 			return false;
 		}
 
@@ -141,6 +149,8 @@ bool psi_decl_union_validate(struct psi_data *data, struct psi_decl_union *u)
 		u->size = psi_align(size, u->align);
 	}
 
+	assert(u->size);
+
 	return true;
 }