X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Fcontext.c;h=0242b77ae3c5bd2844c12862f762ef3d01a6faf0;hp=0c87feea0d4b90b13509230131e7fbc4f5bd050e;hb=7e3b009ddee1508720d3493c3985654e8f21ea0e;hpb=3fe5a4c7cf3e810dcfd79475a1a3aedbe8282378

diff --git a/src/context.c b/src/context.c
index 0c87fee..0242b77 100644
--- a/src/context.c
+++ b/src/context.c
@@ -173,6 +173,35 @@ static inline int validate_decl_arg(PSI_Data *data, decl_arg *arg) {
 	return 1;
 }
 
+static int psi_sort_struct_arg_cmp(const void *_a, const void *_b) {
+	decl_arg *a = *(decl_arg **)_a, *b = *(decl_arg **)_b;
+
+	if (a->layout->pos == b->layout->pos) {
+		if (a->layout->len == b->layout->len) {
+			return 0;
+		} else if (a->layout->len > b->layout->len) {
+			return -1;
+		} else {
+			return 1;
+		}
+	} else if (a->layout->pos > b->layout->pos) {
+		return 1;
+	} else {
+		return -1;
+	}
+}
+static void psi_sort_struct_arg_swp(void *a, void *b) {
+	decl_arg **_a = a, **_b = b, *_c;
+
+	_c = *_b;
+	*_b = *_a;
+	*_a = _c;
+}
+static inline void psi_sort_struct_args(decl_struct *s) {
+	zend_insert_sort(s->args->args, s->args->count, sizeof(*s->args->args),
+			psi_sort_struct_arg_cmp, psi_sort_struct_arg_swp);
+}
+
 static inline int validate_decl_struct(PSI_Data *data, decl_struct *s) {
 	size_t i;
 
@@ -192,7 +221,31 @@ static inline int validate_decl_struct(PSI_Data *data, decl_struct *s) {
 		ZEND_ASSERT(!darg->var->arg || darg->var->arg == darg);
 		darg->var->arg = darg;
 
-		if (!darg->layout) {
+		if (darg->layout) {
+			size_t size;
+
+			if (darg->var->array_size) {
+				size = psi_t_size(real_decl_type(darg->type)->type) * darg->var->array_size;
+			} else if (darg->var->pointer_level) {
+				size = psi_t_size(PSI_T_POINTER);
+			} else {
+				decl_type *real = real_decl_type(darg->type);
+
+				if (real->type == PSI_T_STRUCT) {
+					size = real->strct->size;
+				} else {
+					size = psi_t_size(real->type);
+				}
+			}
+			if (darg->layout->len != size) {
+				data->error(darg->token, PSI_WARNING,
+						"Computed length %zu of %s.%s does not match"
+						" pre-defined length %zu of type '%s'",
+						darg->layout->len, s->name, darg->var->name, size,
+						darg->type->name);
+				return 0;
+			}
+		} else {
 			token_t t;
 
 			if (darg->var->pointer_level && (!darg->var->array_size || darg->var->pointer_level == 1)) {
@@ -214,6 +267,9 @@ static inline int validate_decl_struct(PSI_Data *data, decl_struct *s) {
 			s->size = darg->layout->pos + darg->layout->len;
 		}
 	}
+
+	psi_sort_struct_args(s);
+
 	return 1;
 }