* callproc.c (strerror): Remove decl.
[bpt/emacs.git] / src / syntax.c
index 9f04954..d08c29b 100644 (file)
@@ -1,5 +1,5 @@
 /* GNU Emacs routines to deal with syntax tables; also word and list parsing.
-   Copyright (C) 1985, 87, 93, 94, 95, 97, 1998 Free Software Foundation, Inc.
+   Copyright (C) 1985, 87, 93, 94, 95, 97, 1998, 1999 Free Software Foundation, Inc.
 
 This file is part of GNU Emacs.
 
@@ -56,7 +56,7 @@ struct lisp_parse_state
   {
     int depth;         /* Depth at end of parsing.  */
     int instring;      /* -1 if not within string, else desired terminator.  */
-    int incomment;     /* Nonzero if within a comment at end of parsing.  */
+    int incomment;     /* -1 if in unnestable comment else comment nesting */
     int comstyle;      /* comment style a=0, or b=1, or ST_COMMENT_STYLE.  */
     int quoted;                /* Nonzero if just after an escape char at end of parsing */
     int thislevelstart;        /* Char number of most recent start-of-expression at current level */
@@ -64,6 +64,8 @@ struct lisp_parse_state
     int location;      /* Char number at which parsing stopped.  */
     int mindepth;      /* Minimum depth seen while scanning.  */
     int comstr_start;  /* Position just after last comment/string starter.  */
+    Lisp_Object levelstarts;   /* Char numbers of starts-of-expression
+                                  of levels (starting from outermost).  */
   };
 \f
 /* These variables are a cache for finding the start of a defun.
@@ -83,7 +85,7 @@ static int find_start_modiff;
 
 
 static int find_defun_start P_ ((int, int));
-static int back_comment P_ ((int, int, int, int, int *, int *));
+static int back_comment P_ ((int, int, int, int, int, int *, int *));
 static int char_quoted P_ ((int, int));
 static Lisp_Object skip_chars P_ ((int, int, Lisp_Object, Lisp_Object));
 static Lisp_Object scan_lists P_ ((int, int, int, int));
@@ -117,7 +119,7 @@ update_syntax_table (charpos, count, init, object)
      Lisp_Object object;
 {
   Lisp_Object tmp_table;
-  int cnt = 0, doing_extra = 0, invalidate = 1;
+  int cnt = 0, invalidate = 1;
   INTERVAL i, oldi;
 
   if (init)
@@ -130,8 +132,23 @@ update_syntax_table (charpos, count, init, object)
       invalidate = 0;
       if (NULL_INTERVAL_P (i))
        return;
-      gl_state.b_property = i->position - 1;
-      gl_state.e_property = INTERVAL_LAST_POS (i);
+      /* interval_of updates only ->position of the return value, so
+        update the parents manually to speed up update_interval.  */
+      while (!NULL_PARENT (i)) 
+       {
+         if (AM_RIGHT_CHILD (i))
+           i->parent->position = i->position
+             - LEFT_TOTAL_LENGTH (i) + TOTAL_LENGTH (i) /* right end */
+             - TOTAL_LENGTH (i->parent)
+             + LEFT_TOTAL_LENGTH (i->parent);
+         else
+           i->parent->position = i->position - LEFT_TOTAL_LENGTH (i)
+             + TOTAL_LENGTH (i);
+         i = i->parent;
+       }
+      i = gl_state.forward_i;
+      gl_state.b_property = i->position - 1 - gl_state.offset;
+      gl_state.e_property = INTERVAL_LAST_POS (i) - gl_state.offset;
       goto update;
     }
   oldi = i = count > 0 ? gl_state.forward_i : gl_state.backward_i;
@@ -143,7 +160,7 @@ update_syntax_table (charpos, count, init, object)
   else if (charpos < i->position)              /* Move left.  */
     {
       if (count > 0)
-       error ("Error in syntax_table logic for intervals <-.");
+       error ("Error in syntax_table logic for intervals <-");
       /* Update the interval.  */
       i = update_interval (i, charpos);
       if (oldi->position != INTERVAL_LAST_POS (i))
@@ -151,13 +168,13 @@ update_syntax_table (charpos, count, init, object)
          invalidate = 0;
          gl_state.right_ok = 1;        /* Invalidate the other end.  */
          gl_state.forward_i = i;
-         gl_state.e_property = INTERVAL_LAST_POS (i);
+         gl_state.e_property = INTERVAL_LAST_POS (i) - gl_state.offset;
        }
     } 
   else if (charpos >= INTERVAL_LAST_POS (i)) /* Move right.  */
     {
       if (count < 0)
-       error ("Error in syntax_table logic for intervals ->.");
+       error ("Error in syntax_table logic for intervals ->");
       /* Update the interval.  */
       i = update_interval (i, charpos);
       if (i->position != INTERVAL_LAST_POS (oldi))
@@ -165,7 +182,7 @@ update_syntax_table (charpos, count, init, object)
          invalidate = 0;
          gl_state.left_ok = 1;         /* Invalidate the other end.  */
          gl_state.backward_i = i;
-         gl_state.b_property = i->position - 1;
+         gl_state.b_property = i->position - 1 - gl_state.offset;
        }
     }
   else if (count > 0 ? gl_state.right_ok : gl_state.left_ok)
@@ -187,13 +204,13 @@ update_syntax_table (charpos, count, init, object)
        {
          gl_state.backward_i = i;
          gl_state.left_ok = 1;         /* Invalidate the other end.  */
-         gl_state.b_property = i->position - 1;
+         gl_state.b_property = i->position - 1 - gl_state.offset;
        } 
       else 
        {
          gl_state.forward_i = i;       
          gl_state.right_ok = 1;        /* Invalidate the other end.  */
-         gl_state.e_property = INTERVAL_LAST_POS (i);
+         gl_state.e_property = INTERVAL_LAST_POS (i) - gl_state.offset;
        }
     }
 
@@ -246,12 +263,12 @@ update_syntax_table (charpos, count, init, object)
     {
       if (count > 0) 
        {
-         gl_state.e_property = i->position;
+         gl_state.e_property = i->position - gl_state.offset;
          gl_state.forward_i = i;
        }
       else 
        {
-         gl_state.b_property = i->position + LENGTH (i) - 1;
+         gl_state.b_property = i->position + LENGTH (i) - 1 - gl_state.offset;
          gl_state.backward_i = i;
        }
     }    
@@ -294,6 +311,9 @@ INLINE int
 inc_bytepos (bytepos)
      int bytepos;
 {
+  if (NILP (current_buffer->enable_multibyte_characters))
+    return bytepos + 1;
+
   INC_POS (bytepos);
   return bytepos;
 }
@@ -305,6 +325,9 @@ INLINE int
 dec_bytepos (bytepos)
      int bytepos;
 {
+  if (NILP (current_buffer->enable_multibyte_characters))
+    return bytepos - 1;
+
   DEC_POS (bytepos);
   return bytepos;
 }
@@ -321,8 +344,6 @@ static int
 find_defun_start (pos, pos_byte)
      int pos, pos_byte;
 {
-  int tem;
-  int shortage;
   int opoint = PT, opoint_byte = PT_BYTE;
 
   /* Use previous finding, if it's valid and applies to this inquiry.  */
@@ -373,6 +394,38 @@ find_defun_start (pos, pos_byte)
   return find_start_value;
 }
 \f
+/* Return the SYNTAX_COMEND_FIRST of the character before POS, POS_BYTE.  */
+
+static int
+prev_char_comend_first (pos, pos_byte)
+     int pos, pos_byte;
+{
+  int c, val;
+
+  DEC_BOTH (pos, pos_byte);
+  UPDATE_SYNTAX_TABLE_BACKWARD (pos);
+  c = FETCH_CHAR (pos_byte);
+  val = SYNTAX_COMEND_FIRST (c);
+  UPDATE_SYNTAX_TABLE_FORWARD (pos + 1);
+  return val;
+}
+
+/* Return the SYNTAX_COMSTART_FIRST of the character before POS, POS_BYTE.  */
+
+static int
+prev_char_comstart_first (pos, pos_byte)
+     int pos, pos_byte;
+{
+  int c, val;
+
+  DEC_BOTH (pos, pos_byte);
+  UPDATE_SYNTAX_TABLE_BACKWARD (pos);
+  c = FETCH_CHAR (pos_byte);
+  val = SYNTAX_COMSTART_FIRST (c);
+  UPDATE_SYNTAX_TABLE_FORWARD (pos + 1);
+  return val;
+}
+
 /* Checks whether charpos FROM is at the end of a comment.
    FROM_BYTE is the bytepos corresponding to FROM.
    Do not move back before STOP.
@@ -387,9 +440,9 @@ find_defun_start (pos, pos_byte)
    the returned value (or at FROM, if the search was not successful).  */
 
 static int
-back_comment (from, from_byte, stop, comstyle, charpos_ptr, bytepos_ptr)
+back_comment (from, from_byte, stop, comnested, comstyle, charpos_ptr, bytepos_ptr)
      int from, from_byte, stop;
-     int comstyle;
+     int comnested, comstyle;
      int *charpos_ptr, *bytepos_ptr;
 {
   /* Look back, counting the parity of string-quotes,
@@ -417,6 +470,7 @@ back_comment (from, from_byte, stop, comstyle, charpos_ptr, bytepos_ptr)
   int defun_start = 0;
   int defun_start_byte = 0;
   register enum syntaxcode code;
+  int nesting = 1;             /* current comment nesting */
   int c;
 
   /* At beginning of range to scan, we're outside of strings;
@@ -435,23 +489,25 @@ back_comment (from, from_byte, stop, comstyle, charpos_ptr, bytepos_ptr)
       /* If this char is the second of a 2-char comment end sequence,
         back up and give the pair the appropriate syntax.  */
       if (from > stop && SYNTAX_COMEND_SECOND (c)
-         && (temp_byte = dec_bytepos (from_byte),
-             SYNTAX_COMEND_FIRST (FETCH_CHAR (temp_byte))))
+         && prev_char_comend_first (from, from_byte))
        {
          code = Sendcomment;
          DEC_BOTH (from, from_byte);
-         /* This is apparently the best we can do: */
          UPDATE_SYNTAX_TABLE_BACKWARD (from);
          c = FETCH_CHAR (from_byte);
        }
                        
       /* If this char starts a 2-char comment start sequence,
         treat it like a 1-char comment starter.  */
-      if (from < scanstart && SYNTAX_COMSTART_FIRST (c)
-         && (temp_byte = inc_bytepos (from_byte),
-             (SYNTAX_COMSTART_SECOND (FETCH_CHAR (temp_byte))
-              && comstyle == SYNTAX_COMMENT_STYLE (FETCH_CHAR (temp_byte)))))
-       code = Scomment;
+      if (from < scanstart && SYNTAX_COMSTART_FIRST (c))
+       {
+         temp_byte = inc_bytepos (from_byte);
+         UPDATE_SYNTAX_TABLE_FORWARD (from + 1);
+         if (SYNTAX_COMSTART_SECOND (FETCH_CHAR (temp_byte))
+             && comstyle == SYNTAX_COMMENT_STYLE (FETCH_CHAR (temp_byte)))
+           code = Scomment;
+         UPDATE_SYNTAX_TABLE_BACKWARD (from);
+       }
 
       /* Ignore escaped characters, except comment-enders.  */
       if (code != Sendcomment && char_quoted (from, from_byte))
@@ -482,10 +538,20 @@ back_comment (from, from_byte, stop, comstyle, charpos_ptr, bytepos_ptr)
            string_lossage = 1;
        }
 
-      /* Record comment-starters according to that
-        quote-parity to the comment-end.  */
       if (code == Scomment)
+       /* FIXME: we should also check that the comstyle is correct
+          if the Scomment is a single-char. */
        {
+         if (comnested && --nesting <= 0 && parity == 0 && !string_lossage)
+           /* nested comments have to be balanced, so we don't need to
+              keep looking for earlier ones.  We use here the same (slightly
+              incorrect) reasoning as below:  since it is followed by uniform
+              paired string quotes, this comment-start has to be outside of
+              strings, else the comment-end itself would be inside a string. */
+           goto done;
+
+         /* Record comment-starters according to that
+            quote-parity to the comment-end.  */
          comstart_parity = parity;
          comstart_pos = from;
          comstart_byte = from_byte;
@@ -496,7 +562,12 @@ back_comment (from, from_byte, stop, comstyle, charpos_ptr, bytepos_ptr)
         (because they go with the earlier comment-ender).  */
       if (code == Sendcomment
          && SYNTAX_COMMENT_STYLE (FETCH_CHAR (from_byte)) == comstyle)
-       break;
+       {
+         if (comnested)
+           nesting++;
+         else
+           break;
+       }
 
       /* Assume a defun-start point is outside of strings.  */
       if (code == Sopen
@@ -521,7 +592,7 @@ back_comment (from, from_byte, stop, comstyle, charpos_ptr, bytepos_ptr)
      we know it can't be inside a string
      since if it were then the comment ender would be inside one.
      So it does start a comment.  Skip back to it.  */
-  else if (comstart_parity == 0 && !string_lossage) 
+  else if (!comnested && comstart_parity == 0 && !string_lossage) 
     {
       from = comstart_pos;
       from_byte = comstart_byte;
@@ -559,6 +630,7 @@ back_comment (from, from_byte, stop, comstyle, charpos_ptr, bytepos_ptr)
       UPDATE_SYNTAX_TABLE_FORWARD (from - 1);
     }
     
+ done:
   *charpos_ptr = from;
   *bytepos_ptr = from_byte;
 
@@ -765,7 +837,7 @@ Two-character sequences are represented as described below.\n\
 The second character of S is the matching parenthesis,\n\
  used only if the first character is `(' or `)'.\n\
 Any additional characters are flags.\n\
-Defined flags are the characters 1, 2, 3, 4, b, and p.\n\
+Defined flags are the characters 1, 2, 3, 4, b, p, and n.\n\
  1 means CHAR is the start of a two-char comment start sequence.\n\
  2 means CHAR is the second character of such a sequence.\n\
  3 means CHAR is the start of a two-char comment end sequence.\n\
@@ -777,6 +849,7 @@ a, but you can set the comment sequence style to b (on the second character\n\
 of a comment-start, or the first character of a comment-end sequence) using\n\
 this flag:\n\
  b means CHAR is part of comment sequence b.\n\
+ n means CHAR is part of a nestable comment sequence.\n\
 \n\
  p means CHAR is a prefix character for `backward-prefix-chars';\n\
    such characters are treated as whitespace when they occur\n\
@@ -820,8 +893,8 @@ DEFUN ("modify-syntax-entry", Fmodify_syntax_entry, Smodify_syntax_entry, 2, 3,
   if (*p)
     {
       int len;
-      int character = STRING_CHAR_AND_LENGTH (p, XSTRING (newentry)->size - 1,
-                                             len);
+      int character = (STRING_CHAR_AND_LENGTH
+                      (p, STRING_BYTES (XSTRING (newentry)) - 1, len));
       XSETINT (match, character);
       if (XFASTINT (match) == ' ')
        match = Qnil;
@@ -857,6 +930,10 @@ DEFUN ("modify-syntax-entry", Fmodify_syntax_entry, Smodify_syntax_entry, 2, 3,
       case 'b':
        val |= 1 << 21;
        break;
+
+      case 'n':
+       val |= 1 << 22;
+       break;
       }
        
   if (val < XVECTOR (Vsyntax_code_object)->size && NILP (match))
@@ -877,7 +954,7 @@ describe_syntax (value)
     Lisp_Object value;
 {
   register enum syntaxcode code;
-  char desc, match, start1, start2, end1, end2, prefix, comstyle;
+  char desc, start1, start2, end1, end2, prefix, comstyle;
   char str[2];
   Lisp_Object first, match_lisp;
 
@@ -901,8 +978,8 @@ describe_syntax (value)
       return;
     }
 
-  first = XCONS (value)->car;
-  match_lisp = XCONS (value)->cdr;
+  first = XCAR (value);
+  match_lisp = XCDR (value);
 
   if (!INTEGERP (first) || !(NILP (match_lisp) || INTEGERP (match_lisp)))
     {
@@ -1044,6 +1121,7 @@ int parse_sexp_ignore_comments;
    If that many words cannot be found before the end of the buffer, return 0.
    COUNT negative means scan backward and stop at word beginning.  */
 
+int
 scan_words (from, count)
      register int from, count;
 {
@@ -1143,21 +1221,24 @@ scan_words (from, count)
 DEFUN ("forward-word", Fforward_word, Sforward_word, 1, 1, "p",
   "Move point forward ARG words (backward if ARG is negative).\n\
 Normally returns t.\n\
-If an edge of the buffer is reached, point is left there\n\
-and nil is returned.")
+If an edge of the buffer or a field boundary is reached, point is left there\n\
+and the function returns nil.")
   (count)
      Lisp_Object count;
 {
-  int val;
+  int orig_val, val;
   CHECK_NUMBER (count, 0);
 
-  if (!(val = scan_words (PT, XINT (count))))
-    {
-      SET_PT (XINT (count) > 0 ? ZV : BEGV);
-      return Qnil;
-    }
+  val = orig_val = scan_words (PT, XINT (count));
+  if (! orig_val)
+    val = XINT (count) > 0 ? ZV : BEGV;
+
+  /* Avoid jumping out of an input field.  */
+  val = XFASTINT (Fconstrain_to_field (make_number (val), make_number (PT),
+                                      Qt, Qnil));
+
   SET_PT (val);
-  return Qt;
+  return (val == orig_val ? Qt : Qnil);
 }
 \f
 Lisp_Object skip_chars ();
@@ -1165,7 +1246,8 @@ Lisp_Object skip_chars ();
 DEFUN ("skip-chars-forward", Fskip_chars_forward, Sskip_chars_forward, 1, 2, 0,
   "Move point forward, stopping before a char not in STRING, or at pos LIM.\n\
 STRING is like the inside of a `[...]' in a regular expression\n\
-except that `]' is never special and `\\' quotes `^', `-' or `\\'.\n\
+except that `]' is never special and `\\' quotes `^', `-' or `\\'\n\
+ (but not as the end of a range; quoting is never needed there).\n\
 Thus, with arg \"a-zA-Z\", this skips letters stopping before first nonletter.\n\
 With arg \"^a-zA-Z\", skips nonletters stopping before first letter.\n\
 Returns the distance traveled, either zero or positive.")
@@ -1214,7 +1296,6 @@ skip_chars (forwardp, syntaxp, string, lim)
      int forwardp, syntaxp;
      Lisp_Object string, lim;
 {
-  register unsigned char *p, *pend;
   register unsigned int c;
   register int ch;
   unsigned char fastmap[0400];
@@ -1230,10 +1311,13 @@ skip_chars (forwardp, syntaxp, string, lim)
   int negate = 0;
   register int i, i_byte;
   int multibyte = !NILP (current_buffer->enable_multibyte_characters);
-  int string_multibyte = STRING_MULTIBYTE (string);
+  int string_multibyte;
+  int size_byte;
 
   CHECK_STRING (string, 0);
   char_ranges = (int *) alloca (XSTRING (string)->size * (sizeof (int)) * 2);
+  string_multibyte = STRING_MULTIBYTE (string);
+  size_byte = STRING_BYTES (XSTRING (string));
 
   if (NILP (lim))
     XSETINT (lim, forwardp ? ZV : BEGV);
@@ -1250,7 +1334,7 @@ skip_chars (forwardp, syntaxp, string, lim)
 
   i = 0, i_byte = 0;
 
-  if (i < XSTRING (string)->size
+  if (i_byte < size_byte
       && XSTRING (string)->data[0] == '^')
     {
       negate = 1; i++, i_byte++;
@@ -1260,7 +1344,7 @@ skip_chars (forwardp, syntaxp, string, lim)
      If syntaxp, each character counts as itself.
      Otherwise, handle backslashes and ranges specially.  */
 
-  while (i < XSTRING (string)->size)
+  while (i_byte < size_byte)
     {
       int c_leading_code;
 
@@ -1270,7 +1354,7 @@ skip_chars (forwardp, syntaxp, string, lim)
          FETCH_STRING_CHAR_ADVANCE (c, string, i, i_byte);
        }
       else
-       c = c_leading_code = XSTRING (string)->data[i++];
+       c = c_leading_code = XSTRING (string)->data[i_byte++];
 
       /* Convert multibyteness between what the string has
         and what the buffer has.  */
@@ -1285,38 +1369,53 @@ skip_chars (forwardp, syntaxp, string, lim)
        {
          if (c == '\\')
            {
-             if (i == XSTRING (string)->size)
+             if (i_byte == size_byte)
                break;
 
              if (string_multibyte)
-               FETCH_STRING_CHAR_ADVANCE (c, string, i, i_byte);
+               {
+                 c_leading_code = XSTRING (string)->data[i_byte];
+                 FETCH_STRING_CHAR_ADVANCE (c, string, i, i_byte);
+               }
              else
-               c = XSTRING (string)->data[i++];
+               c = c_leading_code = XSTRING (string)->data[i_byte++];
            }
-         if (i < XSTRING (string)->size && XSTRING (string)->data[i] == '-')
+         if (i_byte < size_byte
+             && XSTRING (string)->data[i_byte] == '-')
            {
-             unsigned int c2;
+             unsigned int c2, c2_leading_code;
 
              /* Skip over the dash.  */
              i++, i_byte++;
 
-             if (i == XSTRING (string)->size)
+             if (i_byte == size_byte)
                break;
 
              /* Get the end of the range.  */
              if (string_multibyte)
-               FETCH_STRING_CHAR_ADVANCE (c2, string, i, i_byte);
+               {
+                 c2_leading_code = XSTRING (string)->data[i_byte];
+                 FETCH_STRING_CHAR_ADVANCE (c2, string, i, i_byte);
+               }
              else
-               c2 = XSTRING (string)->data[i++];
+               c2 = XSTRING (string)->data[i_byte++];
 
              if (SINGLE_BYTE_CHAR_P (c))
-               while (c <= c2)
-                 {
-                   fastmap[c] = 1;
-                   c++;
-                 }
+               {
+                 if (! SINGLE_BYTE_CHAR_P (c2))
+                   error ("Invalid charcter range: %s",
+                          XSTRING (string)->data);
+                 while (c <= c2)
+                   {
+                     fastmap[c] = 1;
+                     c++;
+                   }
+               }
              else
                {
+                 if (c_leading_code != c2_leading_code)
+                   error ("Invalid charcter range: %s",
+                          XSTRING (string)->data);
                  fastmap[c_leading_code] = 1;
                  if (c <= c2)
                    {
@@ -1364,12 +1463,17 @@ skip_chars (forwardp, syntaxp, string, lim)
          {
            if (multibyte)
              {
-               while (pos < XINT (lim)
-                      && fastmap[(int) SYNTAX (FETCH_CHAR (pos_byte))])
-                 {
-                   INC_BOTH (pos, pos_byte);
-                   UPDATE_SYNTAX_TABLE_FORWARD (pos);
-                 }
+               if (pos < XINT (lim))
+                 while (fastmap[(int) SYNTAX (FETCH_CHAR (pos_byte))])
+                   {
+                     /* Since we already checked for multibyteness,
+                        avoid using INC_BOTH which checks again.  */
+                     INC_POS (pos_byte);
+                     pos++;
+                     if (pos >= XINT (lim))
+                       break;
+                     UPDATE_SYNTAX_TABLE_FORWARD (pos);
+                   }
              }
            else
              {
@@ -1388,7 +1492,10 @@ skip_chars (forwardp, syntaxp, string, lim)
                while (pos > XINT (lim))
                  {
                    int savepos = pos_byte;
-                   DEC_BOTH (pos, pos_byte);
+                   /* Since we already checked for multibyteness,
+                      avoid using DEC_BOTH which checks again.  */
+                   pos--;
+                   DEC_POS (pos_byte);
                    UPDATE_SYNTAX_TABLE_BACKWARD (pos);
                    if (!fastmap[(int) SYNTAX (FETCH_CHAR (pos_byte))])
                      {
@@ -1400,16 +1507,14 @@ skip_chars (forwardp, syntaxp, string, lim)
              }
            else
              {
-               while (pos > XINT (lim))
-                 {
-                   pos--;
-                   UPDATE_SYNTAX_TABLE_BACKWARD (pos);
-                   if (!fastmap[(int) SYNTAX (FETCH_BYTE (pos))])
-                     {
-                       pos++;
+               if (pos > XINT (lim))
+                 while (fastmap[(int) SYNTAX (FETCH_BYTE (pos - 1))])
+                   {
+                     pos--;
+                     if (pos <= XINT (lim))
                        break;
-                     }
-                 }
+                     UPDATE_SYNTAX_TABLE_BACKWARD (pos - 1);
+                   }
              }
          }
       }
@@ -1510,6 +1615,119 @@ skip_chars (forwardp, syntaxp, string, lim)
   }
 }
 \f
+/* Jump over a comment, assuming we are at the beginning of one.
+   FROM is the current position.
+   FROM_BYTE is the bytepos corresponding to FROM.
+   Do not move past STOP (a charpos).
+   The comment over which we have to jump is of style STYLE
+     (either SYNTAX_COMMENT_STYLE(foo) or ST_COMMENT_STYLE).
+   NESTING should be positive to indicate the nesting at the beginning
+     for nested comments and should be zero or negative else.
+     ST_COMMENT_STYLE cannot be nested.
+   PREV_SYNTAX is the SYNTAX_WITH_FLAGS of the previous character
+     (or 0 If the search cannot start in the middle of a two-character).
+
+   If successful, return 1 and store the charpos of the comment's end
+   into *CHARPOS_PTR and the corresponding bytepos into *BYTEPOS_PTR.
+   Else, return 0 and store the charpos STOP into *CHARPOS_PTR, the
+   corresponding bytepos into *BYTEPOS_PTR and the current nesting
+   (as defined for state.incomment) in *INCOMMENT_PTR.
+
+   The comment end is the last character of the comment rather than the
+     character just after the comment.
+
+   Global syntax data is assumed to initially be valid for FROM and
+   remains valid for forward search starting at the returned position. */
+
+static int
+forw_comment (from, from_byte, stop, nesting, style, prev_syntax,
+             charpos_ptr, bytepos_ptr, incomment_ptr)
+     int from, from_byte, stop;
+     int nesting, style, prev_syntax;
+     int *charpos_ptr, *bytepos_ptr, *incomment_ptr;
+{
+  register int c, c1;
+  register enum syntaxcode code;
+  register int syntax;
+
+  if (nesting <= 0) nesting = -1;
+
+  /* Enter the loop in the middle so that we find
+     a 2-char comment ender if we start in the middle of it.  */
+  syntax = prev_syntax;
+  if (syntax != 0) goto forw_incomment;
+
+  while (1)
+    {
+      if (from == stop)
+       {
+         *incomment_ptr = nesting;
+         *charpos_ptr = from;
+         *bytepos_ptr = from_byte;
+         return 0;
+       }
+      c = FETCH_CHAR (from_byte);
+      syntax = SYNTAX_WITH_FLAGS (c);
+      code = syntax & 0xff;
+      if (code == Sendcomment
+         && SYNTAX_FLAGS_COMMENT_STYLE (syntax) == style
+         && --nesting <= 0)
+       /* we have encountered a comment end of the same style
+          as the comment sequence which began this comment
+          section */
+       break;
+      if (code == Scomment_fence
+         && style == ST_COMMENT_STYLE)
+       /* we have encountered a comment end of the same style
+          as the comment sequence which began this comment
+          section.  */
+       break;
+      if (nesting > 0
+         && code == Scomment
+         && SYNTAX_FLAGS_COMMENT_STYLE (syntax) == style)
+       /* we have encountered a nested comment of the same style
+          as the comment sequence which began this comment section */
+       nesting++;
+      INC_BOTH (from, from_byte);
+      UPDATE_SYNTAX_TABLE_FORWARD (from);
+      
+    forw_incomment:
+      if (from < stop && SYNTAX_FLAGS_COMEND_FIRST (syntax)
+         && SYNTAX_FLAGS_COMMENT_STYLE (syntax) == style
+         && (c1 = FETCH_CHAR (from_byte),
+             SYNTAX_COMEND_SECOND (c1)))
+       {
+         if (--nesting <= 0)
+           /* we have encountered a comment end of the same style
+              as the comment sequence which began this comment
+              section */
+           break;
+         else
+           {
+             INC_BOTH (from, from_byte);
+             UPDATE_SYNTAX_TABLE_FORWARD (from);
+           }
+       }
+      if (nesting > 0
+         && from < stop
+         && SYNTAX_FLAGS_COMSTART_FIRST (syntax)
+         && (c1 = FETCH_CHAR (from_byte),
+             SYNTAX_COMMENT_STYLE (c1) == style
+             && SYNTAX_COMSTART_SECOND (c1)))
+       /* we have encountered a nested comment of the same style
+          as the comment sequence which began this comment
+          section */
+       {
+         INC_BOTH (from, from_byte);
+         UPDATE_SYNTAX_TABLE_FORWARD (from);
+         nesting++;
+       }
+    }
+  *charpos_ptr = from;
+  *bytepos_ptr = from_byte;
+  return 1;
+}
+
 DEFUN ("forward-comment", Fforward_comment, Sforward_comment, 1, 1, 0,
   "Move forward across up to N comments.  If N is negative, move backward.\n\
 Stop scanning if we find something other than a comment or whitespace.\n\
@@ -1525,10 +1743,11 @@ between them, return t; otherwise return nil.")
   register int c, c1;
   register enum syntaxcode code;
   int comstyle = 0;        /* style of comment encountered */
+  int comnested = 0;       /* whether the comment is nestable or not */
   int found;
   int count1;
-  int temp_pos;
   int out_charpos, out_bytepos;
+  int dummy;
 
   CHECK_NUMBER (count, 0);
   count1 = XINT (count);
@@ -1545,21 +1764,22 @@ between them, return t; otherwise return nil.")
     {
       do
        {
+         int comstart_first;
+
          if (from == stop)
            {
-             if (! NILP (current_buffer->enable_multibyte_characters))
-               SET_PT_BOTH (from, from_byte);
-             else
-               SET_PT_BOTH (from_byte, from_byte);
+             SET_PT_BOTH (from, from_byte);
              immediate_quit = 0;
              return Qnil;
            }
-         UPDATE_SYNTAX_TABLE_FORWARD (from);
          c = FETCH_CHAR (from_byte);
          code = SYNTAX (c);
+         comstart_first = SYNTAX_COMSTART_FIRST (c);
+         comnested = SYNTAX_COMMENT_NESTED (c);
          INC_BOTH (from, from_byte);
+         UPDATE_SYNTAX_TABLE_FORWARD (from);
          comstyle = 0;
-         if (from < stop && SYNTAX_COMSTART_FIRST (c)
+         if (from < stop && comstart_first
              && (c1 = FETCH_CHAR (from_byte),
                  SYNTAX_COMSTART_SECOND (c1)))
            {
@@ -1570,60 +1790,34 @@ between them, return t; otherwise return nil.")
                 the comment section.  */
              code = Scomment;
              comstyle = SYNTAX_COMMENT_STYLE (c1);
+             comnested = comnested || SYNTAX_COMMENT_NESTED (c1);
              INC_BOTH (from, from_byte);
+             UPDATE_SYNTAX_TABLE_FORWARD (from);
            }
        }
       while (code == Swhitespace || code == Sendcomment);
 
-      if (code != Scomment && code != Scomment_fence)
+      if (code == Scomment_fence)
+       comstyle = ST_COMMENT_STYLE;
+      else if (code != Scomment)
        {
          immediate_quit = 0;
          DEC_BOTH (from, from_byte);
-         if (! NILP (current_buffer->enable_multibyte_characters))
-           SET_PT_BOTH (from, from_byte);
-         else
-           SET_PT_BOTH (from_byte, from_byte);
+         SET_PT_BOTH (from, from_byte);
          return Qnil;
        }
       /* We're at the start of a comment.  */
-      while (1)
+      found = forw_comment (from, from_byte, stop, comnested, comstyle, 0,
+                           &out_charpos, &out_bytepos, &dummy);
+      from = out_charpos; from_byte = out_bytepos;
+      if (!found)
        {
-         if (from == stop)
-           {
-             immediate_quit = 0;
-             if (! NILP (current_buffer->enable_multibyte_characters))
-               SET_PT_BOTH (from, from_byte);
-             else
-               SET_PT_BOTH (from_byte, from_byte);
-             return Qnil;
-           }
-         UPDATE_SYNTAX_TABLE_FORWARD (from);
-         c = FETCH_CHAR (from_byte);
-         INC_BOTH (from, from_byte);
-         if (SYNTAX (c) == Sendcomment
-             && SYNTAX_COMMENT_STYLE (c) == comstyle)
-           /* we have encountered a comment end of the same style
-              as the comment sequence which began this comment
-              section */
-           break;
-         if (SYNTAX (c) == Scomment_fence
-             && comstyle == ST_COMMENT_STYLE)
-           /* we have encountered a comment end of the same style
-              as the comment sequence which began this comment
-              section.  */
-           break;
-         if (from < stop && SYNTAX_COMEND_FIRST (c)
-             && (c1 = FETCH_CHAR (from_byte),
-                 SYNTAX_COMEND_SECOND (c1))
-             && SYNTAX_COMMENT_STYLE (c) == comstyle)
-           /* we have encountered a comment end of the same style
-              as the comment sequence which began this comment
-              section */
-           {
-             INC_BOTH (from, from_byte);
-             break;
-           }
+         immediate_quit = 0;
+         SET_PT_BOTH (from, from_byte);
+         return Qnil;
        }
+      INC_BOTH (from, from_byte);
+      UPDATE_SYNTAX_TABLE_FORWARD (from);
       /* We have skipped one comment.  */
       count1--;
     }
@@ -1632,7 +1826,8 @@ between them, return t; otherwise return nil.")
     {
       while (1)
        {
-         int quoted;
+         int quoted, comstart_second;
+
          if (from <= stop)
            {
              SET_PT_BOTH (BEGV, BEGV_BYTE);
@@ -1641,40 +1836,39 @@ between them, return t; otherwise return nil.")
            }
 
          DEC_BOTH (from, from_byte);
+         /* char_quoted does UPDATE_SYNTAX_TABLE_BACKWARD (from).  */
          quoted = char_quoted (from, from_byte);
          if (quoted)
            {
              DEC_BOTH (from, from_byte);
              goto leave;
            }
-         UPDATE_SYNTAX_TABLE_BACKWARD (from);
          c = FETCH_CHAR (from_byte);
          code = SYNTAX (c);
          comstyle = 0;
+         comnested = SYNTAX_COMMENT_NESTED (c);
          if (code == Sendcomment)
            comstyle = SYNTAX_COMMENT_STYLE (c);
-         temp_pos = from_byte;
-         DEC_POS (temp_pos);
+         comstart_second = SYNTAX_COMSTART_SECOND (c);
          if (from > stop && SYNTAX_COMEND_SECOND (c)
-             && (c1 = FETCH_CHAR (temp_pos),
-                 SYNTAX_COMEND_FIRST (c1))
-             && !char_quoted (from - 1, temp_pos))
+             && prev_char_comend_first (from, from_byte)
+             && !char_quoted (from - 1, dec_bytepos (from_byte)))
            {
              /* We must record the comment style encountered so that
                 later, we can match only the proper comment begin
                 sequence of the same style.  */
+             DEC_BOTH (from, from_byte);
              code = Sendcomment;
+             /* Calling char_quoted, above, set up global syntax position
+                at the new value of FROM.  */
+             c1 = FETCH_CHAR (from_byte);
              comstyle = SYNTAX_COMMENT_STYLE (c1);
-             DEC_BOTH (from, from_byte);
+             comnested = comnested || SYNTAX_COMMENT_NESTED (c1);
            }
-         if (from > stop && SYNTAX_COMSTART_SECOND (c)
-             && (c1 = FETCH_CHAR (temp_pos),
-                 SYNTAX_COMSTART_FIRST (c1))
-             && !char_quoted (from - 1, temp_pos))
+         if (from > stop && comstart_second
+             && prev_char_comstart_first (from, from_byte)
+             && !char_quoted (from - 1, dec_bytepos (from_byte)))
            {
-             /* We must record the comment style encountered so that
-                later, we can match only the proper comment begin
-                sequence of the same style.  */
              code = Scomment;
              DEC_BOTH (from, from_byte);
            }
@@ -1707,7 +1901,7 @@ between them, return t; otherwise return nil.")
            }
          else if (code == Sendcomment)
            {
-             found = back_comment (from, from_byte, stop, comstyle,
+             found = back_comment (from, from_byte, stop, comnested, comstyle,
                                    &out_charpos, &out_bytepos);
              if (found != -1)
                from = out_charpos, from_byte = out_bytepos;
@@ -1719,10 +1913,7 @@ between them, return t; otherwise return nil.")
            leave:
              immediate_quit = 0;
              INC_BOTH (from, from_byte);
-             if (! NILP (current_buffer->enable_multibyte_characters))
-               SET_PT_BOTH (from, from_byte);
-             else
-               SET_PT_BOTH (from_byte, from_byte);
+             SET_PT_BOTH (from, from_byte);
              return Qnil;
            }
        }
@@ -1730,10 +1921,7 @@ between them, return t; otherwise return nil.")
       count1++;
     }
 
-  if (! NILP (current_buffer->enable_multibyte_characters))
-    SET_PT_BOTH (from, from_byte);
-  else
-    SET_PT_BOTH (from_byte, from_byte);
+  SET_PT_BOTH (from, from_byte);
   immediate_quit = 0;
   return Qt;
 }
@@ -1752,14 +1940,21 @@ scan_lists (from, count, depth, sexpflag)
   register enum syntaxcode code, temp_code;
   int min_depth = depth;    /* Err out if depth gets less than this.  */
   int comstyle = 0;        /* style of comment encountered */
+  int comnested = 0;       /* whether the comment is nestable or not */
   int temp_pos;
   int last_good = from;
   int found;
-  int from_byte = CHAR_TO_BYTE (from);
+  int from_byte;
   int out_bytepos, out_charpos;
+  int temp, dummy;
 
   if (depth > 0) min_depth = 0;
 
+  if (from > ZV) from = ZV;
+  if (from < BEGV) from = BEGV;
+
+  from_byte = CHAR_TO_BYTE (from);
+
   immediate_quit = 1;
   QUIT;
 
@@ -1768,14 +1963,18 @@ scan_lists (from, count, depth, sexpflag)
     {
       while (from < stop)
        {
+         int comstart_first, prefix;
          UPDATE_SYNTAX_TABLE_FORWARD (from);
          c = FETCH_CHAR (from_byte);
          code = SYNTAX (c);
+         comstart_first = SYNTAX_COMSTART_FIRST (c);
+         comnested = SYNTAX_COMMENT_NESTED (c);
+         prefix = SYNTAX_PREFIX (c);
          if (depth == min_depth)
            last_good = from;
          INC_BOTH (from, from_byte);
          UPDATE_SYNTAX_TABLE_FORWARD (from);
-         if (from < stop && SYNTAX_COMSTART_FIRST (c)
+         if (from < stop && comstart_first
              && SYNTAX_COMSTART_SECOND (FETCH_CHAR (from_byte))
              && parse_sexp_ignore_comments)
            {
@@ -1785,12 +1984,14 @@ scan_lists (from, count, depth, sexpflag)
                 only a comment end of the same style actually ends
                 the comment section */
              code = Scomment;
-             comstyle = SYNTAX_COMMENT_STYLE (FETCH_CHAR (from_byte));
+             c1 = FETCH_CHAR (from_byte);
+             comstyle = SYNTAX_COMMENT_STYLE (c1);
+             comnested = comnested || SYNTAX_COMMENT_NESTED (c1);
              INC_BOTH (from, from_byte);
+             UPDATE_SYNTAX_TABLE_FORWARD (from);
            }
          
-         UPDATE_SYNTAX_TABLE_FORWARD (from);
-         if (SYNTAX_PREFIX (c))
+         if (prefix)
            continue;
 
          switch (SWITCH_ENUM_CAST (code))
@@ -1807,7 +2008,10 @@ scan_lists (from, count, depth, sexpflag)
              while (from < stop)
                {
                  UPDATE_SYNTAX_TABLE_FORWARD (from);
-                 switch (SWITCH_ENUM_CAST (SYNTAX (FETCH_CHAR (from_byte))))
+
+                 /* Some compilers can't handle this inside the switch.  */
+                 temp = SYNTAX (FETCH_CHAR (from_byte));
+                 switch (temp)
                    {
                    case Scharquote:
                    case Sescape:
@@ -1825,40 +2029,24 @@ scan_lists (from, count, depth, sexpflag)
                }
              goto done;
 
-           case Scomment:
            case Scomment_fence:
+             comstyle = ST_COMMENT_STYLE;
+             /* FALLTHROUGH */
+           case Scomment:
              if (!parse_sexp_ignore_comments) break;
-             while (1)
+             UPDATE_SYNTAX_TABLE_FORWARD (from);
+             found = forw_comment (from, from_byte, stop,
+                                   comnested, comstyle, 0,
+                                   &out_charpos, &out_bytepos, &dummy);
+             from = out_charpos, from_byte = out_bytepos;
+             if (!found)
                {
-                 if (from == stop)
-                   {
-                     if (depth == 0)
-                       goto done;
-                     goto lose;
-                   }
-                 UPDATE_SYNTAX_TABLE_FORWARD (from);
-                 c = FETCH_CHAR (from_byte);
-                 if (code == Scomment 
-                     ? (SYNTAX (c) == Sendcomment
-                        && SYNTAX_COMMENT_STYLE (c) == comstyle)
-                     : (SYNTAX (c) == Scomment_fence))
-                   /* we have encountered a comment end of the same style
-                      as the comment sequence which began this comment
-                      section */
-                   break;
-                 INC_BOTH (from, from_byte);
-                 if (from < stop && SYNTAX_COMEND_FIRST (c)
-                     && SYNTAX_COMEND_SECOND (FETCH_CHAR (from_byte))
-                     && SYNTAX_COMMENT_STYLE (c) == comstyle
-                     && code == Scomment)
-                   /* we have encountered a comment end of the same style
-                      as the comment sequence which began this comment
-                      section */
-                   {
-                     INC_BOTH (from, from_byte);
-                     break;
-                   }
+                 if (depth == 0)
+                   goto done;
+                 goto lose;
                }
+             INC_BOTH (from, from_byte);
+             UPDATE_SYNTAX_TABLE_FORWARD (from);
              break;
 
            case Smath:
@@ -1891,8 +2079,7 @@ scan_lists (from, count, depth, sexpflag)
 
            case Sstring:
            case Sstring_fence:
-             temp_pos = from_byte;
-             DEC_POS (temp_pos);
+             temp_pos = dec_bytepos (from_byte);
              stringterm = FETCH_CHAR (temp_pos);
              while (1)
                {
@@ -1902,7 +2089,10 @@ scan_lists (from, count, depth, sexpflag)
                      ? (FETCH_CHAR (from_byte) == stringterm)
                      : SYNTAX (FETCH_CHAR (from_byte)) == Sstring_fence) 
                    break;
-                 switch (SWITCH_ENUM_CAST (SYNTAX (FETCH_CHAR (from_byte))))
+
+                 /* Some compilers can't handle this inside the switch.  */
+                 temp = SYNTAX (FETCH_CHAR (from_byte));
+                 switch (temp)
                    {
                    case Scharquote:
                    case Sescape:
@@ -1938,24 +2128,27 @@ scan_lists (from, count, depth, sexpflag)
          if (depth == min_depth)
            last_good = from;
          comstyle = 0;
+         comnested = SYNTAX_COMMENT_NESTED (c);
          if (code == Sendcomment)
            comstyle = SYNTAX_COMMENT_STYLE (c);
-         temp_pos = from_byte;
-         DEC_POS (temp_pos);
          if (from > stop && SYNTAX_COMEND_SECOND (c)
-             && (c1 = FETCH_CHAR (temp_pos), SYNTAX_COMEND_FIRST (c1))
+             && prev_char_comend_first (from, from_byte)
              && parse_sexp_ignore_comments)
            {
-             /* we must record the comment style encountered so that
+             /* We must record the comment style encountered so that
                 later, we can match only the proper comment begin
-                sequence of the same style */
+                sequence of the same style.  */
+             DEC_BOTH (from, from_byte);
+             UPDATE_SYNTAX_TABLE_BACKWARD (from);
              code = Sendcomment;
+             c1 = FETCH_CHAR (from_byte);
              comstyle = SYNTAX_COMMENT_STYLE (c1);
-             DEC_BOTH (from, from_byte);
+             comnested = comnested || SYNTAX_COMMENT_NESTED (c1);
            }
          
          /* Quoting turns anything except a comment-ender
-            into a word character.  */
+            into a word character.  Note that this if cannot be true
+            if we decremented FROM in the if-statement above.  */
          if (code != Sendcomment && char_quoted (from, from_byte))
            code = Sword;
          else if (SYNTAX_PREFIX (c))
@@ -1973,7 +2166,10 @@ scan_lists (from, count, depth, sexpflag)
              while (from > stop)
                {
                  temp_pos = from_byte;
-                 DEC_POS (temp_pos);
+                 if (! NILP (current_buffer->enable_multibyte_characters))
+                   DEC_POS (temp_pos);
+                 else
+                   temp_pos--;
                  UPDATE_SYNTAX_TABLE_BACKWARD (from - 1);
                  c1 = FETCH_CHAR (temp_pos);
                  temp_code = SYNTAX (c1);
@@ -1984,7 +2180,7 @@ scan_lists (from, count, depth, sexpflag)
                  if (quoted)
                    {
                      DEC_BOTH (from, from_byte);
-                     DEC_POS (temp_pos);
+                     temp_pos = dec_bytepos (temp_pos);
                      UPDATE_SYNTAX_TABLE_BACKWARD (from - 1);
                    }
                  c1 = FETCH_CHAR (temp_pos);
@@ -2000,8 +2196,7 @@ scan_lists (from, count, depth, sexpflag)
            case Smath:
              if (!sexpflag)
                break;
-             temp_pos = from_byte;
-             DEC_POS (temp_pos);
+             temp_pos = dec_bytepos (from_byte);
              UPDATE_SYNTAX_TABLE_BACKWARD (from - 1);
              if (from != stop && c == FETCH_CHAR (temp_pos))
                DEC_BOTH (from, from_byte);
@@ -2029,7 +2224,7 @@ scan_lists (from, count, depth, sexpflag)
            case Sendcomment:
              if (!parse_sexp_ignore_comments)
                break;
-             found = back_comment (from, from_byte, stop, comstyle,
+             found = back_comment (from, from_byte, stop, comnested, comstyle,
                                    &out_charpos, &out_bytepos);
              if (found != -1)
                from = out_charpos, from_byte = out_bytepos;
@@ -2055,7 +2250,10 @@ scan_lists (from, count, depth, sexpflag)
                {
                  if (from == stop) goto lose;
                  temp_pos = from_byte;
-                 DEC_POS (temp_pos);
+                 if (! NILP (current_buffer->enable_multibyte_characters))
+                   DEC_POS (temp_pos);
+                 else
+                   temp_pos--;
                  UPDATE_SYNTAX_TABLE_BACKWARD (from - 1);
                  if (!char_quoted (from - 1, temp_pos)
                      && stringterm == FETCH_CHAR (temp_pos))
@@ -2149,19 +2347,27 @@ This includes chars with \"quote\" or \"prefix\" syntax (' or p).")
   int pos_byte = PT_BYTE;
   int c;
 
-  if (pos > beg) 
+  if (pos <= beg) 
     {
-      SETUP_SYNTAX_TABLE (pos, -1);
+      SET_PT_BOTH (opoint, opoint_byte);
+
+      return Qnil;
     }
 
+  SETUP_SYNTAX_TABLE (pos, -1);
+
   DEC_BOTH (pos, pos_byte);
 
-  while (pos + 1 > beg && !char_quoted (pos, pos_byte)
+  while (!char_quoted (pos, pos_byte)
         /* Previous statement updates syntax table.  */
         && ((c = FETCH_CHAR (pos_byte), SYNTAX (c) == Squote)
             || SYNTAX_PREFIX (c)))
     {
-      DEC_BOTH (pos, pos_byte);
+      opoint = pos;
+      opoint_byte = pos_byte;
+
+      if (pos + 1 > beg)
+       DEC_BOTH (pos, pos_byte);
     }
 
   SET_PT_BOTH (opoint, opoint_byte);
@@ -2189,11 +2395,12 @@ scan_sexps_forward (stateptr, from, from_byte, end, targetdepth,
   struct lisp_parse_state state;
 
   register enum syntaxcode code;
+  int c1;
+  int comnested;
   struct level { int last, prev; };
   struct level levelstart[100];
   register struct level *curlevel = levelstart;
   struct level *endlevel = levelstart + 100;
-  int prev;
   register int depth;  /* Paren depth of current scanning location.
                           level - levelstart equals this except
                           when the depth becomes negative.  */
@@ -2202,8 +2409,12 @@ scan_sexps_forward (stateptr, from, from_byte, end, targetdepth,
   Lisp_Object tem;
   int prev_from;               /* Keep one character before FROM.  */
   int prev_from_byte;
+  int prev_from_syntax;
   int boundary_stop = commentstop == -1;
   int nofence;
+  int found;
+  int out_bytepos, out_charpos;
+  int temp;
 
   prev_from = from;
   prev_from_byte = from_byte;
@@ -2214,15 +2425,15 @@ scan_sexps_forward (stateptr, from, from_byte, end, targetdepth,
 #define INC_FROM                               \
 do { prev_from = from;                         \
      prev_from_byte = from_byte;               \
-     from++;                                   \
-     INC_POS (from_byte);                      \
+     prev_from_syntax                          \
+       = SYNTAX_WITH_FLAGS (FETCH_CHAR (prev_from_byte)); \
+     INC_BOTH (from, from_byte);               \
+     UPDATE_SYNTAX_TABLE_FORWARD (from);       \
   } while (0)
 
   immediate_quit = 1;
   QUIT;
 
-  SETUP_SYNTAX_TABLE (from, 1);
-
   if (NILP (oldstate))
     {
       depth = 0;
@@ -2244,29 +2455,43 @@ do { prev_from = from;                          \
       oldstate = Fcdr (oldstate);
       tem = Fcar (oldstate);
       /* Check whether we are inside string_fence-style string: */
-      state.instring = ( !NILP (tem) 
-                        ? ( INTEGERP (tem) ? XINT (tem) : ST_STRING_STYLE) 
-                        : -1);
+      state.instring = (!NILP (tem) 
+                       ? (INTEGERP (tem) ? XINT (tem) : ST_STRING_STYLE) 
+                       : -1);
 
       oldstate = Fcdr (oldstate);
       tem = Fcar (oldstate);
-      state.incomment = !NILP (tem);
+      state.incomment = (!NILP (tem)
+                        ? (INTEGERP (tem) ? XINT (tem) : -1)
+                        : 0);
 
       oldstate = Fcdr (oldstate);
       tem = Fcar (oldstate);
       start_quoted = !NILP (tem);
 
-      /* if the eight element of the list is nil, we are in comment
+      /* if the eighth element of the list is nil, we are in comment
         style a.  If it is non-nil, we are in comment style b */
       oldstate = Fcdr (oldstate);
       oldstate = Fcdr (oldstate);
       tem = Fcar (oldstate);
-      state.comstyle = NILP (tem) ? 0 : ( EQ (tem, Qsyntax_table) 
-                                         ? ST_COMMENT_STYLE : 1 );
+      state.comstyle = NILP (tem) ? 0 : (EQ (tem, Qsyntax_table) 
+                                        ? ST_COMMENT_STYLE : 1);
 
       oldstate = Fcdr (oldstate);
       tem = Fcar (oldstate);
       state.comstr_start = NILP (tem) ? -1 : XINT (tem) ;
+      oldstate = Fcdr (oldstate);
+      tem = Fcar (oldstate);
+      while (!NILP (tem))              /* >= second enclosing sexps.  */
+       {
+         /* curlevel++->last ran into compiler bug on Apollo */
+         curlevel->last = XINT (Fcar (tem));
+         if (++curlevel == endlevel)
+           error ("Nesting too deep for parser");
+         curlevel->prev = -1;
+         curlevel->last = -1;
+         tem = Fcdr (tem);
+       }
     }
   state.quoted = 0;
   mindepth = depth;
@@ -2274,55 +2499,71 @@ do { prev_from = from;                          \
   curlevel->prev = -1;
   curlevel->last = -1;
 
+  SETUP_SYNTAX_TABLE (prev_from, 1);
+  prev_from_syntax = SYNTAX_WITH_FLAGS (FETCH_CHAR (prev_from_byte));
+  UPDATE_SYNTAX_TABLE_FORWARD (from);
+
   /* Enter the loop at a place appropriate for initial state.  */
 
-  if (state.incomment) goto startincomment;
+  if (state.incomment)
+    goto startincomment;
   if (state.instring >= 0)
     {
       nofence = state.instring != ST_STRING_STYLE;
-      if (start_quoted) goto startquotedinstring;
+      if (start_quoted)
+       goto startquotedinstring;
       goto startinstring;
     }
-  if (start_quoted) goto startquoted;
+  else if (start_quoted)
+    goto startquoted;
+
+#if 0 /* This seems to be redundant with the identical code above.  */
+  SETUP_SYNTAX_TABLE (prev_from, 1);
+  prev_from_syntax = SYNTAX_WITH_FLAGS (FETCH_CHAR (prev_from_byte));
+  UPDATE_SYNTAX_TABLE_FORWARD (from);
+#endif
 
   while (from < end)
     {
-      UPDATE_SYNTAX_TABLE_FORWARD (from);
-      code = SYNTAX (FETCH_CHAR (from_byte));
       INC_FROM;
+      code = prev_from_syntax & 0xff;
 
       if (code == Scomment)
-       state.comstr_start = prev_from;
+       {
+         state.incomment = (SYNTAX_FLAGS_COMMENT_NESTED (prev_from_syntax) ?
+                            1 : -1);
+         state.comstr_start = prev_from;
+       }
       else if (code == Scomment_fence)
        {
          /* Record the comment style we have entered so that only
             the comment-end sequence of the same style actually
             terminates the comment section.  */
-         state.comstyle = ( code == Scomment_fence 
-                            ? ST_COMMENT_STYLE 
-                            : SYNTAX_COMMENT_STYLE (FETCH_CHAR (from_byte)));
+         state.comstyle = ST_COMMENT_STYLE;
+         state.incomment = -1;
          state.comstr_start = prev_from;
-         if (code != Scomment_fence) INC_FROM;
          code = Scomment;
        }
      else if (from < end)
-       if (SYNTAX_COMSTART_FIRST (FETCH_CHAR (prev_from_byte)))
-         if (SYNTAX_COMSTART_SECOND (FETCH_CHAR (from_byte)))
-           /* Duplicate code to avoid a very complex if-expression
+       if (SYNTAX_FLAGS_COMSTART_FIRST (prev_from_syntax))
+         if (c1 = FETCH_CHAR (from_byte),
+             SYNTAX_COMSTART_SECOND (c1))
+           /* Duplicate code to avoid a complex if-expression
               which causes trouble for the SGI compiler.  */
            {
              /* Record the comment style we have entered so that only
                 the comment-end sequence of the same style actually
                 terminates the comment section.  */
-             state.comstyle = ( code == Scomment_fence 
-                                ? ST_COMMENT_STYLE 
-                                : SYNTAX_COMMENT_STYLE (FETCH_CHAR (from_byte)));
+             state.comstyle = SYNTAX_COMMENT_STYLE (FETCH_CHAR (from_byte));
+             comnested = SYNTAX_FLAGS_COMMENT_NESTED (prev_from_syntax);
+             comnested = comnested || SYNTAX_COMMENT_NESTED (c1);
+             state.incomment = comnested ? 1 : -1;
              state.comstr_start = prev_from;
-             if (code != Scomment_fence) INC_FROM;
+             INC_FROM;
              code = Scomment;
            }
 
-      if (SYNTAX_PREFIX (FETCH_CHAR (prev_from_byte)))
+      if (SYNTAX_FLAGS_PREFIX (prev_from_syntax))
        continue;
       switch (SWITCH_ENUM_CAST (code))
        {
@@ -2342,8 +2583,9 @@ do { prev_from = from;                            \
        symstarted:
          while (from < end)
            {
-             UPDATE_SYNTAX_TABLE_FORWARD (from);
-             switch (SWITCH_ENUM_CAST (SYNTAX (FETCH_CHAR (from_byte))))
+             /* Some compilers can't handle this inside the switch.  */
+             temp = SYNTAX (FETCH_CHAR (from_byte));
+             switch (temp)
                {
                case Scharquote:
                case Sescape:
@@ -2366,45 +2608,25 @@ do { prev_from = from;                          \
        startincomment:
          if (commentstop == 1)
            goto done;
-         if (from != BEGV)
-           {
-             /* Enter the loop in the middle so that we find
-                a 2-char comment ender if we start in the middle of it.  */
-             prev = FETCH_CHAR (prev_from_byte);
-             goto startincomment_1;
-           }
-         /* At beginning of buffer, enter the loop the ordinary way.  */
-         state.incomment = 1;
          goto commentloop;
 
        case Scomment:
-         state.incomment = 1;
+         if (! state.incomment)
+           abort ();
          if (commentstop || boundary_stop) goto done;
        commentloop:
-         while (1)
-           {
-             if (from == end) goto done;
-             UPDATE_SYNTAX_TABLE_FORWARD (from);
-             prev = FETCH_CHAR (from_byte);
-             if (SYNTAX (prev) == Sendcomment
-                 && SYNTAX_COMMENT_STYLE (prev) == state.comstyle)
-               /* Only terminate the comment section if the endcomment
-                  of the same style as the start sequence has been
-                  encountered.  */
-               break;
-             if (state.comstyle == ST_COMMENT_STYLE
-                 && SYNTAX (prev) == Scomment_fence) 
-               break;
-             INC_FROM;
-           startincomment_1:
-             if (from < end && SYNTAX_COMEND_FIRST (prev)
-                 && SYNTAX_COMEND_SECOND (FETCH_CHAR (from_byte))
-                 && SYNTAX_COMMENT_STYLE (prev) == state.comstyle)
-               /* Only terminate the comment section if the end-comment
-                  sequence of the same style as the start sequence has
-                  been encountered.  */
-               break;
-           }
+         /* The (from == BEGV) test is to enter the loop in the middle so
+            that we find a 2-char comment ender even if we start in the
+            middle of it.  */
+         found = forw_comment (from, from_byte, end,
+                               state.incomment, state.comstyle,
+                               (from == BEGV) ? 0 : prev_from_syntax,
+                               &out_charpos, &out_bytepos, &state.incomment);
+         from = out_charpos; from_byte = out_bytepos;
+         /* Beware!  prev_from and friends are invalid now.
+            Luckily, the `done' doesn't use them and the INC_FROM
+            sets them to a sane value without looking at them. */
+         if (!found) goto done;
          INC_FROM; 
          state.incomment = 0;
          state.comstyle = 0;   /* reset the comment style */
@@ -2452,9 +2674,16 @@ do { prev_from = from;                           \
 
                if (from >= end) goto done;
                c = FETCH_CHAR (from_byte);
-               if (nofence && c == state.instring) break;
-               UPDATE_SYNTAX_TABLE_FORWARD (from);
-               switch (SWITCH_ENUM_CAST (SYNTAX (c)))
+               /* Some compilers can't handle this inside the switch.  */
+               temp = SYNTAX (c);
+
+               /* Check TEMP here so that if the char has
+                  a syntax-table property which says it is NOT
+                  a string character, it does not end the string.  */
+               if (nofence && c == state.instring && temp == Sstring)
+                 break;
+
+               switch (temp)
                  {
                  case Sstring_fence:
                    if (!nofence) goto string_end;
@@ -2494,6 +2723,10 @@ do { prev_from = from;                           \
   state.prevlevelstart
     = (curlevel == levelstart) ? -1 : (curlevel - 1)->last;
   state.location = from;
+  state.levelstarts = Qnil;
+  while (--curlevel >= levelstart)
+      state.levelstarts = Fcons (make_number (curlevel->last),
+                                state.levelstarts);
   immediate_quit = 0;
 
   *stateptr = state;
@@ -2509,19 +2742,21 @@ Parsing stops at TO or when certain criteria are met;\n\
  point is set to where parsing stops.\n\
 If fifth arg STATE is omitted or nil,\n\
  parsing assumes that FROM is the beginning of a function.\n\
-Value is a list of nine elements describing final state of parsing:\n\
+Value is a list of ten elements describing final state of parsing:\n\
  0. depth in parens.\n\
  1. character address of start of innermost containing list; nil if none.\n\
  2. character address of start of last complete sexp terminated.\n\
  3. non-nil if inside a string.\n\
     (it is the character that will terminate the string,\n\
      or t if the string should be terminated by a generic string delimiter.)\n\
- 4. t if inside a comment.\n\
+ 4. nil if outside a comment, t if inside a non-nestable comment, \n\
+    else an integer (the current comment nesting).\n\
  5. t if following a quote character.\n\
  6. the minimum paren-depth encountered during this scan.\n\
  7. t if in a comment of style b; `syntax-table' if the comment\n\
     should be terminated by a generic comment delimiter.\n\
  8. character address of start of comment or string; nil if not in one.\n\
+ 9. Intermediate data for continuation of parsing (subject to change).\n\
 If third arg TARGETDEPTH is non-nil, parsing stops if the depth\n\
 in parentheses becomes equal to TARGETDEPTH.\n\
 Fourth arg STOPBEFORE non-nil means stop when come to\n\
@@ -2566,19 +2801,23 @@ DEFUN ("parse-partial-sexp", Fparse_partial_sexp, Sparse_partial_sexp, 2, 6, 0,
               Fcons (state.instring >= 0 
                      ? (state.instring == ST_STRING_STYLE 
                         ? Qt : make_number (state.instring)) : Qnil,
-                Fcons (state.incomment ? Qt : Qnil,
+                Fcons (state.incomment < 0 ? Qt :
+                       (state.incomment == 0 ? Qnil :
+                        make_number (state.incomment)),
                   Fcons (state.quoted ? Qt : Qnil,
                     Fcons (make_number (state.mindepth),
                       Fcons ((state.comstyle 
                               ? (state.comstyle == ST_COMMENT_STYLE
                                  ? Qsyntax_table : Qt) :
                               Qnil),
-                             Fcons ((state.incomment || state.instring
+                             Fcons (((state.incomment
+                                      || (state.instring >= 0))
                                      ? make_number (state.comstr_start)
                                      : Qnil),
-                                    Qnil)))))))));
+                                    Fcons (state.levelstarts, Qnil))))))))));
 }
 \f
+void
 init_syntax_once ()
 {
   register int i, c;
@@ -2650,6 +2889,7 @@ init_syntax_once ()
     }
 }
 
+void
 syms_of_syntax ()
 {
   Qsyntax_table_p = intern ("syntax-table-p");
@@ -2660,7 +2900,7 @@ syms_of_syntax ()
   Qscan_error = intern ("scan-error");
   staticpro (&Qscan_error);
   Fput (Qscan_error, Qerror_conditions,
-       Fcons (Qerror, Qnil));
+       Fcons (Qscan_error, Fcons (Qerror, Qnil)));
   Fput (Qscan_error, Qerror_message,
        build_string ("Scan error"));