clarify the meaning of a complicated mixed signed/unsigned expression;

[mandoc.git] / mdoc_argv.c

diff --git a/mdoc_argv.c b/mdoc_argv.c
index fa271a50070dbcb509651cf86c69b5c5f797f075..1bfd336b7a972cf81c202ec38b8c92363f37203d 100644 (file)
--- a/mdoc_argv.c
+++ b/mdoc_argv.c
@@ -1,38 +1,39 @@
-/*     $Id: mdoc_argv.c,v 1.79 2011/06/18 16:29:38 kristaps Exp $ */
+/*     $Id: mdoc_argv.c,v 1.120 2019/07/11 17:06:17 schwarze Exp $ */

 /*
 /*

- * Copyright (c) 2008, 2009, 2010 Kristaps Dzonsons <kristaps@bsd.lv>
+ * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
+ * Copyright (c) 2012, 2014-2019 Ingo Schwarze <schwarze@openbsd.org>

  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above
  * copyright notice and this permission notice appear in all copies.
  *
  *
  * Permission to use, copy, modify, and distribute this software for any
  * purpose with or without fee is hereby granted, provided that the above
  * copyright notice and this permission notice appear in all copies.
  *

- * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES

  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF

- * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR

  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */
  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */

-#ifdef HAVE_CONFIG_H

 #include "config.h"
 #include "config.h"

-#endif

 
 #include <sys/types.h>
 
 #include <assert.h>
 
 #include <sys/types.h>
 
 #include <assert.h>

-#include <ctype.h>

 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
 
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
 

-#include "mdoc.h"
+#include "mandoc_aux.h"

 #include "mandoc.h"
 #include "mandoc.h"

-#include "libmdoc.h"
+#include "roff.h"
+#include "mdoc.h"

 #include "libmandoc.h"
 #include "libmandoc.h"

+#include "roff_int.h"
+#include "libmdoc.h"

 
 #define        MULTI_STEP       5 /* pre-allocate argument values */
 
 #define        MULTI_STEP       5 /* pre-allocate argument values */

-#define        DELIMSZ          6 /* max possible size of a delimiter */
+#define        DELIMSZ          6 /* max possible size of a delimiter */

 
 enum   argsflag {
        ARGSFL_NONE = 0,
 
 enum   argsflag {
        ARGSFL_NONE = 0,


@@ -43,8 +44,7 @@ enum  argsflag {
 enum   argvflag {
        ARGV_NONE, /* no args to flag (e.g., -split) */
        ARGV_SINGLE, /* one arg to flag (e.g., -file xxx)  */
 enum   argvflag {
        ARGV_NONE, /* no args to flag (e.g., -split) */
        ARGV_SINGLE, /* one arg to flag (e.g., -file xxx)  */

-       ARGV_MULTI, /* multiple args (e.g., -column xxx yyy) */
-       ARGV_OPT_SINGLE /* optional arg (e.g., -offset [xxx]) */
+       ARGV_MULTI /* multiple args (e.g., -column xxx yyy) */

 };
 
 struct mdocarg {
 };
 
 struct mdocarg {


@@ -52,16 +52,14 @@ struct      mdocarg {
        const enum mdocargt *argvs;
 };
 
        const enum mdocargt *argvs;
 };
 

-static enum margserr    args(struct mdoc *, int, int *, 
+static void             argn_free(struct mdoc_arg *, int);
+static enum margserr    args(struct roff_man *, int, int *,

                                char *, enum argsflag, char **);
 static int              args_checkpunct(const char *, int);
                                char *, enum argsflag, char **);
 static int              args_checkpunct(const char *, int);

-static int              argv_single(struct mdoc *, int, 
-                               struct mdoc_argv *, int *, char *);
-static int              argv_opt_single(struct mdoc *, int, 
+static void             argv_multi(struct roff_man *, int,

                                struct mdoc_argv *, int *, char *);
                                struct mdoc_argv *, int *, char *);

-static int              argv_multi(struct mdoc *, int, 
+static void             argv_single(struct roff_man *, int,

                                struct mdoc_argv *, int *, char *);
                                struct mdoc_argv *, int *, char *);

-static void             argn_free(struct mdoc_arg *, int);

 
 static const enum argvflag argvflags[MDOC_ARG_MAX] = {
        ARGV_NONE,      /* MDOC_Split */
 
 static const enum argvflag argvflags[MDOC_ARG_MAX] = {
        ARGV_NONE,      /* MDOC_Split */


@@ -70,7 +68,7 @@ static        const enum argvflag argvflags[MDOC_ARG_MAX] = {
        ARGV_NONE,      /* MDOC_Unfilled */
        ARGV_NONE,      /* MDOC_Literal */
        ARGV_SINGLE,    /* MDOC_File */
        ARGV_NONE,      /* MDOC_Unfilled */
        ARGV_NONE,      /* MDOC_Literal */
        ARGV_SINGLE,    /* MDOC_File */

-       ARGV_OPT_SINGLE, /* MDOC_Offset */
+       ARGV_SINGLE,    /* MDOC_Offset */

        ARGV_NONE,      /* MDOC_Bullet */
        ARGV_NONE,      /* MDOC_Dash */
        ARGV_NONE,      /* MDOC_Hyphen */
        ARGV_NONE,      /* MDOC_Bullet */
        ARGV_NONE,      /* MDOC_Dash */
        ARGV_NONE,      /* MDOC_Hyphen */


@@ -146,14 +144,13 @@ static    const enum mdocargt args_Bl[] = {
        MDOC_ARG_MAX
 };
 
        MDOC_ARG_MAX
 };
 

-static const struct mdocarg mdocargs[MDOC_MAX] = {
-       { ARGSFL_NONE, NULL }, /* Ap */
+static const struct mdocarg mdocargs[MDOC_MAX - MDOC_Dd] = {

        { ARGSFL_NONE, NULL }, /* Dd */
        { ARGSFL_NONE, NULL }, /* Dt */
        { ARGSFL_NONE, NULL }, /* Os */
        { ARGSFL_NONE, NULL }, /* Sh */
        { ARGSFL_NONE, NULL }, /* Dd */
        { ARGSFL_NONE, NULL }, /* Dt */
        { ARGSFL_NONE, NULL }, /* Os */
        { ARGSFL_NONE, NULL }, /* Sh */

-       { ARGSFL_NONE, NULL }, /* Ss */ 
-       { ARGSFL_NONE, NULL }, /* Pp */ 
+       { ARGSFL_NONE, NULL }, /* Ss */
+       { ARGSFL_NONE, NULL }, /* Pp */

        { ARGSFL_DELIM, NULL }, /* D1 */
        { ARGSFL_DELIM, NULL }, /* Dl */
        { ARGSFL_NONE, args_Bd }, /* Bd */
        { ARGSFL_DELIM, NULL }, /* D1 */
        { ARGSFL_DELIM, NULL }, /* Dl */
        { ARGSFL_NONE, args_Bd }, /* Bd */


@@ -161,32 +158,33 @@ static    const struct mdocarg mdocargs[MDOC_MAX] = {
        { ARGSFL_NONE, args_Bl }, /* Bl */
        { ARGSFL_NONE, NULL }, /* El */
        { ARGSFL_NONE, NULL }, /* It */
        { ARGSFL_NONE, args_Bl }, /* Bl */
        { ARGSFL_NONE, NULL }, /* El */
        { ARGSFL_NONE, NULL }, /* It */

-       { ARGSFL_DELIM, NULL }, /* Ad */ 
+       { ARGSFL_DELIM, NULL }, /* Ad */

        { ARGSFL_DELIM, args_An }, /* An */
        { ARGSFL_DELIM, args_An }, /* An */

+       { ARGSFL_DELIM, NULL }, /* Ap */

        { ARGSFL_DELIM, NULL }, /* Ar */
        { ARGSFL_DELIM, NULL }, /* Ar */

-       { ARGSFL_NONE, NULL }, /* Cd */
+       { ARGSFL_DELIM, NULL }, /* Cd */

        { ARGSFL_DELIM, NULL }, /* Cm */
        { ARGSFL_DELIM, NULL }, /* Cm */

-       { ARGSFL_DELIM, NULL }, /* Dv */ 
-       { ARGSFL_DELIM, NULL }, /* Er */ 
-       { ARGSFL_DELIM, NULL }, /* Ev */ 
+       { ARGSFL_DELIM, NULL }, /* Dv */
+       { ARGSFL_DELIM, NULL }, /* Er */
+       { ARGSFL_DELIM, NULL }, /* Ev */

        { ARGSFL_NONE, args_Ex }, /* Ex */
        { ARGSFL_NONE, args_Ex }, /* Ex */

-       { ARGSFL_DELIM, NULL }, /* Fa */ 
-       { ARGSFL_NONE, NULL }, /* Fd */ 
+       { ARGSFL_DELIM, NULL }, /* Fa */
+       { ARGSFL_NONE, NULL }, /* Fd */

        { ARGSFL_DELIM, NULL }, /* Fl */
        { ARGSFL_DELIM, NULL }, /* Fl */

-       { ARGSFL_DELIM, NULL }, /* Fn */ 
-       { ARGSFL_DELIM, NULL }, /* Ft */ 
-       { ARGSFL_DELIM, NULL }, /* Ic */ 
-       { ARGSFL_NONE, NULL }, /* In */ 
+       { ARGSFL_DELIM, NULL }, /* Fn */
+       { ARGSFL_DELIM, NULL }, /* Ft */
+       { ARGSFL_DELIM, NULL }, /* Ic */
+       { ARGSFL_DELIM, NULL }, /* In */

        { ARGSFL_DELIM, NULL }, /* Li */
        { ARGSFL_DELIM, NULL }, /* Li */

-       { ARGSFL_NONE, NULL }, /* Nd */ 
-       { ARGSFL_DELIM, NULL }, /* Nm */ 
+       { ARGSFL_NONE, NULL }, /* Nd */
+       { ARGSFL_DELIM, NULL }, /* Nm */

        { ARGSFL_DELIM, NULL }, /* Op */
        { ARGSFL_DELIM, NULL }, /* Op */

-       { ARGSFL_NONE, NULL }, /* Ot */
+       { ARGSFL_DELIM, NULL }, /* Ot */

        { ARGSFL_DELIM, NULL }, /* Pa */
        { ARGSFL_NONE, args_Ex }, /* Rv */
        { ARGSFL_DELIM, NULL }, /* Pa */
        { ARGSFL_NONE, args_Ex }, /* Rv */

-       { ARGSFL_DELIM, NULL }, /* St */ 
+       { ARGSFL_DELIM, NULL }, /* St */

        { ARGSFL_DELIM, NULL }, /* Va */
        { ARGSFL_DELIM, NULL }, /* Va */

-       { ARGSFL_DELIM, NULL }, /* Vt */ 
+       { ARGSFL_DELIM, NULL }, /* Vt */

        { ARGSFL_DELIM, NULL }, /* Xr */
        { ARGSFL_NONE, NULL }, /* %A */
        { ARGSFL_NONE, NULL }, /* %B */
        { ARGSFL_DELIM, NULL }, /* Xr */
        { ARGSFL_NONE, NULL }, /* %A */
        { ARGSFL_NONE, NULL }, /* %B */


@@ -204,7 +202,7 @@ static      const struct mdocarg mdocargs[MDOC_MAX] = {
        { ARGSFL_DELIM, NULL }, /* Aq */
        { ARGSFL_DELIM, NULL }, /* At */
        { ARGSFL_DELIM, NULL }, /* Bc */
        { ARGSFL_DELIM, NULL }, /* Aq */
        { ARGSFL_DELIM, NULL }, /* At */
        { ARGSFL_DELIM, NULL }, /* Bc */

-       { ARGSFL_NONE, args_Bf }, /* Bf */ 
+       { ARGSFL_NONE, args_Bf }, /* Bf */

        { ARGSFL_NONE, NULL }, /* Bo */
        { ARGSFL_DELIM, NULL }, /* Bq */
        { ARGSFL_DELIM, NULL }, /* Bsx */
        { ARGSFL_NONE, NULL }, /* Bo */
        { ARGSFL_DELIM, NULL }, /* Bq */
        { ARGSFL_DELIM, NULL }, /* Bsx */


@@ -215,7 +213,7 @@ static      const struct mdocarg mdocargs[MDOC_MAX] = {
        { ARGSFL_DELIM, NULL }, /* Dq */
        { ARGSFL_DELIM, NULL }, /* Ec */
        { ARGSFL_NONE, NULL }, /* Ef */
        { ARGSFL_DELIM, NULL }, /* Dq */
        { ARGSFL_DELIM, NULL }, /* Ec */
        { ARGSFL_NONE, NULL }, /* Ef */

-       { ARGSFL_DELIM, NULL }, /* Em */ 
+       { ARGSFL_DELIM, NULL }, /* Em */

        { ARGSFL_NONE, NULL }, /* Eo */
        { ARGSFL_DELIM, NULL }, /* Fx */
        { ARGSFL_DELIM, NULL }, /* Ms */
        { ARGSFL_NONE, NULL }, /* Eo */
        { ARGSFL_DELIM, NULL }, /* Fx */
        { ARGSFL_DELIM, NULL }, /* Ms */


@@ -243,17 +241,17 @@ static    const struct mdocarg mdocargs[MDOC_MAX] = {
        { ARGSFL_DELIM, NULL }, /* Ux */
        { ARGSFL_DELIM, NULL }, /* Xc */
        { ARGSFL_NONE, NULL }, /* Xo */
        { ARGSFL_DELIM, NULL }, /* Ux */
        { ARGSFL_DELIM, NULL }, /* Xc */
        { ARGSFL_NONE, NULL }, /* Xo */

-       { ARGSFL_NONE, NULL }, /* Fo */ 
-       { ARGSFL_NONE, NULL }, /* Fc */ 
+       { ARGSFL_NONE, NULL }, /* Fo */
+       { ARGSFL_DELIM, NULL }, /* Fc */

        { ARGSFL_NONE, NULL }, /* Oo */
        { ARGSFL_DELIM, NULL }, /* Oc */
        { ARGSFL_NONE, args_Bk }, /* Bk */
        { ARGSFL_NONE, NULL }, /* Ek */
        { ARGSFL_NONE, NULL }, /* Bt */
        { ARGSFL_NONE, NULL }, /* Hf */
        { ARGSFL_NONE, NULL }, /* Oo */
        { ARGSFL_DELIM, NULL }, /* Oc */
        { ARGSFL_NONE, args_Bk }, /* Bk */
        { ARGSFL_NONE, NULL }, /* Ek */
        { ARGSFL_NONE, NULL }, /* Bt */
        { ARGSFL_NONE, NULL }, /* Hf */

-       { ARGSFL_NONE, NULL }, /* Fr */
+       { ARGSFL_DELIM, NULL }, /* Fr */

        { ARGSFL_NONE, NULL }, /* Ud */
        { ARGSFL_NONE, NULL }, /* Ud */

-       { ARGSFL_NONE, NULL }, /* Lb */
+       { ARGSFL_DELIM, NULL }, /* Lb */

        { ARGSFL_NONE, NULL }, /* Lp */
        { ARGSFL_DELIM, NULL }, /* Lk */
        { ARGSFL_DELIM, NULL }, /* Mt */
        { ARGSFL_NONE, NULL }, /* Lp */
        { ARGSFL_DELIM, NULL }, /* Lk */
        { ARGSFL_DELIM, NULL }, /* Mt */


@@ -262,115 +260,115 @@ static  const struct mdocarg mdocargs[MDOC_MAX] = {
        { ARGSFL_DELIM, NULL }, /* Brc */
        { ARGSFL_NONE, NULL }, /* %C */
        { ARGSFL_NONE, NULL }, /* Es */
        { ARGSFL_DELIM, NULL }, /* Brc */
        { ARGSFL_NONE, NULL }, /* %C */
        { ARGSFL_NONE, NULL }, /* Es */

-       { ARGSFL_NONE, NULL }, /* En */
-       { ARGSFL_NONE, NULL }, /* Dx */
+       { ARGSFL_DELIM, NULL }, /* En */
+       { ARGSFL_DELIM, NULL }, /* Dx */

        { ARGSFL_NONE, NULL }, /* %Q */
        { ARGSFL_NONE, NULL }, /* %Q */

-       { ARGSFL_NONE, NULL }, /* br */
-       { ARGSFL_NONE, NULL }, /* sp */

        { ARGSFL_NONE, NULL }, /* %U */
        { ARGSFL_NONE, NULL }, /* Ta */
 };
 
 
 /*
        { ARGSFL_NONE, NULL }, /* %U */
        { ARGSFL_NONE, NULL }, /* Ta */
 };
 
 
 /*

- * Parse an argument from line text.  This comes in the form of -key
- * [value0...], which may either have a single mandatory value, at least
- * one mandatory value, an optional single value, or no value.
+ * Parse flags and their arguments from the input line.
+ * These come in the form -flag [argument ...].
+ * Some flags take no argument, some one, some multiple.

  */
  */

-enum margverr
-mdoc_argv(struct mdoc *m, int line, enum mdoct tok,
-               struct mdoc_arg **v, int *pos, char *buf)
+void
+mdoc_argv(struct roff_man *mdoc, int line, enum roff_tok tok,
+       struct mdoc_arg **reta, int *pos, char *buf)

 {
 {

-       char             *p, sv;
-       struct mdoc_argv tmp;
-       struct mdoc_arg  *arg;
-       const enum mdocargt *ap;
+       struct mdoc_argv          tmpv;
+       struct mdoc_argv        **retv;
+       const enum mdocargt      *argtable;
+       char                     *argname;
+       int                       ipos, retc;
+       char                      savechar;

 
 

-       if ('\0' == buf[*pos])
-               return(ARGV_EOLN);
-       else if (NULL == (ap = mdocargs[tok].argvs))
-               return(ARGV_WORD);
+       *reta = NULL;

 
 

-       assert(' ' != buf[*pos]);
+       /* Which flags does this macro support? */

 
 

-       /* Seek to the first unescaped space. */
+       assert(tok >= MDOC_Dd && tok < MDOC_MAX);
+       argtable = mdocargs[tok - MDOC_Dd].argvs;
+       if (argtable == NULL)
+               return;

 
 

-       p = &buf[++(*pos)];
+       /* Loop over the flags on the input line. */

 
 

-       assert(*pos > 0);
+       ipos = *pos;
+       while (buf[ipos] == '-') {

 
 

-       for ( ; buf[*pos] ; (*pos)++)
-               if (' ' == buf[*pos] && '\\' != buf[*pos - 1])
-                       break;
+               /* Seek to the first unescaped space. */

 
 

-       /* 
-        * We want to nil-terminate the word to look it up (it's easier
-        * that way).  But we may not have a flag, in which case we need
-        * to restore the line as-is.  So keep around the stray byte,
-        * which we'll reset upon exiting (if necessary).
-        */
+               for (argname = buf + ++ipos; buf[ipos] != '\0'; ipos++)
+                       if (buf[ipos] == ' ' && buf[ipos - 1] != '\\')
+                               break;

 
 

-       if ('\0' != (sv = buf[*pos])) 
-               buf[(*pos)++] = '\0';
+               /*
+                * We want to nil-terminate the word to look it up.
+                * But we may not have a flag, in which case we need
+                * to restore the line as-is.  So keep around the
+                * stray byte, which we'll reset upon exiting.
+                */

 
 

-       /*
-        * Now look up the word as a flag.  Use temporary storage that
-        * we'll copy into the node's flags, if necessary.
-        */
+               if ((savechar = buf[ipos]) != '\0')
+                       buf[ipos++] = '\0';

 
 

-       memset(&tmp, 0, sizeof(struct mdoc_argv));
+               /*
+                * Now look up the word as a flag.  Use temporary
+                * storage that we'll copy into the node's flags.
+                */
+
+               while ((tmpv.arg = *argtable++) != MDOC_ARG_MAX)
+                       if ( ! strcmp(argname, mdoc_argnames[tmpv.arg]))
+                               break;

 
 

-       tmp.line = line;
-       tmp.pos = *pos;
-       tmp.arg = MDOC_ARG_MAX;
+               /* If it isn't a flag, restore the saved byte. */

 
 

-       while (MDOC_ARG_MAX != (tmp.arg = *ap++))
-               if (0 == strcmp(p, mdoc_argnames[tmp.arg]))
+               if (tmpv.arg == MDOC_ARG_MAX) {
+                       if (savechar != '\0')
+                               buf[ipos - 1] = savechar;

                        break;
                        break;

+               }

 
 

-       if (MDOC_ARG_MAX == tmp.arg) {
-               /* 
-                * The flag was not found.
-                * Restore saved zeroed byte and return as a word.
-                */
-               if (sv)
-                       buf[*pos - 1] = sv;
-               return(ARGV_WORD);
-       }
+               /* Read to the next word (the first argument). */

 
 

-       /* Read to the next word (the argument). */
-
-       while (buf[*pos] && ' ' == buf[*pos])
-               (*pos)++;
-
-       switch (argvflags[tmp.arg]) {
-       case (ARGV_SINGLE):
-               if ( ! argv_single(m, line, &tmp, pos, buf))
-                       return(ARGV_ERROR);
-               break;
-       case (ARGV_MULTI):
-               if ( ! argv_multi(m, line, &tmp, pos, buf))
-                       return(ARGV_ERROR);
-               break;
-       case (ARGV_OPT_SINGLE):
-               if ( ! argv_opt_single(m, line, &tmp, pos, buf))
-                       return(ARGV_ERROR);
-               break;
-       case (ARGV_NONE):
-               break;
-       }
+               while (buf[ipos] == ' ')
+                       ipos++;

 
 

-       if (NULL == (arg = *v))
-               arg = *v = mandoc_calloc(1, sizeof(struct mdoc_arg));
+               /* Parse the arguments of the flag. */

 
 

-       arg->argc++;
-       arg->argv = mandoc_realloc
-               (arg->argv, arg->argc * sizeof(struct mdoc_argv));
+               tmpv.line  = line;
+               tmpv.pos   = *pos;
+               tmpv.sz    = 0;
+               tmpv.value = NULL;

 
 

-       memcpy(&arg->argv[(int)arg->argc - 1], 
-                       &tmp, sizeof(struct mdoc_argv));
+               switch (argvflags[tmpv.arg]) {
+               case ARGV_SINGLE:
+                       argv_single(mdoc, line, &tmpv, &ipos, buf);
+                       break;
+               case ARGV_MULTI:
+                       argv_multi(mdoc, line, &tmpv, &ipos, buf);
+                       break;
+               case ARGV_NONE:
+                       break;
+               }

 
 

-       return(ARGV_ARG);
+               /* Append to the return values. */
+
+               if (*reta == NULL)
+                       *reta = mandoc_calloc(1, sizeof(**reta));
+
+               retc = ++(*reta)->argc;
+               retv = &(*reta)->argv;
+               *retv = mandoc_reallocarray(*retv, retc, sizeof(**retv));
+               memcpy(*retv + retc - 1, &tmpv, sizeof(**retv));
+
+               /* Prepare for parsing the next flag. */
+
+               *pos = ipos;
+               argtable = mdocargs[tok - MDOC_Dd].argvs;
+       }

 }
 
 void
 }
 
 void


@@ -404,7 +402,7 @@ argn_free(struct mdoc_arg *p, int iarg)
        arg = &p->argv[iarg];
 
        if (arg->sz && arg->value) {
        arg = &p->argv[iarg];
 
        if (arg->sz && arg->value) {

-               for (j = (int)arg->sz - 1; j >= 0; j--) 
+               for (j = (int)arg->sz - 1; j >= 0; j--)

                        free(arg->value[j]);
                free(arg->value);
        }
                        free(arg->value[j]);
                free(arg->value);
        }


@@ -414,23 +412,13 @@ argn_free(struct mdoc_arg *p, int iarg)
 }
 
 enum margserr
 }
 
 enum margserr

-mdoc_zargs(struct mdoc *m, int line, int *pos, char *buf, char **v)
-{
-
-       return(args(m, line, pos, buf, ARGSFL_NONE, v));
-}
-
-enum margserr
-mdoc_args(struct mdoc *m, int line, int *pos, 
-               char *buf, enum mdoct tok, char **v)
+mdoc_args(struct roff_man *mdoc, int line, int *pos,
+       char *buf, enum roff_tok tok, char **v)

 {
 {

+       struct roff_node *n;

        enum argsflag     fl;
        enum argsflag     fl;

-       struct mdoc_node *n;
-
-       fl = mdocargs[tok].flags;

 
 

-       if (MDOC_It != tok)
-               return(args(m, line, pos, buf, fl, v));
+       fl = tok == TOKEN_NONE ? ARGSFL_NONE : mdocargs[tok - MDOC_Dd].flags;

 
        /*
         * We know that we're in an `It', so it's reasonable to expect
 
        /*
         * We know that we're in an `It', so it's reasonable to expect


@@ -439,161 +427,168 @@ mdoc_args(struct mdoc *m, int line, int *pos,
         * safe fall-back into the default behaviour.
         */
 
         * safe fall-back into the default behaviour.
         */
 

-       for (n = m->last; n; n = n->parent)
-               if (MDOC_Bl == n->tok)
-                       if (LIST_column == n->norm->Bl.type) {
+       if (tok == MDOC_It) {
+               for (n = mdoc->last; n != NULL; n = n->parent) {
+                       if (n->tok != MDOC_Bl)
+                               continue;
+                       if (n->norm->Bl.type == LIST_column)

                                fl = ARGSFL_TABSEP;
                                fl = ARGSFL_TABSEP;

-                               break;
-                       }
+                       break;
+               }
+       }

 
 

-       return(args(m, line, pos, buf, fl, v));
+       return args(mdoc, line, pos, buf, fl, v);

 }
 
 static enum margserr
 }
 
 static enum margserr

-args(struct mdoc *m, int line, int *pos, 
+args(struct roff_man *mdoc, int line, int *pos,

                char *buf, enum argsflag fl, char **v)
 {
                char *buf, enum argsflag fl, char **v)
 {

-       char            *p, *pp;
-       enum margserr    rc;
-
-       if ('\0' == buf[*pos]) {
-               if (MDOC_PPHRASE & m->flags)
-                       return(ARGS_EOLN);
-               /*
-                * If we're not in a partial phrase and the flag for
-                * being a phrase literal is still set, the punctuation
-                * is unterminated.
-                */
-               if (MDOC_PHRASELIT & m->flags)
-                       mdoc_pmsg(m, line, *pos, MANDOCERR_BADQUOTE);
-
-               m->flags &= ~MDOC_PHRASELIT;
-               return(ARGS_EOLN);
+       char            *p;
+       char            *v_local;
+       int              pairs;
+
+       if (buf[*pos] == '\0') {
+               if (mdoc->flags & MDOC_PHRASELIT &&
+                   ! (mdoc->flags & MDOC_PHRASE)) {
+                       mandoc_msg(MANDOCERR_ARG_QUOTE, line, *pos, NULL);
+                       mdoc->flags &= ~MDOC_PHRASELIT;
+               }
+               mdoc->flags &= ~MDOC_PHRASEQL;
+               return ARGS_EOLN;

        }
 
        }
 

-       *v = &buf[*pos];
+       if (v == NULL)
+               v = &v_local;
+       *v = buf + *pos;

 
 

-       if (ARGSFL_DELIM == fl)
-               if (args_checkpunct(buf, *pos))
-                       return(ARGS_PUNCT);
+       if (fl == ARGSFL_DELIM && args_checkpunct(buf, *pos))
+               return ARGS_PUNCT;

 
        /*
 
        /*

-        * First handle TABSEP items, restricted to `Bl -column'.  This
-        * ignores conventional token parsing and instead uses tabs or
-        * `Ta' macros to separate phrases.  Phrases are parsed again
-        * for arguments at a later phase.
+        * Tabs in `It' lines in `Bl -column' can't be escaped.
+        * Phrases are reparsed for `Ta' and other macros later.

         */
 
         */
 

-       if (ARGSFL_TABSEP == fl) {
-               /* Scan ahead to tab (can't be escaped). */
-               p = strchr(*v, '\t');
-               pp = NULL;
-
-               /* Scan ahead to unescaped `Ta'. */
-               if ( ! (MDOC_PHRASELIT & m->flags)) 
-                       for (pp = *v; ; pp++) {
-                               if (NULL == (pp = strstr(pp, "Ta")))
-                                       break;
-                               if (pp > *v && ' ' != *(pp - 1))
-                                       continue;
-                               if (' ' == *(pp + 2) || '\0' == *(pp + 2))
-                                       break;
-                       }
-
-               /* By default, assume a phrase. */
-               rc = ARGS_PHRASE;
-
-               /* 
-                * Adjust new-buffer position to be beyond delimiter
-                * mark (e.g., Ta -> end + 2).
-                */
-               if (p && pp) {
-                       *pos += pp < p ? 2 : 1;
-                       rc = pp < p ? ARGS_PHRASE : ARGS_PPHRASE;
-                       p = pp < p ? pp : p;
-               } else if (p && ! pp) {
-                       rc = ARGS_PPHRASE;
-                       *pos += 1;
-               } else if (pp && ! p) {
-                       p = pp;
-                       *pos += 2;
+       if (fl == ARGSFL_TABSEP) {
+               if ((p = strchr(*v, '\t')) != NULL) {
+
+                       /*
+                        * Words right before and right after
+                        * tab characters are not parsed,
+                        * unless there is a blank in between.
+                        */
+
+                       if (p > buf && p[-1] != ' ')
+                               mdoc->flags |= MDOC_PHRASEQL;
+                       if (p[1] != ' ')
+                               mdoc->flags |= MDOC_PHRASEQN;
+
+                       /*
+                        * One or more blanks after a tab cause
+                        * one leading blank in the next column.
+                        * So skip all but one of them.
+                        */
+
+                       *pos += (int)(p - *v) + 1;
+                       while (buf[*pos] == ' ' && buf[*pos + 1] == ' ')
+                               (*pos)++;
+
+                       /*
+                        * A tab at the end of an input line
+                        * switches to the next column.
+                        */
+
+                       if (buf[*pos] == '\0' || buf[*pos + 1] == '\0')
+                               mdoc->flags |= MDOC_PHRASEQN;

                } else {
                } else {

-                       rc = ARGS_PEND;
-                       p = strchr(*v, 0);
-               }
-
-               /* Whitespace check for eoln case... */
-               if ('\0' == *p && ' ' == *(p - 1))
-                       mdoc_pmsg(m, line, *pos, MANDOCERR_EOLNSPACE);
-
-               *pos += (int)(p - *v);
-
-               /* Strip delimiter's preceding whitespace. */
-               pp = p - 1;
-               while (pp > *v && ' ' == *pp) {
-                       if (pp > *v && '\\' == *(pp - 1))
-                               break;
-                       pp--;
+                       p = strchr(*v, '\0');
+                       if (p[-1] == ' ')
+                               mandoc_msg(MANDOCERR_SPACE_EOL,
+                                   line, *pos, NULL);
+                       *pos += (int)(p - *v);

                }
                }

-               *(pp + 1) = 0;

 
 

-               /* Strip delimiter's proceeding whitespace. */
-               for (pp = &buf[*pos]; ' ' == *pp; pp++, (*pos)++)
-                       /* Skip ahead. */ ;
+               /* Skip any trailing blank characters. */
+               while (p > *v && p[-1] == ' ' &&
+                   (p - 1 == *v || p[-2] != '\\'))
+                       p--;
+               *p = '\0';

 
 

-               return(rc);
-       } 
+               return ARGS_PHRASE;
+       }

 
 

-       /* 
+       /*

         * Process a quoted literal.  A quote begins with a double-quote
         * and ends with a double-quote NOT preceded by a double-quote.
         * Process a quoted literal.  A quote begins with a double-quote
         * and ends with a double-quote NOT preceded by a double-quote.

+        * NUL-terminate the literal in place.
+        * Collapse pairs of quotes inside quoted literals.

         * Whitespace is NOT involved in literal termination.
         */
 
         * Whitespace is NOT involved in literal termination.
         */
 

-       if (MDOC_PHRASELIT & m->flags || '\"' == buf[*pos]) {
-               if ( ! (MDOC_PHRASELIT & m->flags))
+       if (mdoc->flags & MDOC_PHRASELIT ||
+           (mdoc->flags & MDOC_PHRASE && buf[*pos] == '\"')) {
+               if ((mdoc->flags & MDOC_PHRASELIT) == 0) {

                        *v = &buf[++(*pos)];
                        *v = &buf[++(*pos)];

-
-               if (MDOC_PPHRASE & m->flags)
-                       m->flags |= MDOC_PHRASELIT;
-
+                       mdoc->flags |= MDOC_PHRASELIT;
+               }
+               pairs = 0;

                for ( ; buf[*pos]; (*pos)++) {
                for ( ; buf[*pos]; (*pos)++) {

+                       /* Move following text left after quoted quotes. */
+                       if (pairs)
+                               buf[*pos - pairs] = buf[*pos];

                        if ('\"' != buf[*pos])
                                continue;
                        if ('\"' != buf[*pos])
                                continue;

+                       /* Unquoted quotes end quoted args. */

                        if ('\"' != buf[*pos + 1])
                                break;
                        if ('\"' != buf[*pos + 1])
                                break;

+                       /* Quoted quotes collapse. */
+                       pairs++;

                        (*pos)++;
                }
                        (*pos)++;
                }

-
-               if ('\0' == buf[*pos]) {
-                       if (MDOC_PPHRASE & m->flags)
-                               return(ARGS_QWORD);
-                       mdoc_pmsg(m, line, *pos, MANDOCERR_BADQUOTE);
-                       return(ARGS_QWORD);
+               if (pairs)
+                       buf[*pos - pairs] = '\0';
+
+               if (buf[*pos] == '\0') {
+                       if ( ! (mdoc->flags & MDOC_PHRASE))
+                               mandoc_msg(MANDOCERR_ARG_QUOTE,
+                                   line, *pos, NULL);
+                       return ARGS_WORD;

                }
 
                }
 

-               m->flags &= ~MDOC_PHRASELIT;
+               mdoc->flags &= ~MDOC_PHRASELIT;

                buf[(*pos)++] = '\0';
 
                if ('\0' == buf[*pos])
                buf[(*pos)++] = '\0';
 
                if ('\0' == buf[*pos])

-                       return(ARGS_QWORD);
+                       return ARGS_WORD;

 
                while (' ' == buf[*pos])
                        (*pos)++;
 
                if ('\0' == buf[*pos])
 
                while (' ' == buf[*pos])
                        (*pos)++;
 
                if ('\0' == buf[*pos])

-                       mdoc_pmsg(m, line, *pos, MANDOCERR_EOLNSPACE);
+                       mandoc_msg(MANDOCERR_SPACE_EOL, line, *pos, NULL);

 
 

-               return(ARGS_QWORD);
+               return ARGS_WORD;

        }
 
        p = &buf[*pos];
        }
 
        p = &buf[*pos];

-       *v = mandoc_getarg(m->parse, &p, line, pos);
+       *v = roff_getarg(mdoc->roff, &p, line, pos);
+       if (v == &v_local)
+               free(*v);

 
 

-       return(ARGS_WORD);
+       /*
+        * After parsing the last word in this phrase,
+        * tell lookup() whether or not to interpret it.
+        */
+
+       if (*p == '\0' && mdoc->flags & MDOC_PHRASEQL) {
+               mdoc->flags &= ~MDOC_PHRASEQL;
+               mdoc->flags |= MDOC_PHRASEQF;
+       }
+       return ARGS_ALLOC;

 }
 
 }
 

-/* 
+/*

  * Check if the string consists only of space-separated closing
  * delimiters.  This is a bit of a dance: the first must be a close
  * delimiter, but it may be followed by middle delimiters.  Arbitrary
  * Check if the string consists only of space-separated closing
  * delimiters.  This is a bit of a dance: the first must be a close
  * delimiter, but it may be followed by middle delimiters.  Arbitrary


@@ -612,106 +607,76 @@ args_checkpunct(const char *buf, int i)
                dbuf[j] = buf[i];
 
        if (DELIMSZ == j)
                dbuf[j] = buf[i];
 
        if (DELIMSZ == j)

-               return(0);
+               return 0;

 
        dbuf[j] = '\0';
        if (DELIM_CLOSE != mdoc_isdelim(dbuf))
 
        dbuf[j] = '\0';
        if (DELIM_CLOSE != mdoc_isdelim(dbuf))

-               return(0);
+               return 0;

 
        while (' ' == buf[i])
                i++;
 
        /* Remaining must NOT be open/none. */
 
        while (' ' == buf[i])
                i++;
 
        /* Remaining must NOT be open/none. */

-       
+

        while (buf[i]) {
                j = 0;
                while (buf[i] && ' ' != buf[i] && j < DELIMSZ)
                        dbuf[j++] = buf[i++];
 
                if (DELIMSZ == j)
        while (buf[i]) {
                j = 0;
                while (buf[i] && ' ' != buf[i] && j < DELIMSZ)
                        dbuf[j++] = buf[i++];
 
                if (DELIMSZ == j)

-                       return(0);
+                       return 0;

 
                dbuf[j] = '\0';
                d = mdoc_isdelim(dbuf);
                if (DELIM_NONE == d || DELIM_OPEN == d)
 
                dbuf[j] = '\0';
                d = mdoc_isdelim(dbuf);
                if (DELIM_NONE == d || DELIM_OPEN == d)

-                       return(0);
+                       return 0;

 
                while (' ' == buf[i])
                        i++;
        }
 
 
                while (' ' == buf[i])
                        i++;
        }
 

-       return('\0' == buf[i]);
+       return '\0' == buf[i];

 }
 
 }
 

-static int
-argv_multi(struct mdoc *m, int line, 
+static void
+argv_multi(struct roff_man *mdoc, int line,

                struct mdoc_argv *v, int *pos, char *buf)
 {
        enum margserr    ac;
        char            *p;
 
        for (v->sz = 0; ; v->sz++) {
                struct mdoc_argv *v, int *pos, char *buf)
 {
        enum margserr    ac;
        char            *p;
 
        for (v->sz = 0; ; v->sz++) {

-               if ('-' == buf[*pos])
+               if (buf[*pos] == '-')

                        break;
                        break;

-               ac = args(m, line, pos, buf, ARGSFL_NONE, &p);
-               if (ARGS_ERROR == ac)
-                       return(0);
-               else if (ARGS_EOLN == ac)
+               ac = args(mdoc, line, pos, buf, ARGSFL_NONE, &p);
+               if (ac == ARGS_EOLN)

                        break;
 
                        break;
 

-               if (0 == v->sz % MULTI_STEP)
-                       v->value = mandoc_realloc(v->value, 
-                               (v->sz + MULTI_STEP) * sizeof(char *));
+               if (v->sz % MULTI_STEP == 0)
+                       v->value = mandoc_reallocarray(v->value,
+                           v->sz + MULTI_STEP, sizeof(char *));

 
 

-               v->value[(int)v->sz] = mandoc_strdup(p);
+               if (ac != ARGS_ALLOC)
+                       p = mandoc_strdup(p);
+               v->value[(int)v->sz] = p;

        }
        }

-
-       return(1);
-}
-
-static int
-argv_opt_single(struct mdoc *m, int line, 
-               struct mdoc_argv *v, int *pos, char *buf)
-{
-       enum margserr    ac;
-       char            *p;
-
-       if ('-' == buf[*pos])
-               return(1);
-
-       ac = args(m, line, pos, buf, ARGSFL_NONE, &p);
-       if (ARGS_ERROR == ac)
-               return(0);
-       if (ARGS_EOLN == ac)
-               return(1);
-
-       v->sz = 1;
-       v->value = mandoc_malloc(sizeof(char *));
-       v->value[0] = mandoc_strdup(p);
-
-       return(1);

 }
 
 }
 

-static int
-argv_single(struct mdoc *m, int line, 
+static void
+argv_single(struct roff_man *mdoc, int line,

                struct mdoc_argv *v, int *pos, char *buf)
 {
                struct mdoc_argv *v, int *pos, char *buf)
 {

-       int              ppos;

        enum margserr    ac;
        char            *p;
 
        enum margserr    ac;
        char            *p;
 

-       ppos = *pos;
+       ac = args(mdoc, line, pos, buf, ARGSFL_NONE, &p);
+       if (ac == ARGS_EOLN)
+               return;

 
 

-       ac = args(m, line, pos, buf, ARGSFL_NONE, &p);
-       if (ARGS_EOLN == ac) {
-               mdoc_pmsg(m, line, ppos, MANDOCERR_SYNTARGVCOUNT);
-               return(0);
-       } else if (ARGS_ERROR == ac)
-               return(0);
+       if (ac != ARGS_ALLOC)
+               p = mandoc_strdup(p);

 
        v->sz = 1;
        v->value = mandoc_malloc(sizeof(char *));
 
        v->sz = 1;
        v->value = mandoc_malloc(sizeof(char *));

-       v->value[0] = mandoc_strdup(p);
-
-       return(1);
+       v->value[0] = p;

 }
 }