X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fdecl_struct.c;h=9ba53e97348a3856dc0d98e806b140a889068bd7;hp=ab0d9a1a9fe2545d6bcbea572e1f81e952fe7d94;hb=30e27081b0307e5ae76dcdcce674a7c272c91b30;hpb=b09850fb2c28c23547fed5ac83faf0fa2d3e6b8b

diff --git a/src/types/decl_struct.c b/src/types/decl_struct.c
index ab0d9a1..9ba53e9 100644
--- a/src/types/decl_struct.c
+++ b/src/types/decl_struct.c
@@ -78,11 +78,20 @@ struct psi_decl_arg *psi_decl_struct_get_arg(struct psi_decl_struct *s,
 	return NULL;
 }
 
-bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s)
+bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s,
+		struct psi_validate_stack *type_stack)
 {
 	size_t i, pos, len, size, align;
 	struct psi_decl_arg *darg, *prev_arg;
 
+	if (!s) {
+		return false;
+	}
+	if (psi_validate_stack_has_struct(type_stack, s->name)) {
+		return true;
+	}
+	psi_validate_stack_add_struct(type_stack, s->name, s);
+
 	if (!s->size && !psi_plist_count(s->args)) {
 		data->error(data, s->token, PSI_WARNING,
 				"Cannot compute size of empty struct '%s'", s->name);
@@ -92,7 +101,7 @@ bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s)
 	for (i = 0; psi_plist_get(s->args, i, &darg); ++i) {
 		darg->var->arg = darg;
 
-		if (!psi_decl_arg_validate(data, darg)) {
+		if (!psi_decl_arg_validate(data, darg, type_stack)) {
 			return false;
 		}
 
@@ -100,6 +109,13 @@ bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s)
 			pos = darg->layout->pos;
 			align = psi_decl_arg_align(darg, &pos, &len);
 
+			if (!align) {
+				data->error(data, darg->token, PSI_WARNING,
+						"Computed zero alignment of %s.%s of type '%s'",
+						len, s->name, darg->var->name, darg->type->name);
+				return false;
+			}
+
 			if (darg->layout->len != len) {
 				data->error(data, darg->token, PSI_WARNING,
 						"Computed size %zu of %s.%s does not match"
@@ -115,7 +131,7 @@ bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s)
 			}
 		} else {
 			if (i) {
-				if (prev_arg->layout->bfw && darg->layout->bfw) {
+				if (prev_arg->layout && prev_arg->layout->bfw && darg->layout && darg->layout->bfw) {
 					struct psi_decl_type *real = NULL;
 					size_t max_bfw = 8 * psi_decl_type_get_size(prev_arg->type, &real);
 
@@ -185,6 +201,9 @@ bool psi_decl_struct_validate(struct psi_data *data, struct psi_decl_struct *s)
 
 size_t psi_decl_struct_get_align(struct psi_decl_struct *s)
 {
+	if (!s) {
+		return 0;
+	}
 	if (!s->align) {
 		s->align = psi_decl_type_get_args_align(s->args);
 	}