X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Fcpp.c;h=b181e270a0151b7342c2a3b9783dd278278a2f81;hp=c831b67838171f7157a117e30862b91b10d702cc;hb=3d77b5b65efb78c1da9485dfde1fcd417066b803;hpb=c101a4de2983791d5892e60d765b73b6b3ccf6f8

diff --git a/src/cpp.c b/src/cpp.c
index c831b67..b181e27 100644
--- a/src/cpp.c
+++ b/src/cpp.c
@@ -25,6 +25,8 @@
 
 #include "php_psi_stdinc.h"
 
+#include <libgen.h>
+
 #include "cpp.h"
 #include "parser.h"
 
@@ -32,6 +34,8 @@
 #define PSI_CPP_PREDEF
 #include "php_psi_cpp.h"
 
+#include "php_psi.h"
+
 static void free_cpp_def(zval *p)
 {
 	if (Z_TYPE_P(p) == IS_PTR) {
@@ -95,6 +99,8 @@ static bool psi_cpp_stage1(struct psi_cpp *cpp)
 {
 	bool name = false, define = false, hash = false, eol = true, esc = false, ws = false;
 
+	PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP %s\n", "stage1");
+
 	psi_cpp_tokiter_reset(cpp);
 	while (psi_cpp_tokiter_valid(cpp)) {
 		struct psi_token *token = psi_cpp_tokiter_current(cpp);
@@ -185,133 +191,131 @@ static bool psi_cpp_stage1(struct psi_cpp *cpp)
 static bool psi_cpp_stage2(struct psi_cpp *cpp)
 {
 	struct psi_plist *parser_tokens = psi_plist_init((psi_plist_dtor) psi_token_free);
+	bool is_eol = true, do_cpp = false, do_expansion = true, skip_paren = false, skip_all = false;
 
-	do {
-		bool is_eol = true, do_cpp = false, do_expansion = true, skip_paren = false, skip_all = false;
-
-		psi_cpp_tokiter_reset(cpp);
+	PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP %s\n", "stage2");
 
-		while (psi_cpp_tokiter_valid(cpp)) {
-			struct psi_token *current = psi_cpp_tokiter_current(cpp);
+	psi_cpp_tokiter_reset(cpp);
+	while (psi_cpp_tokiter_valid(cpp)) {
+		struct psi_token *current = psi_cpp_tokiter_current(cpp);
 
-			if (current->type == PSI_T_HASH) {
-				if (is_eol) {
-					do_cpp = true;
-					is_eol = false;
-				}
-			} else if (current->type == PSI_T_EOL) {
+		if (current->type == PSI_T_HASH) {
+			if (is_eol) {
+				do_cpp = true;
+				is_eol = false;
+			}
+		} else if (current->type == PSI_T_EOL) {
 #if PSI_CPP_DEBUG
-				fprintf(stderr, "PSI: CPP do_expansion=true, PSI_T_EOL\n");
+			fprintf(stderr, "PSI: CPP do_expansion=true, PSI_T_EOL\n");
 #endif
-				is_eol = true;
-				skip_all = false;
-				do_expansion = true;
-				if (!do_cpp) {
-					psi_cpp_tokiter_del_cur(cpp, true);
-					continue;
-				}
-			} else {
-				is_eol = false;
+			is_eol = true;
+			skip_all = false;
+			do_expansion = true;
+			if (!do_cpp) {
+				psi_cpp_tokiter_del_cur(cpp, true);
+				continue;
+			}
+		} else {
+			is_eol = false;
 
-				if (do_cpp) {
-					switch (current->type) {
-					case PSI_T_DEFINE:
+			if (do_cpp) {
+				switch (current->type) {
+				case PSI_T_DEFINE:
 #if PSI_CPP_DEBUG
-						fprintf(stderr, "PSI: CPP do_expansion=false, PSI_T_DEFINE, skip_all\n");
+					fprintf(stderr, "PSI: CPP do_expansion=false, PSI_T_DEFINE, skip_all\n");
 #endif
-						do_expansion = false;
-						skip_all = true;
-						break;
-					case PSI_T_DEFINED:
-						skip_paren = true;
-						/* no break */
-					case PSI_T_IFDEF:
-					case PSI_T_IFNDEF:
-					case PSI_T_UNDEF:
+					do_expansion = false;
+					skip_all = true;
+					break;
+				case PSI_T_DEFINED:
+					skip_paren = true;
+					/* no break */
+				case PSI_T_IFDEF:
+				case PSI_T_IFNDEF:
+				case PSI_T_UNDEF:
 #if PSI_CPP_DEBUG
-						fprintf(stderr, "PSI: CPP do_expansion=false, PSI_T_{IF{,N},UN}DEF\n");
+					fprintf(stderr, "PSI: CPP do_expansion=false, PSI_T_{IF{,N},UN}DEF\n");
 #endif
-						do_expansion = false;
-						break;
-					case PSI_T_LPAREN:
-
-						if (!skip_all) {
-							if (skip_paren) {
-								skip_paren = false;
-							} else {
-								do_expansion = true;
+					do_expansion = false;
+					break;
+				case PSI_T_LPAREN:
+
+					if (!skip_all) {
+						if (skip_paren) {
+							skip_paren = false;
+						} else {
+							do_expansion = true;
 #if PSI_CPP_DEBUG
-								fprintf(stderr, "PSI: CPP do_expansion=true, PSI_T_LPAREN, !skip_all, !skip_paren\n");
+							fprintf(stderr, "PSI: CPP do_expansion=true, PSI_T_LPAREN, !skip_all, !skip_paren\n");
 #endif
-							}
 						}
-						break;
-					case PSI_T_NAME:
-						break;
-					default:
-						do_expansion = !skip_all;
+					}
+					break;
+				case PSI_T_NAME:
+					break;
+				default:
+					do_expansion = !skip_all;
 #if PSI_CPP_DEBUG
-						fprintf(stderr, "PSI: CPP do_expansion=%s, <- !skip_all\n", do_expansion?"true":"false");
+					fprintf(stderr, "PSI: CPP do_expansion=%s, <- !skip_all\n", do_expansion?"true":"false");
 #endif
-					}
 				}
 			}
+		}
 
-			if (cpp->skip) {
-				/* FIXME: del_range */
-				if (!do_cpp) {
+		if (cpp->skip) {
+			/* FIXME: del_range */
+			if (!do_cpp) {
 #if PSI_CPP_DEBUG
-					fprintf(stderr, "PSI: CPP skip ");
-					psi_token_dump(2, current);
+				fprintf(stderr, "PSI: CPP skip ");
+				psi_token_dump(2, current);
 #endif
-					psi_cpp_tokiter_del_cur(cpp, true);
-					continue;
-				}
+				psi_cpp_tokiter_del_cur(cpp, true);
+				continue;
 			}
+		}
 
-			if (do_expansion && current->type == PSI_T_NAME && psi_cpp_tokiter_defined(cpp)) {
-				bool expanded = false;
+		if (do_expansion && current->type == PSI_T_NAME && psi_cpp_tokiter_defined(cpp)) {
+			bool expanded = false;
 
-				while (psi_cpp_tokiter_expand(cpp)) {
-					expanded = true;
-				}
-				if (expanded) {
-					continue;
-				}
+			while (psi_cpp_tokiter_expand(cpp)) {
+				expanded = true;
+			}
+			if (expanded) {
+				continue;
 			}
+		}
 
-			if (do_cpp) {
-				parser_tokens = psi_plist_add(parser_tokens, &current);
+		if (do_cpp) {
+			parser_tokens = psi_plist_add(parser_tokens, &current);
 
-				if (is_eol) {
-					size_t processed = 0;
-					bool parsed = psi_parser_process(cpp->parser, parser_tokens, &processed);
+			if (is_eol) {
+				size_t processed = 0;
+				bool parsed = psi_parser_process(cpp->parser, parser_tokens, &processed);
 
-					/* EOL */
-					psi_plist_pop(parser_tokens, NULL);
-					psi_plist_clean(parser_tokens);
-					do_cpp = false;
+				/* EOL */
+				psi_plist_pop(parser_tokens, NULL);
+				psi_plist_clean(parser_tokens);
+				do_cpp = false;
 
-					if (!parsed) {
-						psi_plist_free(parser_tokens);
-						return false;
-					}
-				} else {
-					/* leave EOLs in the input stream, else we might end up
-					 * with a hash not preceded with a new line after include */
-					psi_cpp_tokiter_del_cur(cpp, false);
+				if (!parsed) {
+					psi_plist_free(parser_tokens);
+					return false;
 				}
+			} else {
+				/* leave EOLs in the input stream, else we might end up
+				 * with a hash not preceded with a new line after include */
+				psi_cpp_tokiter_del_cur(cpp, false);
+			}
 
 #if PSI_CPP_DEBUG > 1
-				psi_cpp_tokiter_dump(2, cpp);
+			psi_cpp_tokiter_dump(2, cpp);
 #endif
 
-				continue;
-			}
-
-			psi_cpp_tokiter_next(cpp);
+			continue;
 		}
-	} while (cpp->expanded);
+
+		psi_cpp_tokiter_next(cpp);
+	}
 
 	psi_plist_free(parser_tokens);
 
@@ -349,6 +353,10 @@ bool psi_cpp_defined(struct psi_cpp *cpp, struct psi_token *tok)
 
 #if PSI_CPP_DEBUG
 	fprintf(stderr, "PSI: CPP defined -> %s ", defined ? "true" : "false");
+	if (defined) {
+		struct psi_cpp_macro_decl *macro = zend_hash_str_find_ptr(&cpp->defs, tok->text, tok->size);
+		fprintf(stderr, " @ %s:%u ", macro->token->file, macro->token->line);
+	}
 	psi_token_dump(2, tok);
 #endif
 
@@ -401,9 +409,13 @@ static inline bool try_include(struct psi_cpp *cpp, const char *path, bool *pars
 			*parsed = psi_cpp_process(cpp, &tokens);
 
 			if (*parsed) {
+				size_t num_tokens = psi_plist_count(tokens);
+
 				++cpp->expanded;
 				psi_cpp_tokiter_ins_range(cpp, cpp->index,
-						psi_plist_count(tokens), psi_plist_eles(tokens));
+						num_tokens, psi_plist_eles(tokens));
+				/* skip already processed tokens */
+				cpp->index += num_tokens;
 				free(tokens);
 			} else {
 				psi_plist_free(tokens);
@@ -417,24 +429,49 @@ static inline bool try_include(struct psi_cpp *cpp, const char *path, bool *pars
 	return false;
 }
 
-bool psi_cpp_include(struct psi_cpp *cpp, const char *file, unsigned flags)
+static inline void include_path(const struct psi_token *file, char **path)
+{
+	if (*file->text == '/') {
+		*path = file->text;
+	} else {
+		char *dir;
+		size_t len;
+
+		strncpy(*path, file->file, PATH_MAX);
+
+		dir = dirname(*path);
+		len = strlen(dir);
+
+		assert(len + file->size + 1 < PATH_MAX);
+
+		memmove(*path, dir, len);
+		(*path)[len] = '/';
+		memcpy(&(*path)[len + 1], file->text, file->size + 1);
+	}
+}
+
+bool psi_cpp_include(struct psi_cpp *cpp, const struct psi_token *file, unsigned flags)
 {
 	bool parsed = false;
-	int f_len = strlen(file);
+	int f_len = strlen(file->text);
 
-	if (!(flags & PSI_CPP_INCLUDE_NEXT) || *file == '/') {
+	if (!(flags & PSI_CPP_INCLUDE_NEXT) || *file->text == '/') {
 		/* first try as is, full or relative path */
-		if ((flags & PSI_CPP_INCLUDE_ONCE) && zend_hash_str_exists(&cpp->once, file, f_len)) {
+		char temp[PATH_MAX], *path = temp;
+
+		include_path(file, &path);
+
+		if ((flags & PSI_CPP_INCLUDE_ONCE) && zend_hash_str_exists(&cpp->once, path, f_len)) {
 			return true;
 		}
-		if (try_include(cpp, file, &parsed)) {
+		if (try_include(cpp, path, &parsed)) {
 			/* found */
 			return parsed;
 		}
 	}
 
 	/* look through search paths */
-	if (*file != '/') {
+	if (*file->text != '/') {
 		char path[PATH_MAX];
 		const char *sep;
 		int p_len;
@@ -449,7 +486,7 @@ bool psi_cpp_include(struct psi_cpp *cpp, const char *file, unsigned flags)
 		}
 
 		if (!(flags & PSI_CPP_INCLUDE_NEXT) || !cpp->search) {
-			cpp->search = &psi_cpp_search[0];
+			cpp->search = PSI_G(search_path);
 		}
 
 		do {
@@ -458,7 +495,7 @@ bool psi_cpp_include(struct psi_cpp *cpp, const char *file, unsigned flags)
 			sep = strchr(cpp->search, ':');
 			d_len = sep ? sep - cpp->search : strlen(cpp->search);
 
-			if (PATH_MAX > (p_len = snprintf(path, PATH_MAX, "%.*s/%.*s", d_len, cpp->search, f_len, file))) {
+			if (PATH_MAX > (p_len = snprintf(path, PATH_MAX, "%.*s/%.*s", d_len, cpp->search, f_len, file->text))) {
 				if ((flags & PSI_CPP_INCLUDE_ONCE) && zend_hash_str_exists(&cpp->once, path, p_len)) {
 					return true;
 				}
@@ -466,7 +503,10 @@ bool psi_cpp_include(struct psi_cpp *cpp, const char *file, unsigned flags)
 					break;
 				}
 			}
-			cpp->search = sep + 1;
+
+			if (sep) {
+				cpp->search = sep + 1;
+			}
 		} while (sep);
 	}