X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fdecl_union.c;fp=src%2Ftypes%2Fdecl_union.c;h=7e58cbfb7821320ea941138f8f31479af08cdef8;hp=0000000000000000000000000000000000000000;hb=2f5af21b263403997e154658635d6b6e6eaab453;hpb=898c6dac30d12d7fe56662d66a8e73c340926d64

diff --git a/src/types/decl_union.c b/src/types/decl_union.c
new file mode 100644
index 0000000..7e58cbf
--- /dev/null
+++ b/src/types/decl_union.c
@@ -0,0 +1,144 @@
+/*******************************************************************************
+ Copyright (c) 2016, Michael Wallner <mike@php.net>.
+ All rights reserved.
+
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions are met:
+
+     * Redistributions of source code must retain the above copyright notice,
+       this list of conditions and the following disclaimer.
+     * Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in the
+       documentation and/or other materials provided with the distribution.
+
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+ DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
+ FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+ SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+ CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+ OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+*******************************************************************************/
+
+#ifdef HAVE_CONFIG_H
+# include "config.h"
+#else
+# include "php_config.h"
+#endif
+
+#include <stdlib.h>
+#include <stdio.h>
+#include <string.h>
+#include <assert.h>
+
+#include "data.h"
+
+decl_union* init_decl_union(const char* name, decl_args* args) {
+	decl_union* u = calloc(1, sizeof(*u));
+	u->name = strdup(name);
+	u->args = args;
+	return u;
+}
+
+void free_decl_union(decl_union* u) {
+	if (u->token) {
+		free(u->token);
+	}
+	if (u->args) {
+		free_decl_args(u->args);
+	}
+	free(u->name);
+	free(u);
+}
+
+void dump_decl_union(int fd, decl_union *unn) {
+	dprintf(fd, "union %s::(%zu, %zu)", unn->name, unn->align, unn->size);
+	if (unn->args && unn->args->count) {
+		dump_decl_args_with_layout(fd, unn->args, 0);
+	} else {
+		dprintf(fd, ";");
+	}
+}
+
+decl_arg *locate_decl_union_member(decl_union *u, decl_var *var) {
+	if (u->args) {
+		return locate_decl_var_arg(var, u->args, NULL);
+	}
+
+	return NULL;
+}
+
+int validate_decl_union(struct psi_data *data, decl_union *u) {
+	size_t i, pos, len, size = 0, align;
+
+	if (!u->size && !u->args->count) {
+		data->error(data, u->token, PSI_WARNING,
+				"Cannot compute size of empty union %s",
+				u->name);
+		return 0;
+	}
+
+	for (i = 0; i < u->args->count; ++i) {
+		decl_arg *darg = u->args->args[i];
+
+		if (!validate_decl_arg(data, darg)) {
+			return 0;
+		}
+
+		assert(!darg->var->arg || darg->var->arg == darg);
+
+		darg->var->arg = darg;
+
+		if (!validate_decl_arg_args(data, darg, u)) {
+			return 0;
+		} else if (darg->layout) {
+			pos = darg->layout->pos;
+
+			align = align_decl_arg(darg, &pos, &len);
+
+			if (darg->layout->pos != 0) {
+				data->error(data, darg->token, PSI_WARNING,
+						"Offset of %s.%s should be 0",
+						u->name, darg->var->name);
+				darg->layout->pos = 0;
+			}
+			if (darg->layout->len != len) {
+				data->error(data, darg->token, PSI_WARNING,
+						"Computed size %zu of %s.%s does not match"
+						" pre-defined size %zu of type '%s'",
+						len, u->name, darg->var->name, darg->layout->len,
+						darg->type->name);
+			}
+		} else {
+			pos = 0;
+
+			align = align_decl_arg(darg, &pos, &len);
+			darg->layout = init_decl_struct_layout(pos, len);
+
+		}
+		if (len > size) {
+			size = len;
+		}
+		if (align > u->align) {
+			u->align = align;
+		}
+	}
+
+	sort_decl_args(u->args);
+
+	if (u->size < size) {
+		u->size = psi_align(size, u->align);
+	}
+
+	return 1;
+}
+
+size_t alignof_decl_union(decl_union *u) {
+	if (!u->align) {
+		u->align = alignof_decl_args(u->args);
+	}
+	return u->align;
+}