changeset 53073:49f65e04ba8e

CC Mode update (5.30.8).
author Martin Stjernholm <mast@lysator.liu.se>
date Sun, 16 Nov 2003 16:55:08 +0000
parents 8787289602d1
children b1025973e761
files lisp/ChangeLog lisp/progmodes/cc-align.el lisp/progmodes/cc-cmds.el lisp/progmodes/cc-defs.el lisp/progmodes/cc-engine.el lisp/progmodes/cc-fonts.el lisp/progmodes/cc-vars.el
diffstat 7 files changed, 349 insertions(+), 211 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/ChangeLog	Sun Nov 16 16:17:09 2003 +0000
+++ b/lisp/ChangeLog	Sun Nov 16 16:55:08 2003 +0000
@@ -1,3 +1,67 @@
+2003-11-16  Martin Stjernholm  <bug-cc-mode@gnu.org>
+
+	* cc-engine.el (c-guess-continued-construct,
+	c-guess-basic-syntax): Check a little more carefully if it's a
+	function declaration when an unknown construct followed by a block
+	is found inside a statement context.  This avoids macros followed
+	by blocks to be taken as function declarations.
+
+	(c-guess-continued-construct): Changed the analysis of a statement
+	continuation with a brace open to `substatement-block', for
+	consistency with recognized statements.
+
+	(c-add-stmt-syntax): Don't continue to the surrounding sexp if the
+	start is in a position so that `c-beginning-of-statement-1' jumped
+	to the beginning of the same statement.
+
+	* cc-fonts.el, cc-engine.el (c-forward-<>-arglist-recur): Don't
+	accept binary operators in the arglist if we're in a function call
+	context, i.e. if `c-restricted-<>-arglists' is set.  That avoids
+	template recognition in cases like "if (a < b || c > d)".
+
+	(c-restricted-<>-arglists): New more appropriate name for
+	`c-disallow-comma-in-<>-arglists'.
+
+	Accessing functions updated for the variable name change.
+
+	* cc-engine.el (c-syntactic-re-search-forward): Fix bug where the
+	match data could get clobbered if NOT-INSIDE-TOKEN is used.
+
+	* cc-engine.el (c-beginning-of-statement-1): Don't allow parens in
+	labels.
+
+	(c-backward-to-decl-anchor): Use `c-beginning-of-statement-1'
+	instead of duplicating parts of it.  This fixes bogus label
+	recognition.
+
+	* cc-align.el (c-gnu-impose-minimum): Reverted to the old method
+	of checking the context in which to apply the minimum indentation,
+	so that it isn't enforced in e.g. namespace blocks.
+
+	* cc-vars.el (c-inside-block-syms): New constant used by
+	`c-gnu-impose-minimum'.  It's defined close to `c-offsets-alist'
+	to somewhat reduce the risk of becoming stale.
+
+	* cc-cmds.el, cc-engine.el (c-shift-line-indentation): Moved from
+	cc-cmds to cc-engine to allow use from cc-align.
+
+	* cc-engine.el (c-beginning-of-inheritance-list): Cope with fully
+	qualified identifiers containing "::".
+
+	* cc-defs.el (c-make-keywords-re): Added kludge for bug in
+	`regexp-opt' in Emacs 20 and XEmacs when strings contain newlines.
+
+	* cc-vars.el (c-emacs-features): Use a space in front of the name
+	of the temporary buffer.  That also avoids dumping problems in
+	XEmacs due to undo info being left around after the buffer is
+	killed.
+
+	* cc-engine.el (c-in-knr-argdecl): Look closer at the function
+	arglist to see if it's a K&R style declaration.
+
+	(c-guess-basic-syntax): CASE 5B.2: Check with `c-in-knr-argdecl'
+	before returning `knr-argdecl-intro'.
+
 2003-11-16  John Wiegley  <johnw@newartisans.com>
 
 	* eshell/em-ls.el (eshell-ls-file): Instead of making the size
--- a/lisp/progmodes/cc-align.el	Sun Nov 16 16:17:09 2003 +0000
+++ b/lisp/progmodes/cc-align.el	Sun Nov 16 16:55:08 2003 +0000
@@ -1121,35 +1121,20 @@
 	'(before after)))))
 
 (defun c-gnu-impose-minimum ()
-  "Imposes a minimum indentation for lines inside a top-level construct.
+  "Imposes a minimum indentation for lines inside code blocks.
 The variable `c-label-minimum-indentation' specifies the minimum
 indentation amount."
 
-  ;; Don't adjust macro or comment-only lines.
-  (unless (or (assq 'cpp-macro c-syntactic-context)
-	      (assq 'comment-intro c-syntactic-context))
-
-    (let ((paren-state (save-excursion
-			 ;; Get the parenthesis state, but skip past
-			 ;; an initial closing paren on the line since
-			 ;; the close brace of a block shouldn't be
-			 ;; considered to be inside the block.
-			 (back-to-indentation)
-			 (when (looking-at "\\s\)")
-			   (forward-char))
-			 (c-parse-state))))
-
-      ;; Search for an enclosing brace on paren-state.
-      (while (and paren-state
-		  (not (and (integer-or-marker-p (car paren-state))
-			    (eq (char-after (car paren-state)) ?{))))
-	(setq paren-state (cdr paren-state)))
-
-      (when paren-state
-	(save-excursion
-	  (back-to-indentation)
-	  (if (zerop (current-column))
-	      (insert-char ?\  c-label-minimum-indentation t)))))))
+  (when (and (not
+	      ;; Don't adjust macro or comment-only lines.
+	      (or (assq 'cpp-macro c-syntactic-context)
+		  (assq 'comment-intro c-syntactic-context)))
+	     (c-intersect-lists c-inside-block-syms c-syntactic-context)
+	     (save-excursion
+	       (back-to-indentation)
+	       (< (current-column) c-label-minimum-indentation)))
+    (c-shift-line-indentation (- c-label-minimum-indentation
+				 (current-indentation)))))
 
 
 ;; Useful for c-hanging-semi&comma-criteria
--- a/lisp/progmodes/cc-cmds.el	Sun Nov 16 16:17:09 2003 +0000
+++ b/lisp/progmodes/cc-cmds.el	Sun Nov 16 16:55:08 2003 +0000
@@ -54,37 +54,6 @@
 
 (defvar c-fix-backslashes t)
 
-(defun c-shift-line-indentation (shift-amt)
-  ;; This function does not do any hidden buffer changes.
-  (let ((pos (- (point-max) (point)))
-	(c-macro-start c-macro-start)
-	tmp-char-inserted)
-    (if (zerop shift-amt)
-	nil
-      (when (and (c-query-and-set-macro-start)
-		 (looking-at "[ \t]*\\\\$")
-		 (save-excursion
-		   (skip-chars-backward " \t")
-		   (bolp)))
-	(insert ?x)
-	(backward-char)
-	(setq tmp-char-inserted t))
-      (unwind-protect
-	  (let ((col (current-indentation)))
-	    (delete-region (c-point 'bol) (c-point 'boi))
-	    (beginning-of-line)
-	    (indent-to (+ col shift-amt)))
-	(when tmp-char-inserted
-	  (delete-char 1))))
-    ;; If initial point was within line's indentation and we're not on
-    ;; a line with a line continuation in a macro, position after the
-    ;; indentation.  Else stay at same point in text.
-    (if (and (< (point) (c-point 'boi))
-	     (not tmp-char-inserted))
-	(back-to-indentation)
-      (if (> (- (point-max) pos) (point))
-	  (goto-char (- (point-max) pos))))))
-
 (defun c-indent-line (&optional syntax quiet ignore-point-pos)
   "Indent the current line according to the syntactic context,
 if `c-syntactic-indentation' is non-nil.  Optional SYNTAX is the
--- a/lisp/progmodes/cc-defs.el	Sun Nov 16 16:17:09 2003 +0000
+++ b/lisp/progmodes/cc-defs.el	Sun Nov 16 16:55:08 2003 +0000
@@ -105,7 +105,7 @@
 
 ;;; Variables also used at compile time.
 
-(defconst c-version "5.30.7"
+(defconst c-version "5.30.8"
   "CC Mode version number.")
 
 (defconst c-version-sym (intern c-version))
@@ -1001,8 +1001,8 @@
 
 (defun c-make-keywords-re (adorn list &optional mode)
   "Make a regexp that matches all the strings the list.
-Duplicates in the list are removed.  The regexp may contain zero or
-more submatch expressions.
+Duplicates in the list are removed.  The resulting regexp may contain
+zero or more submatch expressions.
 
 If ADORN is non-nil there will be at least one submatch and the first
 matches the whole keyword, and the regexp will also not match a prefix
@@ -1010,6 +1010,7 @@
 variable `c-nonsymbol-key' is used to make the adornment.  The
 optional MODE specifies the language to get it in.  The default is the
 current language (taken from `c-buffer-is-cc-mode')."
+
   (let (unique)
     (dolist (elt list)
       (unless (member elt unique)
@@ -1017,6 +1018,27 @@
     (setq list unique))
   (if list
       (let ((re (c-regexp-opt list)))
+
+	;; Emacs < 21 and XEmacs (all versions so far) has a buggy
+	;; regexp-opt that doesn't always cope with strings containing
+	;; newlines.  This kludge doesn't handle shy parens correctly
+	;; so we can't advice regexp-opt directly with it.
+	(let (fail-list)
+	  (while list
+	    (and (string-match "\n" (car list)) ; To speed it up a little.
+		 (not (string-match (concat "\\`\\(" re "\\)\\'")
+				    (car list)))
+		 (setq fail-list (cons (car list) fail-list)))
+	    (setq list (cdr list)))
+	  (when fail-list
+	    (setq re (concat re
+			     "\\|"
+			     (mapconcat 'regexp-quote
+					(sort fail-list
+					      (lambda (a b)
+						(> (length a) (length b))))
+					"\\|")))))
+
 	;; Add our own grouping parenthesis around re instead of
 	;; passing adorn to `regexp-opt', since in XEmacs it makes the
 	;; top level grouping "shy".
@@ -1026,10 +1048,12 @@
 		    (c-get-lang-constant 'c-nonsymbol-key nil mode)
 		    "\\|$\\)")
 	  re))
+
     ;; Produce a regexp that matches nothing.
     (if adorn
 	"\\(\\<\\>\\)"
       "\\<\\>")))
+
 (put 'c-make-keywords-re 'lisp-indent-function 1)
 
 
--- a/lisp/progmodes/cc-engine.el	Sun Nov 16 16:17:09 2003 +0000
+++ b/lisp/progmodes/cc-engine.el	Sun Nov 16 16:55:08 2003 +0000
@@ -197,6 +197,75 @@
 (make-variable-buffer-local 'c-type-decl-end-used)
 
 
+;; Basic handling of preprocessor directives.
+
+;; This is a dynamically bound cache used together with
+;; `c-query-macro-start' and `c-query-and-set-macro-start'.  It only
+;; works as long as point doesn't cross a macro boundary.
+(defvar c-macro-start 'unknown)
+
+(defsubst c-query-and-set-macro-start ()
+  ;; This function does not do any hidden buffer changes.
+  (if (symbolp c-macro-start)
+      (setq c-macro-start (save-excursion
+			    (and (c-beginning-of-macro)
+				 (point))))
+    c-macro-start))
+
+(defsubst c-query-macro-start ()
+  ;; This function does not do any hidden buffer changes.
+  (if (symbolp c-macro-start)
+      (save-excursion
+	(and (c-beginning-of-macro)
+	     (point)))
+    c-macro-start))
+
+(defun c-beginning-of-macro (&optional lim)
+  "Go to the beginning of a preprocessor directive.
+Leave point at the beginning of the directive and return t if in one,
+otherwise return nil and leave point unchanged.
+
+This function does not do any hidden buffer changes."
+  (when c-opt-cpp-prefix
+    (let ((here (point)))
+      (save-restriction
+	(if lim (narrow-to-region lim (point-max)))
+	(beginning-of-line)
+	(while (eq (char-before (1- (point))) ?\\)
+	  (forward-line -1))
+	(back-to-indentation)
+	(if (and (<= (point) here)
+		 (looking-at c-opt-cpp-start))
+	    t
+	  (goto-char here)
+	  nil)))))
+
+(defun c-end-of-macro ()
+  "Go to the end of a preprocessor directive.
+More accurately, move point to the end of the closest following line
+that doesn't end with a line continuation backslash.
+
+This function does not do any hidden buffer changes."
+  (while (progn
+	   (end-of-line)
+	   (when (and (eq (char-before) ?\\)
+		      (not (eobp)))
+	     (forward-char)
+	     t))))
+
+(defun c-forward-to-cpp-define-body ()
+  ;; Assuming point is at the "#" that introduces a preprocessor
+  ;; directive, it's moved forward to the start of the definition body
+  ;; if it's a "#define".  Non-nil is returned in this case, in all
+  ;; other cases nil is returned and point isn't moved.
+  (when (and (looking-at
+	      (concat "#[ \t]*"
+		      "define[ \t]+\\(\\sw\\|_\\)+\\(\([^\)]*\)\\)?"
+		      "\\([ \t]\\|\\\\\n\\)*"))
+	     (not (= (match-end 0) (c-point 'eol))))
+    (goto-char (match-end 0))))
+
+
 ;;; Basic utility functions.
 
 (defun c-syntactic-content (from to)
@@ -268,6 +337,37 @@
 (defvar c-literal-faces
   '(font-lock-comment-face font-lock-string-face))
 
+(defun c-shift-line-indentation (shift-amt)
+  ;; This function does not do any hidden buffer changes.
+  (let ((pos (- (point-max) (point)))
+	(c-macro-start c-macro-start)
+	tmp-char-inserted)
+    (if (zerop shift-amt)
+	nil
+      (when (and (c-query-and-set-macro-start)
+		 (looking-at "[ \t]*\\\\$")
+		 (save-excursion
+		   (skip-chars-backward " \t")
+		   (bolp)))
+	(insert ?x)
+	(backward-char)
+	(setq tmp-char-inserted t))
+      (unwind-protect
+	  (let ((col (current-indentation)))
+	    (delete-region (c-point 'bol) (c-point 'boi))
+	    (beginning-of-line)
+	    (indent-to (+ col shift-amt)))
+	(when tmp-char-inserted
+	  (delete-char 1))))
+    ;; If initial point was within line's indentation and we're not on
+    ;; a line with a line continuation in a macro, position after the
+    ;; indentation.  Else stay at same point in text.
+    (if (and (< (point) (c-point 'boi))
+	     (not tmp-char-inserted))
+	(back-to-indentation)
+      (if (> (- (point-max) pos) (point))
+	  (goto-char (- (point-max) pos))))))
+
 
 ;; Some debug tools to visualize various special positions.  This
 ;; debug code isn't as portable as the rest of CC Mode.
@@ -592,7 +692,7 @@
 
 		;; The PDA state handling.
                 ;;
-                ;; Refer to the description of the PDA in the openining
+                ;; Refer to the description of the PDA in the opening
                 ;; comments.  In the following OR form, the first leaf
                 ;; attempts to handles one of the specific actions detailed
                 ;; (e.g., finding token "if" whilst in state `else-boundary').
@@ -769,7 +869,9 @@
 			sym 'boundary)
 		  (throw 'loop t))) ; like a C "continue".  Analyze the next sexp.
 
-	      (when (and (numberp c-maybe-labelp) (not ignore-labels))
+	      (when (and (numberp c-maybe-labelp)
+			 (not ignore-labels)
+			 (not (looking-at "\\s\(")))
 		;; c-crosses-statement-barrier-p has found a colon, so
 		;; we might be in a label now.
 		(if (not after-labels-pos)
@@ -1012,75 +1114,6 @@
 		t))))))
 
 
-;; Basic handling of preprocessor directives.
-
-;; This is a dynamically bound cache used together with
-;; `c-query-macro-start' and `c-query-and-set-macro-start'.  It only
-;; works as long as point doesn't cross a macro boundary.
-(defvar c-macro-start 'unknown)
-
-(defsubst c-query-and-set-macro-start ()
-  ;; This function does not do any hidden buffer changes.
-  (if (symbolp c-macro-start)
-      (setq c-macro-start (save-excursion
-			    (and (c-beginning-of-macro)
-				 (point))))
-    c-macro-start))
-
-(defsubst c-query-macro-start ()
-  ;; This function does not do any hidden buffer changes.
-  (if (symbolp c-macro-start)
-      (save-excursion
-	(and (c-beginning-of-macro)
-	     (point)))
-    c-macro-start))
-
-(defun c-beginning-of-macro (&optional lim)
-  "Go to the beginning of a preprocessor directive.
-Leave point at the beginning of the directive and return t if in one,
-otherwise return nil and leave point unchanged.
-
-This function does not do any hidden buffer changes."
-  (when c-opt-cpp-prefix
-    (let ((here (point)))
-      (save-restriction
-	(if lim (narrow-to-region lim (point-max)))
-	(beginning-of-line)
-	(while (eq (char-before (1- (point))) ?\\)
-	  (forward-line -1))
-	(back-to-indentation)
-	(if (and (<= (point) here)
-		 (looking-at c-opt-cpp-start))
-	    t
-	  (goto-char here)
-	  nil)))))
-
-(defun c-end-of-macro ()
-  "Go to the end of a preprocessor directive.
-More accurately, move point to the end of the closest following line
-that doesn't end with a line continuation backslash.
-
-This function does not do any hidden buffer changes."
-  (while (progn
-	   (end-of-line)
-	   (when (and (eq (char-before) ?\\)
-		      (not (eobp)))
-	     (forward-char)
-	     t))))
-
-(defun c-forward-to-cpp-define-body ()
-  ;; Assuming point is at the "#" that introduces a preprocessor
-  ;; directive, it's moved forward to the start of the definition body
-  ;; if it's a "#define".  Non-nil is returned in this case, in all
-  ;; other cases nil is returned and point isn't moved.
-  (when (and (looking-at
-	      (concat "#[ \t]*"
-		      "define[ \t]+\\(\\sw\\|_\\)+\\(\([^\)]*\)\\)?"
-		      "\\([ \t]\\|\\\\\n\\)*"))
-	     (not (= (match-end 0) (c-point 'eol))))
-    (goto-char (match-end 0))))
-
-
 ;; Tools for skipping over syntactic whitespace.
 
 ;; The following functions use text properties to cache searches over
@@ -2451,7 +2484,8 @@
 			  (< check-pos
 			     (save-excursion
 			       (goto-char check-pos)
-			       (c-end-of-current-token last-token-end-pos)
+			       (save-match-data
+				 (c-end-of-current-token last-token-end-pos))
 			       (setq last-token-end-pos (point))))))
 		 ;; Match inside a token.
 		 (cond ((<= (point) bound)
@@ -2516,9 +2550,7 @@
 i.e. don't stop at positions inside syntactic whitespace or string
 literals.  Preprocessor directives are also ignored, with the exception
 of the one that the point starts within, if any.  If LIMIT is given,
-it's assumed to be at a syntactically relevant position.
-
-This function does not do any hidden buffer changes."
+it's assumed to be at a syntactically relevant position."
 
   (let ((start (point))
 	;; A list of syntactically relevant positions in descending
@@ -3351,9 +3383,20 @@
 (defvar c-promote-possible-types nil)
 
 ;; Dynamically bound variable that instructs `c-forward-<>-arglist' to
-;; not accept arglists that contain more than one argument.  It's used
-;; to handle ambiguous cases like "foo (a < b, c > d)" better.
-(defvar c-disallow-comma-in-<>-arglists nil)
+;; not accept arglists that contain binary operators.
+;;
+;; This is primarily used to handle C++ template arglists.  C++
+;; disambiguates them by checking whether the preceding name is a
+;; template or not.  We can't do that, so we assume it is a template
+;; if it can be parsed as one.  That usually works well since
+;; comparison expressions on the forms "a < b > c" or "a < b, c > d"
+;; in almost all cases would be pointless.
+;;
+;; However, in function arglists, e.g. in "foo (a < b, c > d)", we
+;; should let the comma separate the function arguments instead.  And
+;; in a context where the value of the expression is taken, e.g. in
+;; "if (a < b || c > d)", it's probably not a template.
+(defvar c-restricted-<>-arglists nil)
 
 ;; Dynamically bound variables that instructs `c-forward-name',
 ;; `c-forward-type' and `c-forward-<>-arglist' to record the ranges of
@@ -3494,7 +3537,7 @@
 	     (eq (char-after) ?<)
 	     (c-forward-<>-arglist (c-keyword-member kwd-sym 'c-<>-type-kwds)
 				   (or c-record-type-identifiers
-				       c-disallow-comma-in-<>-arglists)))
+				       c-restricted-<>-arglists)))
 	(c-forward-syntactic-ws)
 	(setq safe-pos (point)))
 
@@ -3543,16 +3586,7 @@
   ;; necessary if the various side effects, e.g. recording of type
   ;; ranges, are important.  Setting REPARSE to t only applies
   ;; recursively to nested angle bracket arglists if
-  ;; `c-disallow-comma-in-<>-arglists' is set.
-  ;;
-  ;; This is primarily used in C++ to mark up template arglists.  C++
-  ;; disambiguates them by checking whether the preceding name is a
-  ;; template or not.  We can't do that, so we assume it is a template
-  ;; if it can be parsed as one.  This usually works well since
-  ;; comparison expressions on the forms "a < b > c" or "a < b, c > d"
-  ;; in almost all cases would be pointless.  Cases like function
-  ;; calls on the form "foo (a < b, c > d)" needs to be handled
-  ;; specially through the `c-disallow-comma-in-<>-arglists' variable.
+  ;; `c-restricted-<>-arglists' is set.
 
   (let ((start (point))
 	;; If `c-record-type-identifiers' is set then activate
@@ -3683,11 +3717,18 @@
 			(forward-char)
 			t)
 
-		      ;; Note: This regexp exploits the match order in
-		      ;; \| so that "<>" is matched by "<" rather than
-		      ;; "[^>:-]>".
+		      ;; Note: These regexps exploit the match order in \| so
+		      ;; that "<>" is matched by "<" rather than "[^>:-]>".
 		      (c-syntactic-re-search-forward
-		       "[<;{},]\\|\\([^>:-]>\\)" nil 'move t t 1)
+		       (if c-restricted-<>-arglists
+			   ;; Stop on ',', '|', '&', '+' and '-' to catch
+			   ;; common binary operators that could be between
+			   ;; two comparison expressions "a<b" and "c>d".
+			   "[<;{},|&+-]\\|\\([^>:-]>\\)"
+			 ;; Otherwise we still stop on ',' to find the
+			 ;; argument start positions.
+			 "[<;{},]\\|\\([^>:-]>\\)")
+		       nil 'move t t 1)
 
 		      ;; If the arglist starter has lost its open paren
 		      ;; syntax but not the closer, we won't find the
@@ -3776,7 +3817,7 @@
 					   (c-keyword-sym (match-string 1))
 					   'c-<>-type-kwds))
 				     (and reparse
-					  c-disallow-comma-in-<>-arglists))))
+					  c-restricted-<>-arglists))))
 			    )))
 
 			;; It was not an angle bracket arglist.
@@ -3812,7 +3853,7 @@
 		  t)
 
 		 ((and (eq (char-before) ?,)
-		       (not c-disallow-comma-in-<>-arglists))
+		       (not c-restricted-<>-arglists))
 		  ;; Just another argument.  Record the position.  The
 		  ;; type check stuff that made us stop at it is at
 		  ;; the top of the loop.
@@ -3959,7 +4000,7 @@
 	       (when (let ((c-record-type-identifiers nil)
 			   (c-record-found-types nil))
 		       (c-forward-<>-arglist
-			nil c-disallow-comma-in-<>-arglists))
+			nil c-restricted-<>-arglists))
 		 (c-forward-syntactic-ws)
 		 (setq pos (point))
 		 (if (and c-opt-identifier-concat-key
@@ -4202,7 +4243,7 @@
     (c-with-syntax-table c++-template-syntax-table
       (c-backward-token-2 0 t lim)
       (while (and (or (looking-at c-symbol-start)
-		      (looking-at "[<,]"))
+		      (looking-at "[<,]\\|::"))
 		  (zerop (c-backward-token-2 1 t lim))))
       (skip-chars-forward "^:"))))
 
@@ -4326,8 +4367,7 @@
   ;; position that bounds the backward search for the argument list.
   ;;
   ;; Note: A declaration level context is assumed; the test can return
-  ;; false positives for statements.  This test is even more easily
-  ;; fooled than `c-just-after-func-arglist-p'.
+  ;; false positives for statements.
 
   (save-excursion
     (save-restriction
@@ -4337,13 +4377,12 @@
       ;; check that it's followed by some symbol before the next ';'
       ;; or '{'.  If it does, it's the header of the K&R argdecl we're
       ;; in.
-      (if lim (narrow-to-region lim (point)))
+      (if lim (narrow-to-region lim (c-point 'eol)))
       (let ((outside-macro (not (c-query-macro-start)))
 	    paren-end)
 
 	(catch 'done
-	  (while (if (and (c-safe (setq paren-end
-					(c-down-list-backward (point))))
+	  (while (if (and (setq paren-end (c-down-list-backward (point)))
 			  (eq (char-after paren-end) ?\)))
 		     (progn
 		       (goto-char (1+ paren-end))
@@ -4354,7 +4393,26 @@
 	(and (progn
 	       (c-forward-syntactic-ws)
 	       (looking-at "\\w\\|\\s_"))
-	     (c-safe (c-up-list-backward paren-end))
+
+	     (save-excursion
+	       ;; The function header in a K&R declaration should only
+	       ;; contain identifiers separated by comma.  It should
+	       ;; also contain at least one identifier since there
+	       ;; wouldn't be anything to declare in the K&R region
+	       ;; otherwise.
+	       (when (c-go-up-list-backward paren-end)
+		 (forward-char)
+		 (catch 'knr-ok
+		   (while t
+		     (c-forward-syntactic-ws)
+		     (if (or (looking-at c-known-type-key)
+			     (looking-at c-keywords-regexp))
+			 (throw 'knr-ok nil))
+		     (c-forward-token-2)
+		     (if (eq (char-after) ?,)
+			 (forward-char)
+		       (throw 'knr-ok (and (eq (char-after) ?\))
+					   (= (point) paren-end))))))))
 
 	     (save-excursion
 	       ;; If it's a K&R declaration then we're now at the
@@ -4405,24 +4463,12 @@
       (if start
 	  (goto-char start)))))
 
-(defun c-backward-to-decl-anchor (&optional lim)
+(defsubst c-backward-to-decl-anchor (&optional lim)
   ;; Assuming point is at a brace that opens the block of a top level
   ;; declaration of some kind, move to the proper anchor point for
   ;; that block.
   (unless (= (point) (c-point 'boi))
-    ;; What we have below is actually an extremely stripped variant of
-    ;; c-beginning-of-statement-1.
-    (let ((pos (point)) c-maybe-labelp)
-      ;; Switch syntax table to avoid stopping at line continuations.
-      (save-restriction
-	(if lim (narrow-to-region lim (point-max)))
-	(while (and (progn
-		      (c-backward-syntactic-ws)
-		      (c-safe (goto-char (scan-sexps (point) -1)) t))
-		    (not (c-crosses-statement-barrier-p (point) pos))
-		    (not c-maybe-labelp))
-	  (setq pos (point)))
-	(goto-char pos)))))
+    (c-beginning-of-statement-1 lim)))
 
 (defun c-search-decl-header-end ()
   ;; Search forward for the end of the "header" of the current
@@ -4619,7 +4665,7 @@
       nil)))
 
 (defun c-beginning-of-member-init-list (&optional limit)
-  ;; Goes to the beginning of a member init list (i.e. just after the
+  ;; Go to the beginning of a member init list (i.e. just after the
   ;; ':') if inside one.  Returns t in that case, nil otherwise.
   (or limit
       (setq limit (point-min)))
@@ -5196,7 +5242,7 @@
 			 (eq step-type 'label)
 			 (/= savepos boi))
 
-		     (progn
+		     (let ((save-step-type step-type))
 		       ;; Current position might not be good enough;
 		       ;; skip backward another statement.
 		       (setq step-type (c-beginning-of-statement-1
@@ -5228,14 +5274,20 @@
 			   (c-add-syntax 'substatement nil))
 
 			 (setq boi (c-point 'boi))
-			 (/= (point) savepos)))))
+			 (if (= (point) savepos)
+			     (progn
+			       (setq step-type save-step-type)
+			       nil)
+			   t)))))
 
 		(setq savepos (point)
 		      at-comment nil))
 	      (setq at-comment nil)
 
-	      (when (and (eq step-type 'same)
-			 containing-sexp)
+	      (when (and containing-sexp
+			 (if (memq step-type '(nil same))
+			     (/= (point) boi)
+			   (eq step-type 'label)))
 		(goto-char containing-sexp)
 
 		;; Don't stop in the middle of a special brace list opener
@@ -5395,21 +5447,32 @@
 
        ;; CASE B.3: The body of a function declared inside a normal
        ;; block.  Can occur e.g. in Pike and when using gcc
-       ;; extensions.  Might also trigger it with some macros followed
-       ;; by blocks, and this gives sane indentation then too.
+       ;; extensions, but watch out for macros followed by blocks.
        ;; C.f. cases E, 16F and 17G.
        ((and (not (c-looking-at-bos))
 	     (eq (c-beginning-of-statement-1 containing-sexp nil nil t)
-		 'same))
+		 'same)
+	     (save-excursion
+	       ;; Look for a type followed by a symbol, i.e. the start of a
+	       ;; function declaration.  Doesn't work for declarations like
+	       ;; "int *foo() ..."; we'd need to refactor the more competent
+	       ;; analysis in `c-font-lock-declarations' for that.
+	       (and (c-forward-type)
+		    (progn
+		      (c-forward-syntactic-ws)
+		      (looking-at c-symbol-start)))))
 	(c-add-stmt-syntax 'defun-open nil t nil
 			   containing-sexp paren-state))
 
-       ;; CASE B.4: Continued statement with block open.
+       ;; CASE B.4: Continued statement with block open.  The most
+       ;; accurate analysis is perhaps `statement-cont' together with
+       ;; `block-open' but we play DWIM and use `substatement-open'
+       ;; instead.  The rationaly is that this typically is a macro
+       ;; followed by a block which makes it very similar to a
+       ;; statement with a substatement block.
        (t
-	(goto-char beg-of-same-or-containing-stmt)
-	(c-add-stmt-syntax 'statement-cont nil nil nil
-			   containing-sexp paren-state)
-	(c-add-syntax 'block-open))
+	(c-add-stmt-syntax 'substatement-open nil nil nil
+			   containing-sexp paren-state))
        ))
 
      ;; CASE C: iostream insertion or extraction operator
@@ -5428,8 +5491,8 @@
      ((and (save-excursion
 	     ;; Check that the next token is a '{'.  This works as
 	     ;; long as no language that allows nested function
-	     ;; definitions doesn't allow stuff like member init
-	     ;; lists, K&R declarations or throws clauses there.
+	     ;; definitions allows stuff like member init lists, K&R
+	     ;; declarations or throws clauses there.
 	     ;;
 	     ;; Note that we do a forward search for something ahead
 	     ;; of the indentation line here.  That's not good since
@@ -5440,7 +5503,16 @@
 	     (eq (char-after) ?{))
 	   (not (c-looking-at-bos))
 	   (eq (c-beginning-of-statement-1 containing-sexp nil nil t)
-	       'same))
+	       'same)
+	   (save-excursion
+	     ;; Look for a type followed by a symbol, i.e. the start of a
+	     ;; function declaration.  Doesn't work for declarations like "int
+	     ;; *foo() ..."; we'd need to refactor the more competent analysis
+	     ;; in `c-font-lock-declarations' for that.
+	     (and (c-forward-type)
+		  (progn
+		    (c-forward-syntactic-ws)
+		    (looking-at c-symbol-start)))))
       (c-add-stmt-syntax 'func-decl-cont nil t nil
 			 containing-sexp paren-state))
 
@@ -5852,7 +5924,8 @@
 	      ;; should be relative to the ctor's indentation
 	      )
 	     ;; CASE 5B.2: K&R arg decl intro
-	     (c-recognize-knr-p
+	     ((and c-recognize-knr-p
+		   (c-in-knr-argdecl lim))
 	      (c-beginning-of-statement-1 lim)
 	      (c-add-syntax 'knr-argdecl-intro (c-point 'boi))
 	      (if inclass-p
@@ -6493,16 +6566,24 @@
 		(c-add-syntax 'inline-close (point))))
 	     ;; CASE 16F: Can be a defun-close of a function declared
 	     ;; in a statement block, e.g. in Pike or when using gcc
-	     ;; extensions.  Might also trigger it with some macros
-	     ;; followed by blocks, and this gives sane indentation
-	     ;; then too.  Let it through to be handled below.
+	     ;; extensions, but watch out for macros followed by
+	     ;; blocks.  Let it through to be handled below.
 	     ;; C.f. cases B.3 and 17G.
 	     ((and (not inenclosing-p)
 		   lim
 		   (save-excursion
 		     (and (not (c-looking-at-bos))
 			  (eq (c-beginning-of-statement-1 lim nil nil t) 'same)
-			  (setq placeholder (point)))))
+			  (setq placeholder (point))
+			  ;; Look for a type or identifier followed by a
+			  ;; symbol, i.e. the start of a function declaration.
+			  ;; Doesn't work for declarations like "int *foo()
+			  ;; ..."; we'd need to refactor the more competent
+			  ;; analysis in `c-font-lock-declarations' for that.
+			  (c-forward-type)
+			  (progn
+			    (c-forward-syntactic-ws)
+			    (looking-at c-symbol-start)))))
 	      (back-to-indentation)
 	      (if (/= (point) containing-sexp)
 		  (goto-char placeholder))
@@ -6627,13 +6708,21 @@
 	    (c-add-syntax 'defun-block-intro (point)))
 	   ;; CASE 17G: First statement in a function declared inside
 	   ;; a normal block.  This can occur in Pike and with
-	   ;; e.g. the gcc extensions.  Might also trigger it with
-	   ;; some macros followed by blocks, and this gives sane
-	   ;; indentation then too.  C.f. cases B.3 and 16F.
+	   ;; e.g. the gcc extensions, but watch out for macros
+	   ;; followed by blocks.  C.f. cases B.3 and 16F.
 	   ((save-excursion
 	      (and (not (c-looking-at-bos))
 		   (eq (c-beginning-of-statement-1 lim nil nil t) 'same)
-		   (setq placeholder (point))))
+		   (setq placeholder (point))
+		   ;; Look for a type or identifier followed by a
+		   ;; symbol, i.e. the start of a function declaration.
+		   ;; Doesn't work for declarations like "int *foo()
+		   ;; ..."; we'd need to refactor the more competent
+		   ;; analysis in `c-font-lock-declarations' for that.
+		   (c-forward-type)
+		   (progn
+		     (c-forward-syntactic-ws)
+		     (looking-at c-symbol-start))))
 	    (back-to-indentation)
 	    (if (/= (point) containing-sexp)
 		(goto-char placeholder))
--- a/lisp/progmodes/cc-fonts.el	Sun Nov 16 16:17:09 2003 +0000
+++ b/lisp/progmodes/cc-fonts.el	Sun Nov 16 16:55:08 2003 +0000
@@ -894,7 +894,7 @@
 
   (save-restriction
     (let (start-pos
-	  c-disallow-comma-in-<>-arglists
+	  c-restricted-<>-arglists
 	  ;; Nonzero if the `c-decl-prefix-re' match is in an arglist context,
 	  ;; as opposed to a statement-level context.  The major difference is
 	  ;; that "," works as declaration delimiter in an arglist context,
@@ -1050,11 +1050,11 @@
 		 ;; If we're in a normal arglist context we don't want to
 		 ;; recognize commas in nested angle bracket arglists since
 		 ;; those commas could be part of our own arglist.
-		 c-disallow-comma-in-<>-arglists
+		 c-restricted-<>-arglists
 		 (and c-recognize-<>-arglists
 		      (eq arglist-type 'other)))
 
-	   (when (and c-disallow-comma-in-<>-arglists
+	   (when (and c-restricted-<>-arglists
 		      (/= arglist-match ?,))
 	     ;; We're standing at the start of a normal arglist so remove any
 	     ;; angle bracket arglists containing commas that's been
--- a/lisp/progmodes/cc-vars.el	Sun Nov 16 16:17:09 2003 +0000
+++ b/lisp/progmodes/cc-vars.el	Sun Nov 16 16:55:08 2003 +0000
@@ -878,12 +878,11 @@
   :group 'c)
 
 (defcustom-c-stylevar c-label-minimum-indentation 1
-  "*Minimum indentation for lines inside of top-level constructs.
+  "*Minimum indentation for lines inside code blocks.
 This variable typically only affects code using the `gnu' style, which
-mandates a minimum of one space in front of every line inside
-top-level constructs.  Specifically, the function
-`c-gnu-impose-minimum' on your `c-special-indent-hook' is what
-enforces this."
+mandates a minimum of one space in front of every line inside code
+blocks.  Specifically, the function `c-gnu-impose-minimum' on your
+`c-special-indent-hook' is what enforces this."
   :type 'integer
   :group 'c)
 
@@ -1271,6 +1270,14 @@
 	   (get 'c-offsets-alist 'c-stylevar-fallback)))
   :group 'c)
 
+;; The syntactic symbols that can occur inside code blocks. Used by
+;; `c-gnu-impose-minimum'.
+(defconst c-inside-block-syms
+  '(defun-block-intro block-open block-close statement statement-cont
+    statement-block-intro statement-case-intro statement-case-open
+    substatement substatement-open substatement-label case-label label
+    do-while-closure else-clause catch-clause inlambda))
+
 (defcustom c-style-variables-are-local-p t
   "*Whether style variables should be buffer local by default.
 If non-nil, then all indentation style related variables will be made
@@ -1575,7 +1582,7 @@
 			 '1-bit)
 		       list)))
 
-    (let ((buf (generate-new-buffer "test"))
+    (let ((buf (generate-new-buffer " test"))
 	  parse-sexp-lookup-properties
 	  parse-sexp-ignore-comments
 	  lookup-syntax-properties)