cpplex.c (_cpp_lex_token): Don't warn about directives in macro arguments when lookin...

	* cpplex.c (_cpp_lex_token): Don't warn about directives in
	macro arguments when looking for the '('.
	* cppmacro.c (funlike_invocation_p): Set parsing_args to
	2 when really parsing arguments; 1 when looking for '('.
	Always restore the lexer position.
	* gcc.dg/cpp/cppmacro7.c: New test.

From-SVN: r40223

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a4f7d64429b414675d615f50500638762b04daba..322d241051441e1122d3ad55c3caf25afcea0d25 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2001-03-03  Neil Booth  <neil@daikokuya.demon.co.uk>
+
+       * cpplex.c (_cpp_lex_token): Don't warn about directives in
+       macro arguments when looking for the '('.
+       * cppmacro.c (funlike_invocation_p): Set parsing_args to
+       2 when really parsing arguments; 1 when looking for '('.
+       Always restore the lexer position.
+
 2001-03-03  Neil Booth  <neil@daikokuya.demon.co.uk>
 
        * longlong.h (umul_ppmm): Don't use a multiline string.

diff --git a/gcc/cpplex.c b/gcc/cpplex.c
index 939951a4e7ff63dae524373197c335a7b881cb1c..bd96303861328d523fa83af5693f274ab6cac332 100644 (file)
--- a/gcc/cpplex.c
+++ b/gcc/cpplex.c
@@ -1171,38 +1171,36 @@ _cpp_lex_token (pfile, result)
 
       result->type = CPP_HASH;
     do_hash:
-      if (bol)
+      if (!bol)
+       break;
+      /* 6.10.3 paragraph 11: If there are sequences of preprocessing
+        tokens within the list of arguments that would otherwise act
+        as preprocessing directives, the behavior is undefined.
+
+        This implementation will report a hard error, terminate the
+        macro invocation, and proceed to process the directive.  */
+      if (pfile->state.parsing_args)
        {
-         if (pfile->state.parsing_args)
-           {
-             /* 6.10.3 paragraph 11: If there are sequences of
-                preprocessing tokens within the list of arguments that
-                would otherwise act as preprocessing directives, the
-                behavior is undefined.
-
-                This implementation will report a hard error, terminate
-                the macro invocation, and proceed to process the
-                directive.  */
-             cpp_error (pfile,
-                        "directives may not be used inside a macro argument");
-
-             /* Put a '#' in lookahead, return CPP_EOF for parse_arg.  */
-             buffer->extra_char = buffer->read_ahead;
-             buffer->read_ahead = '#';
-             pfile->state.next_bol = 1;
-             result->type = CPP_EOF;
-
-             /* Get whitespace right - newline_in_args sets it.  */
-             if (pfile->lexer_pos.col == 1)
-               result->flags &= ~(PREV_WHITE | AVOID_LPASTE);
-           }
-         else
-           {
-             /* This is the hash introducing a directive.  */
-             if (_cpp_handle_directive (pfile, result->flags & PREV_WHITE))
-               goto done_directive; /* bol still 1.  */
-             /* This is in fact an assembler #.  */
-           }
+         if (pfile->state.parsing_args == 2)
+           cpp_error (pfile,
+                      "directives may not be used inside a macro argument");
+
+         /* Put a '#' in lookahead, return CPP_EOF for parse_arg.  */
+         buffer->extra_char = buffer->read_ahead;
+         buffer->read_ahead = '#';
+         pfile->state.next_bol = 1;
+         result->type = CPP_EOF;
+
+         /* Get whitespace right - newline_in_args sets it.  */
+         if (pfile->lexer_pos.col == 1)
+           result->flags &= ~(PREV_WHITE | AVOID_LPASTE);
+       }
+      else
+       {
+         /* This is the hash introducing a directive.  */
+         if (_cpp_handle_directive (pfile, result->flags & PREV_WHITE))
+           goto done_directive; /* bol still 1.  */
+         /* This is in fact an assembler #.  */
        }
       break;
 

diff --git a/gcc/cppmacro.c b/gcc/cppmacro.c
index d424a4146e9878b7f545bbf8c278ce846aa0a8f3..2390ee43798f47eb2e8e02a76ea292d77771e52f 100644 (file)
--- a/gcc/cppmacro.c
+++ b/gcc/cppmacro.c
@@ -602,6 +602,7 @@ funlike_invocation_p (pfile, node, list)
   cpp_start_lookahead (pfile);
   cpp_get_token (pfile, &maybe_paren);
   cpp_stop_lookahead (pfile, maybe_paren.type == CPP_OPEN_PAREN);
+  pfile->state.parsing_args = 2;
 
   if (maybe_paren.type == CPP_OPEN_PAREN)
     args = parse_args (pfile, node);
@@ -615,11 +616,12 @@ funlike_invocation_p (pfile, node, list)
   pfile->state.prevent_expansion--;
   pfile->state.parsing_args = 0;
 
+  /* Reset the position in case of failure.  If success, the macro's
+     expansion appears where the name would have.  */
+  pfile->lexer_pos = macro_pos;
+
   if (args)
     {
-      /* The macro's expansion appears where the name would have.  */
-      pfile->lexer_pos = macro_pos;
-
       if (node->value.macro->paramc > 0)
        {
          /* Don't save tokens during pre-expansion.  */

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5718cf43bbba88cc8e1ad4b3705c7374dd6f8a26..8e2e7b0399c3708a6e2430eeec346419372ae079 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2001-03-03  Neil Booth  <neil@daikokuya.demon.co.uk>
+
+       * gcc.dg/cpp/macro7.c: New test.
+
 2001-03-03  Neil Booth  <neil@daikokuya.demon.co.uk>
 
        * gcc.dg/cpp/multiline.c: Update.

diff --git a/gcc/testsuite/gcc.dg/cpp/macro7.c b/gcc/testsuite/gcc.dg/cpp/macro7.c
new file mode 100644 (file)
index 0000000..6f2c67c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/macro7.c
@@ -0,0 +1,10 @@
+/* { dg-do preprocess } */
+
+/* Test we don't complain about directives in macro expansions when
+   looking for the '(' of a function-like macro.
+
+   Submitter: Neil Booth. 3 Mar 2000.  */
+
+#define f(x) x
+f
+#define g