X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Fcpp.c;h=034f8a230d0f99e2adabc1d1b73075349b200bf8;hp=6b7bb53e75f9f5ba88752087c753258ed9a26f23;hb=16e375c9503246b179550cd97c0739c916dc802a;hpb=d2e0af1718294569a84c3c15616c74e4d55ea579

diff --git a/src/cpp.c b/src/cpp.c
index 6b7bb53..034f8a2 100644
--- a/src/cpp.c
+++ b/src/cpp.c
@@ -29,17 +29,18 @@
 # include "php_config.h"
 #endif
 
+#include "php_psi.h"
+
 #include <libgen.h>
 
 #include "cpp.h"
 #include "parser.h"
+#include "debug.h"
 
 #define PSI_CPP_SEARCH
 #define PSI_CPP_PREDEF
 #include "php_psi_predef.h"
 
-#include "php_psi.h"
-
 HashTable psi_cpp_defaults;
 
 PHP_MINIT_FUNCTION(psi_cpp);
@@ -110,6 +111,7 @@ struct psi_cpp *psi_cpp_init(struct psi_parser *P)
 	zend_hash_init(&cpp->once, 0, NULL, NULL, 1);
 	zend_hash_init(&cpp->defs, 0, NULL, free_cpp_def, 1);
 	zend_hash_copy(&cpp->defs, &psi_cpp_defaults, NULL);
+	zend_hash_init(&cpp->expanding, 0, NULL, NULL, 1);
 
 	return cpp;
 }
@@ -128,6 +130,7 @@ void psi_cpp_free(struct psi_cpp **cpp_ptr)
 		*cpp_ptr = NULL;
 		zend_hash_destroy(&cpp->defs);
 		zend_hash_destroy(&cpp->once);
+		zend_hash_destroy(&cpp->expanding);
 		free(cpp);
 	}
 }
@@ -229,8 +232,7 @@ 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;
+	bool is_eol = true, do_expansion = true, skip_paren = false, skip_all = false;
 
 	PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP %s\n", "stage2");
 
@@ -240,7 +242,7 @@ static bool psi_cpp_stage2(struct psi_cpp *cpp)
 
 		if (current->type == PSI_T_HASH) {
 			if (is_eol) {
-				do_cpp = true;
+				cpp->do_cpp = true;
 				is_eol = false;
 			}
 		} else if (current->type == PSI_T_EOL) {
@@ -250,14 +252,14 @@ static bool psi_cpp_stage2(struct psi_cpp *cpp)
 			is_eol = true;
 			skip_all = false;
 			do_expansion = true;
-			if (!do_cpp) {
+			if (!cpp->do_cpp) {
 				psi_cpp_tokiter_del_cur(cpp, true);
 				continue;
 			}
 		} else {
 			is_eol = false;
 
-			if (do_cpp) {
+			if (cpp->do_cpp) {
 				switch (current->type) {
 				case PSI_T_DEFINE:
 #if PSI_CPP_DEBUG
@@ -302,118 +304,123 @@ static bool psi_cpp_stage2(struct psi_cpp *cpp)
 		}
 
 		if (cpp->skip) {
-			if (!do_cpp) {
+			if (!cpp->do_cpp) {
 #if PSI_CPP_DEBUG
-				PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP skip ");
-				PSI_DEBUG_DUMP(cpp->parser, psi_token_dump, current);
+				PSI_DEBUG_LOCK(cpp->parser,
+					PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP skip ");
+					PSI_DEBUG_DUMP(cpp->parser, psi_token_dump, current);
+				);
 #endif
 				psi_cpp_tokiter_del_cur(cpp, true);
 				continue;
 			}
 		}
 
-		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) {
+		if (do_expansion && psi_cpp_defined(cpp, current)) {
+			if (psi_cpp_tokiter_expand(cpp)) {
 				continue;
 			}
 		}
 
-		if (do_cpp) {
-			parser_tokens = psi_plist_add(parser_tokens, &current);
+		psi_cpp_tokiter_add_cur(cpp);
 
-			if (is_eol) {
-				size_t processed = 0;
-				bool parsed = psi_parser_process(cpp->parser, parser_tokens, &processed);
+		if (cpp->do_cpp && is_eol) {
+			size_t processed = 0;
+			bool parsed;
 
-				/* EOL */
-				psi_plist_pop(parser_tokens, NULL);
-				psi_plist_clean(parser_tokens);
-				do_cpp = false;
+			cpp->do_cpp = false;
+			parsed = psi_parser_process(cpp->parser, cpp->tokens.exec, &processed);
+			psi_plist_clean(cpp->tokens.exec);
 
-				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(cpp->tokens.exec);
+				return false;
 			}
 
 #if PSI_CPP_DEBUG > 1
 			PSI_DEBUG_DUMP(cpp->parser, psi_cpp_tokiter_dump, cpp);
 #endif
-
-			continue;
 		}
 
-		psi_cpp_tokiter_add_cur(cpp);
 		psi_cpp_tokiter_next(cpp);
 	}
 
-	psi_plist_free(parser_tokens);
+	psi_plist_free(cpp->tokens.exec);
+	cpp->tokens.exec = NULL;
 
 	return true;
 }
 
-bool psi_cpp_process(struct psi_cpp *cpp, struct psi_plist **tokens)
+bool psi_cpp_process(struct psi_cpp *cpp, struct psi_plist **tokens,
+		struct psi_token *expanding)
 {
 	bool parsed = false;
-	struct psi_cpp temp = *cpp;	cpp->level = temp.level;
+	struct psi_cpp temp = *cpp;
 
 	cpp->tokens.iter = *tokens;
 	cpp->tokens.next = NULL;
+	cpp->tokens.exec = NULL;
 
+	if (expanding) {
+		zend_hash_add_empty_element(&cpp->expanding, expanding->text);
+	}
 	if (psi_cpp_stage1(cpp) && psi_cpp_stage2(cpp)) {
 		parsed = true;
 	}
-
-	if (cpp->tokens.next) {
-		free(cpp->tokens.iter);
-		cpp->tokens.iter = cpp->tokens.next;
-		cpp->tokens.next = NULL;
+	if (expanding) {
+		zend_hash_del(&cpp->expanding, expanding->text);
 	}
 
-	*tokens = cpp->tokens.iter;
-
-	if (temp.tokens.iter) {
-		cpp->tokens.iter = temp.tokens.iter;
-		cpp->tokens.next = temp.tokens.next;
+	*tokens = cpp->tokens.next;
+	psi_plist_free(cpp->tokens.iter);
+	if (cpp->tokens.exec) {
+		assert(!psi_plist_count(cpp->tokens.exec));
+		psi_plist_free(cpp->tokens.exec);
 	}
+
+	cpp->tokens = temp.tokens;
 	cpp->index = temp.index;
 	cpp->skip = temp.skip;
 	cpp->level = temp.level;
 	cpp->seen = temp.seen;
+	cpp->do_cpp = temp.do_cpp;
 
 	return parsed;
 }
 
 bool psi_cpp_defined(struct psi_cpp *cpp, struct psi_token *tok)
 {
-	bool defined;
+	bool defined = false;
 
 	if (tok->type == PSI_T_NAME) {
-		defined = zend_hash_exists(&cpp->defs, tok->text)
-				|| psi_builtin_exists(tok->text);
-	} else {
-		defined = false;
-	}
-
-#if PSI_CPP_DEBUG
-	PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP defined -> %s ", defined ? "true" : "false");
-	if (defined) {
-		struct psi_cpp_macro_decl *macro = zend_hash_find_ptr(&cpp->defs, tok->text);
-		if (macro) {
-			PSI_DEBUG_PRINT(cpp->parser, " @ %s:%u ", macro->token->file->val, macro->token->line);
+		if (psi_builtin_exists(tok->text)) {
+			defined = true;
+		} else if (!zend_hash_exists(&cpp->expanding, tok->text)) {
+			defined = zend_hash_exists(&cpp->defs, tok->text);
 		}
-	}
-	PSI_DEBUG_DUMP(cpp->parser, psi_token_dump, tok);
+#if PSI_CPP_DEBUG
+		PSI_DEBUG_LOCK(cpp->parser,
+				PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP defined -> %s ", defined ? "true" : "false");
+				if (defined) {
+					struct psi_cpp_macro_decl *macro = zend_hash_find_ptr(&cpp->defs, tok->text);
+					if (macro) {
+						PSI_DEBUG_PRINT(cpp->parser, " @ %s:%u ", macro->token->file->val, macro->token->line);
+					}
+				} else {
+					zend_string *key;
+
+					PSI_DEBUG_PRINT(cpp->parser, " expanding=");
+					ZEND_HASH_FOREACH_STR_KEY(&cpp->expanding, key)
+					{
+						PSI_DEBUG_PRINT(cpp->parser, "%s,", key->val);
+					}
+					ZEND_HASH_FOREACH_END();
+					PSI_DEBUG_PRINT(cpp->parser, "\t");
+				}
+				PSI_DEBUG_DUMP(cpp->parser, psi_token_dump, tok);
+		);
 #endif
+	}
 
 	return defined;
 }
@@ -429,13 +436,15 @@ void psi_cpp_define(struct psi_cpp *cpp, struct psi_cpp_macro_decl *decl)
 				"'%s' previously defined", old->token->text->val);
 	}
 #if PSI_CPP_DEBUG
-	if (decl->exp) {
-		PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP MACRO num_exp -> ");
-	} else {
-		PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP MACRO decl    -> ");
-	}
-	PSI_DEBUG_DUMP(cpp->parser, psi_cpp_macro_decl_dump, decl);
-	PSI_DEBUG_PRINT(cpp->parser, "\n");
+	PSI_DEBUG_LOCK(cpp->parser,
+			if (decl->exp) {
+				PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP MACRO num_exp -> ");
+			} else {
+				PSI_DEBUG_PRINT(cpp->parser, "PSI: CPP MACRO decl    -> ");
+			}
+			PSI_DEBUG_DUMP(cpp->parser, psi_cpp_macro_decl_dump, decl);
+			PSI_DEBUG_PRINT(cpp->parser, "\n");
+	);
 #endif
 	zend_hash_update_ptr(&cpp->defs, decl->token->text, decl);
 }
@@ -495,7 +504,7 @@ bool psi_cpp_include(struct psi_cpp *cpp, const struct psi_token *file, unsigned
 		return false;
 	}
 
-	parsed = psi_cpp_process(cpp, &tokens);
+	parsed = psi_cpp_process(cpp, &tokens, NULL);
 	if (!parsed) {
 		psi_plist_free(tokens);
 		return false;