X-Git-Url: https://git.m6w6.name/?a=blobdiff_plain;f=src%2Ftypes%2Flet_exp.c;h=d4fe6db63d556072463ac2736fed65b8b1e5c646;hb=4fd6435041048363289eb7b9243cee39b6901e4e;hp=a9de6443ab198dbd9cbdc06ea312aa46e1e040d5;hpb=7df12c88a4e14611a2585d6e7c994c59e8d7485a;p=m6w6%2Fext-psi

diff --git a/src/types/let_exp.c b/src/types/let_exp.c
index a9de644..d4fe6db 100644
--- a/src/types/let_exp.c
+++ b/src/types/let_exp.c
@@ -162,22 +162,23 @@ bool psi_let_exp_validate(struct psi_data *data, struct psi_let_exp *val,
 
 	switch (val->kind) {
 	case PSI_LET_TMP:
-		if (!psi_decl_var_validate(data, val->data.var, impl->decl, val, NULL)) {
+		if (!psi_decl_var_validate(data, val->data.var, impl, impl->decl, val, NULL)) {
 			data->error(data, dvar->token ? : **(struct psi_token ***) &val->data,
-					PSI_WARNING, "Unknown variable '%s'", dvar->name);
+					PSI_WARNING, "Unknown variable '%s' in temp let statment of implementation '%s'",
+					dvar->name, impl->func->name);
 			return false;
 		}
 		break;
 
 	default:
-		if (!psi_decl_var_validate(data, dvar, impl->decl, val, NULL)) {
+		if (!psi_decl_var_validate(data, dvar, impl, impl->decl, val, NULL)) {
 			data->error(data, dvar->token ? : **(struct psi_token ***) &val->data,
-					PSI_WARNING, "Unknown variable '%s'", dvar->name);
+					PSI_WARNING, "Unknown variable '%s' in let statement of implementation '%s'",
+					dvar->name, impl->func->name);
 			return false;
 		}
 		break;
 	}
-
 	switch (val->kind) {
 	case PSI_LET_NULL:
 		break;
@@ -237,8 +238,8 @@ void *psi_let_exp_exec(struct psi_let_exp *val, struct psi_decl_arg *darg,
 
 	case PSI_LET_TMP:
 		{
-			struct psi_let_stmt *let_temp = psi_impl_get_let(frame->impl,
-					val->data.var);
+			struct psi_impl *impl = psi_call_frame_get_impl(frame);
+			struct psi_let_stmt *let_temp = psi_impl_get_let(impl, val->data.var);
 			struct psi_call_frame_symbol *temp_arg;
 
 			temp_arg = psi_call_frame_fetch_symbol(frame, let_temp->exp->var);
@@ -248,10 +249,15 @@ void *psi_let_exp_exec(struct psi_let_exp *val, struct psi_decl_arg *darg,
 
 	case PSI_LET_CALLOC:
 		{
-			zend_long n = psi_long_num_exp(val->data.alloc->nmemb, frame);
-			zend_long s = psi_long_num_exp(val->data.alloc->size, frame);
-			void *tmp = *psi_call_frame_push_auto(frame,
-					safe_emalloc(n, s, sizeof(void *)));
+			zend_long n = psi_long_num_exp(val->data.alloc->nmemb, frame, NULL);
+			zend_long s = psi_long_num_exp(val->data.alloc->size, frame, NULL);
+			void *tmp;
+
+			if (val->data.alloc->static_memory) {
+				tmp = safe_pemalloc(n, s, sizeof(void *), 1);
+			} else {
+				tmp = *psi_call_frame_push_auto(frame, safe_emalloc(n, s, sizeof(void *)));
+			}
 
 			memset(tmp, 0, n * s + sizeof(void *));
 			frame_sym->temp_val.ptr = tmp;
@@ -262,7 +268,7 @@ void *psi_let_exp_exec(struct psi_let_exp *val, struct psi_decl_arg *darg,
 		{
 			impl_val res;
 			token_t val_type = psi_decl_type_get_real(val->var->arg->type)->type;
-			token_t res_type = psi_num_exp_exec(val->data.num, &res, frame);
+			token_t res_type = psi_num_exp_exec(val->data.num, &res, frame, NULL);
 
 			if (val_type == res_type) {
 				frame_sym->temp_val = res;