]> git.cameronkatri.com Git - mandoc.git/blobdiff - mdoc_validate.c
add missing HISTORY information
[mandoc.git] / mdoc_validate.c
index 0afd2f11bc1d1913ce45ff49a3e2813f653ae182..043145ae1ccc9f5fe082f108dca4ae9863cf2568 100644 (file)
@@ -1,7 +1,7 @@
-/*     $Id: mdoc_validate.c,v 1.308 2016/08/20 14:43:50 schwarze Exp $ */
+/*     $Id: mdoc_validate.c,v 1.317 2017/01/11 17:39:53 schwarze Exp $ */
 /*
  * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
- * Copyright (c) 2010-2016 Ingo Schwarze <schwarze@openbsd.org>
+ * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org>
  * Copyright (c) 2010 Joerg Sonnenberger <joerg@netbsd.org>
  *
  * Permission to use, copy, modify, and distribute this software for any
@@ -51,6 +51,7 @@ enum  check_ineq {
 
 typedef        void    (*v_post)(POST_ARGS);
 
+static int      build_list(struct roff_man *, int);
 static void     check_text(struct roff_man *, int, int, char *);
 static void     check_argv(struct roff_man *,
                        struct roff_node *, struct mdoc_argv *);
@@ -67,7 +68,6 @@ static        void     post_bf(POST_ARGS);
 static void     post_bk(POST_ARGS);
 static void     post_bl(POST_ARGS);
 static void     post_bl_block(POST_ARGS);
-static void     post_bl_block_tag(POST_ARGS);
 static void     post_bl_head(POST_ARGS);
 static void     post_bl_norm(POST_ARGS);
 static void     post_bx(POST_ARGS);
@@ -96,6 +96,7 @@ static        void     post_par(POST_ARGS);
 static void     post_prevpar(POST_ARGS);
 static void     post_root(POST_ARGS);
 static void     post_rs(POST_ARGS);
+static void     post_rv(POST_ARGS);
 static void     post_sh(POST_ARGS);
 static void     post_sh_head(POST_ARGS);
 static void     post_sh_name(POST_ARGS);
@@ -104,6 +105,8 @@ static      void     post_sh_authors(POST_ARGS);
 static void     post_sm(POST_ARGS);
 static void     post_st(POST_ARGS);
 static void     post_std(POST_ARGS);
+static void     post_xr(POST_ARGS);
+static void     post_xx(POST_ARGS);
 
 static v_post mdoc_valids[MDOC_MAX] = {
        NULL,           /* Ap */
@@ -142,11 +145,11 @@ static    v_post mdoc_valids[MDOC_MAX] = {
        NULL,           /* Op */
        post_obsolete,  /* Ot */
        post_defaults,  /* Pa */
-       post_std,       /* Rv */
+       post_rv,        /* Rv */
        post_st,        /* St */
        NULL,           /* Va */
        NULL,           /* Vt */
-       NULL,           /* Xr */
+       post_xr,        /* Xr */
        NULL,           /* %A */
        post_hyph,      /* %B */ /* FIXME: can be used outside Rs/Re. */
        NULL,           /* %D */
@@ -166,7 +169,7 @@ static      v_post mdoc_valids[MDOC_MAX] = {
        post_bf,        /* Bf */
        NULL,           /* Bo */
        NULL,           /* Bq */
-       NULL,           /* Bsx */
+       post_xx,        /* Bsx */
        post_bx,        /* Bx */
        post_obsolete,  /* Db */
        NULL,           /* Dc */
@@ -176,12 +179,12 @@ static    v_post mdoc_valids[MDOC_MAX] = {
        NULL,           /* Ef */
        NULL,           /* Em */
        NULL,           /* Eo */
-       NULL,           /* Fx */
+       post_xx,        /* Fx */
        NULL,           /* Ms */
        NULL,           /* No */
        post_ns,        /* Ns */
-       NULL,           /* Nx */
-       NULL,           /* Ox */
+       post_xx,        /* Nx */
+       post_xx,        /* Ox */
        NULL,           /* Pc */
        NULL,           /* Pf */
        NULL,           /* Po */
@@ -199,7 +202,7 @@ static      v_post mdoc_valids[MDOC_MAX] = {
        post_hyph,      /* Sx */
        NULL,           /* Sy */
        NULL,           /* Tn */
-       NULL,           /* Ux */
+       post_xx,        /* Ux */
        NULL,           /* Xc */
        NULL,           /* Xo */
        post_fo,        /* Fo */
@@ -222,7 +225,7 @@ static      v_post mdoc_valids[MDOC_MAX] = {
        NULL,           /* %C */
        post_es,        /* Es */
        post_en,        /* En */
-       NULL,           /* Dx */
+       post_xx,        /* Dx */
        NULL,           /* %Q */
        post_par,       /* br */
        post_par,       /* sp */
@@ -297,7 +300,8 @@ mdoc_node_validate(struct roff_man *mdoc)
        mdoc->next = ROFF_NEXT_SIBLING;
        switch (n->type) {
        case ROFFT_TEXT:
-               if (n->sec != SEC_SYNOPSIS || n->parent->tok != MDOC_Fd)
+               if (n->sec != SEC_SYNOPSIS ||
+                   (n->parent->tok != MDOC_Cd && n->parent->tok != MDOC_Fd))
                        check_text(mdoc, n->line, n->pos, n->string);
                break;
        case ROFFT_EQN:
@@ -316,9 +320,9 @@ mdoc_node_validate(struct roff_man *mdoc)
                 */
 
                if (n->child != NULL)
-                       n->child->flags &= ~MDOC_DELIMC;
+                       n->child->flags &= ~NODE_DELIMC;
                if (n->last != NULL)
-                       n->last->flags &= ~MDOC_DELIMO;
+                       n->last->flags &= ~NODE_DELIMO;
 
                /* Call the macro's postprocessor. */
 
@@ -619,6 +623,10 @@ post_bd(POST_ARGS)
        }
 }
 
+/*
+ * Stand-alone line macros.
+ */
+
 static void
 post_an_norm(POST_ARGS)
 {
@@ -646,6 +654,158 @@ post_an_norm(POST_ARGS)
                abort();
 }
 
+static void
+post_eoln(POST_ARGS)
+{
+       struct roff_node        *n;
+
+       n = mdoc->last;
+       if (n->child != NULL)
+               mandoc_vmsg(MANDOCERR_ARG_SKIP, mdoc->parse,
+                   n->line, n->pos, "%s %s",
+                   mdoc_macronames[n->tok], n->child->string);
+
+       while (n->child != NULL)
+               roff_node_delete(mdoc, n->child);
+
+       roff_word_alloc(mdoc, n->line, n->pos, n->tok == MDOC_Bt ?
+           "is currently in beta test." : "currently under development.");
+       mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
+       mdoc->last = n;
+}
+
+static int
+build_list(struct roff_man *mdoc, int tok)
+{
+       struct roff_node        *n;
+       int                      ic;
+
+       n = mdoc->last->next;
+       for (ic = 1;; ic++) {
+               roff_elem_alloc(mdoc, n->line, n->pos, tok);
+               mdoc->last->flags |= NODE_NOSRC;
+               mdoc_node_relink(mdoc, n);
+               n = mdoc->last = mdoc->last->parent;
+               mdoc->next = ROFF_NEXT_SIBLING;
+               if (n->next == NULL)
+                       return ic;
+               if (ic > 1 || n->next->next != NULL) {
+                       roff_word_alloc(mdoc, n->line, n->pos, ",");
+                       mdoc->last->flags |= NODE_DELIMC | NODE_NOSRC;
+               }
+               n = mdoc->last->next;
+               if (n->next == NULL) {
+                       roff_word_alloc(mdoc, n->line, n->pos, "and");
+                       mdoc->last->flags |= NODE_NOSRC;
+               }
+       }
+}
+
+static void
+post_ex(POST_ARGS)
+{
+       struct roff_node        *n;
+       int                      ic;
+
+       post_std(mdoc);
+
+       n = mdoc->last;
+       mdoc->next = ROFF_NEXT_CHILD;
+       roff_word_alloc(mdoc, n->line, n->pos, "The");
+       mdoc->last->flags |= NODE_NOSRC;
+
+       if (mdoc->last->next != NULL)
+               ic = build_list(mdoc, MDOC_Nm);
+       else if (mdoc->meta.name != NULL) {
+               roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Nm);
+               mdoc->last->flags |= NODE_NOSRC;
+               roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
+               mdoc->last->flags |= NODE_NOSRC;
+               mdoc->last = mdoc->last->parent;
+               mdoc->next = ROFF_NEXT_SIBLING;
+               ic = 1;
+       } else {
+               mandoc_msg(MANDOCERR_EX_NONAME, mdoc->parse,
+                   n->line, n->pos, "Ex");
+               ic = 0;
+       }
+
+       roff_word_alloc(mdoc, n->line, n->pos,
+           ic > 1 ? "utilities exit\\~0" : "utility exits\\~0");
+       mdoc->last->flags |= NODE_NOSRC;
+       roff_word_alloc(mdoc, n->line, n->pos,
+           "on success, and\\~>0 if an error occurs.");
+       mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
+       mdoc->last = n;
+}
+
+static void
+post_lb(POST_ARGS)
+{
+       struct roff_node        *n;
+       const char              *p;
+
+       n = mdoc->last;
+       assert(n->child->type == ROFFT_TEXT);
+       mdoc->next = ROFF_NEXT_CHILD;
+
+       if ((p = mdoc_a2lib(n->child->string)) != NULL) {
+               n->child->flags |= NODE_NOPRT;
+               roff_word_alloc(mdoc, n->line, n->pos, p);
+               mdoc->last->flags = NODE_NOSRC;
+               mdoc->last = n;
+               return;
+       }
+
+       roff_word_alloc(mdoc, n->line, n->pos, "library");
+       mdoc->last->flags = NODE_NOSRC;
+       roff_word_alloc(mdoc, n->line, n->pos, "\\(Lq");
+       mdoc->last->flags = NODE_DELIMO | NODE_NOSRC;
+       mdoc->last = mdoc->last->next;
+       roff_word_alloc(mdoc, n->line, n->pos, "\\(Rq");
+       mdoc->last->flags = NODE_DELIMC | NODE_NOSRC;
+       mdoc->last = n;
+}
+
+static void
+post_rv(POST_ARGS)
+{
+       struct roff_node        *n;
+       int                      ic;
+
+       post_std(mdoc);
+
+       n = mdoc->last;
+       mdoc->next = ROFF_NEXT_CHILD;
+       if (n->child != NULL) {
+               roff_word_alloc(mdoc, n->line, n->pos, "The");
+               mdoc->last->flags |= NODE_NOSRC;
+               ic = build_list(mdoc, MDOC_Fn);
+               roff_word_alloc(mdoc, n->line, n->pos,
+                   ic > 1 ? "functions return" : "function returns");
+               mdoc->last->flags |= NODE_NOSRC;
+               roff_word_alloc(mdoc, n->line, n->pos,
+                   "the value\\~0 if successful;");
+       } else
+               roff_word_alloc(mdoc, n->line, n->pos, "Upon successful "
+                   "completion, the value\\~0 is returned;");
+       mdoc->last->flags |= NODE_NOSRC;
+
+       roff_word_alloc(mdoc, n->line, n->pos, "otherwise "
+           "the value\\~\\-1 is returned and the global variable");
+       mdoc->last->flags |= NODE_NOSRC;
+       roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Va);
+       mdoc->last->flags |= NODE_NOSRC;
+       roff_word_alloc(mdoc, n->line, n->pos, "errno");
+       mdoc->last->flags |= NODE_NOSRC;
+       mdoc->last = mdoc->last->parent;
+       mdoc->next = ROFF_NEXT_SIBLING;
+       roff_word_alloc(mdoc, n->line, n->pos,
+           "is set to indicate the error.");
+       mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
+       mdoc->last = n;
+}
+
 static void
 post_std(POST_ARGS)
 {
@@ -660,6 +820,30 @@ post_std(POST_ARGS)
            n->line, n->pos, mdoc_macronames[n->tok]);
 }
 
+static void
+post_st(POST_ARGS)
+{
+       struct roff_node         *n, *nch;
+       const char               *p;
+
+       n = mdoc->last;
+       nch = n->child;
+       assert(nch->type == ROFFT_TEXT);
+
+       if ((p = mdoc_a2st(nch->string)) == NULL) {
+               mandoc_vmsg(MANDOCERR_ST_BAD, mdoc->parse,
+                   nch->line, nch->pos, "St %s", nch->string);
+               roff_node_delete(mdoc, n);
+               return;
+       }
+
+       nch->flags |= NODE_NOPRT;
+       mdoc->next = ROFF_NEXT_CHILD;
+       roff_word_alloc(mdoc, nch->line, nch->pos, p);
+       mdoc->last->flags |= NODE_NOSRC;
+       mdoc->last= n;
+}
+
 static void
 post_obsolete(POST_ARGS)
 {
@@ -671,6 +855,10 @@ post_obsolete(POST_ARGS)
                    n->line, n->pos, mdoc_macronames[n->tok]);
 }
 
+/*
+ * Block macros.
+ */
+
 static void
 post_bf(POST_ARGS)
 {
@@ -736,39 +924,6 @@ post_bf(POST_ARGS)
                    "Bf %s", np->child->string);
 }
 
-static void
-post_lb(POST_ARGS)
-{
-       struct roff_node        *n;
-       const char              *stdlibname;
-       char                    *libname;
-
-       n = mdoc->last->child;
-       assert(n->type == ROFFT_TEXT);
-
-       if (NULL == (stdlibname = mdoc_a2lib(n->string)))
-               mandoc_asprintf(&libname,
-                   "library \\(Lq%s\\(Rq", n->string);
-       else
-               libname = mandoc_strdup(stdlibname);
-
-       free(n->string);
-       n->string = libname;
-}
-
-static void
-post_eoln(POST_ARGS)
-{
-       const struct roff_node *n;
-
-       n = mdoc->last;
-       if (n->child != NULL)
-               mandoc_vmsg(MANDOCERR_ARG_SKIP,
-                   mdoc->parse, n->line, n->pos,
-                   "%s %s", mdoc_macronames[n->tok],
-                   n->child->string);
-}
-
 static void
 post_fname(POST_ARGS)
 {
@@ -851,12 +1006,11 @@ post_nm(POST_ARGS)
             n->last->tok == MDOC_Lp))
                mdoc_node_relink(mdoc, n->last);
 
-       if (mdoc->meta.name != NULL)
-               return;
-
-       deroff(&mdoc->meta.name, n);
-
        if (mdoc->meta.name == NULL)
+               deroff(&mdoc->meta.name, n);
+
+       if (mdoc->meta.name == NULL ||
+           (mdoc->lastsec == SEC_NAME && n->child == NULL))
                mandoc_msg(MANDOCERR_NM_NONAME, mdoc->parse,
                    n->line, n->pos, "Nm");
 }
@@ -945,12 +1099,15 @@ post_defaults(POST_ARGS)
        case MDOC_Ar:
                mdoc->next = ROFF_NEXT_CHILD;
                roff_word_alloc(mdoc, nn->line, nn->pos, "file");
+               mdoc->last->flags |= NODE_NOSRC;
                roff_word_alloc(mdoc, nn->line, nn->pos, "...");
+               mdoc->last->flags |= NODE_NOSRC;
                break;
        case MDOC_Pa:
        case MDOC_Mt:
                mdoc->next = ROFF_NEXT_CHILD;
                roff_word_alloc(mdoc, nn->line, nn->pos, "~");
+               mdoc->last->flags |= NODE_NOSRC;
                break;
        default:
                abort();
@@ -961,17 +1118,11 @@ post_defaults(POST_ARGS)
 static void
 post_at(POST_ARGS)
 {
-       struct roff_node        *n;
-       const char              *std_att;
-       char                    *att;
+       struct roff_node        *n, *nch;
+       const char              *att;
 
        n = mdoc->last;
-       if (n->child == NULL) {
-               mdoc->next = ROFF_NEXT_CHILD;
-               roff_word_alloc(mdoc, n->line, n->pos, "AT&T UNIX");
-               mdoc->last = n;
-               return;
-       }
+       nch = n->child;
 
        /*
         * If we have a child, look it up in the standard keys.  If a
@@ -979,17 +1130,19 @@ post_at(POST_ARGS)
         * prefix "AT&T UNIX " to the existing data.
         */
 
-       n = n->child;
-       assert(n->type == ROFFT_TEXT);
-       if ((std_att = mdoc_a2att(n->string)) == NULL) {
+       att = NULL;
+       if (nch != NULL && ((att = mdoc_a2att(nch->string)) == NULL))
                mandoc_vmsg(MANDOCERR_AT_BAD, mdoc->parse,
-                   n->line, n->pos, "At %s", n->string);
-               mandoc_asprintf(&att, "AT&T UNIX %s", n->string);
-       } else
-               att = mandoc_strdup(std_att);
+                   nch->line, nch->pos, "At %s", nch->string);
 
-       free(n->string);
-       n->string = att;
+       mdoc->next = ROFF_NEXT_CHILD;
+       if (att != NULL) {
+               roff_word_alloc(mdoc, nch->line, nch->pos, att);
+               nch->flags |= NODE_NOPRT;
+       } else
+               roff_word_alloc(mdoc, n->line, n->pos, "AT&T UNIX");
+       mdoc->last->flags |= NODE_NOSRC;
+       mdoc->last = n;
 }
 
 static void
@@ -1027,6 +1180,41 @@ post_es(POST_ARGS)
        mdoc->last_es = mdoc->last;
 }
 
+static void
+post_xx(POST_ARGS)
+{
+       struct roff_node        *n;
+       const char              *os;
+
+       n = mdoc->last;
+       switch (n->tok) {
+       case MDOC_Bsx:
+               os = "BSD/OS";
+               break;
+       case MDOC_Dx:
+               os = "DragonFly";
+               break;
+       case MDOC_Fx:
+               os = "FreeBSD";
+               break;
+       case MDOC_Nx:
+               os = "NetBSD";
+               break;
+       case MDOC_Ox:
+               os = "OpenBSD";
+               break;
+       case MDOC_Ux:
+               os = "UNIX";
+               break;
+       default:
+               abort();
+       }
+       mdoc->next = ROFF_NEXT_CHILD;
+       roff_word_alloc(mdoc, n->line, n->pos, os);
+       mdoc->last->flags |= NODE_NOSRC;
+       mdoc->last = n;
+}
+
 static void
 post_it(POST_ARGS)
 {
@@ -1099,22 +1287,7 @@ post_bl_block(POST_ARGS)
 
        post_prevpar(mdoc);
 
-       /*
-        * These are fairly complicated, so we've broken them into two
-        * functions.  post_bl_block_tag() is called when a -tag is
-        * specified, but no -width (it must be guessed).  The second
-        * when a -width is specified (macro indicators must be
-        * rewritten into real lengths).
-        */
-
        n = mdoc->last;
-
-       if (n->norm->Bl.type == LIST_tag &&
-           n->norm->Bl.width == NULL) {
-               post_bl_block_tag(mdoc);
-               assert(n->norm->Bl.width != NULL);
-       }
-
        for (ni = n->body->child; ni != NULL; ni = ni->next) {
                if (ni->body == NULL)
                        continue;
@@ -1171,71 +1344,6 @@ rewrite_macro2len(char **arg)
        mandoc_asprintf(arg, "%zun", width);
 }
 
-static void
-post_bl_block_tag(POST_ARGS)
-{
-       struct roff_node *n, *nn;
-       size_t            sz, ssz;
-       int               i;
-       char              buf[24];
-
-       /*
-        * Calculate the -width for a `Bl -tag' list if it hasn't been
-        * provided.  Uses the first head macro.  NOTE AGAIN: this is
-        * ONLY if the -width argument has NOT been provided.  See
-        * rewrite_macro2len() for converting the -width string.
-        */
-
-       sz = 10;
-       n = mdoc->last;
-
-       for (nn = n->body->child; nn != NULL; nn = nn->next) {
-               if (nn->tok != MDOC_It)
-                       continue;
-
-               assert(nn->type == ROFFT_BLOCK);
-               nn = nn->head->child;
-
-               if (nn == NULL)
-                       break;
-
-               if (nn->type == ROFFT_TEXT) {
-                       sz = strlen(nn->string) + 1;
-                       break;
-               }
-
-               if (0 != (ssz = macro2len(nn->tok)))
-                       sz = ssz;
-
-               break;
-       }
-
-       /* Defaults to ten ens. */
-
-       (void)snprintf(buf, sizeof(buf), "%un", (unsigned int)sz);
-
-       /*
-        * We have to dynamically add this to the macro's argument list.
-        * We're guaranteed that a MDOC_Width doesn't already exist.
-        */
-
-       assert(n->args != NULL);
-       i = (int)(n->args->argc)++;
-
-       n->args->argv = mandoc_reallocarray(n->args->argv,
-           n->args->argc, sizeof(struct mdoc_argv));
-
-       n->args->argv[i].arg = MDOC_Width;
-       n->args->argv[i].line = n->line;
-       n->args->argv[i].pos = n->pos;
-       n->args->argv[i].sz = 1;
-       n->args->argv[i].value = mandoc_malloc(sizeof(char *));
-       n->args->argv[i].value[0] = mandoc_strdup(buf);
-
-       /* Set our width! */
-       n->norm->Bl.width = n->args->argv[i].value[0];
-}
-
 static void
 post_bl_head(POST_ARGS)
 {
@@ -1493,27 +1601,6 @@ post_root(POST_ARGS)
                    n->line, n->pos, mdoc_macronames[n->tok]);
 }
 
-static void
-post_st(POST_ARGS)
-{
-       struct roff_node         *n, *nch;
-       const char               *p;
-
-       n = mdoc->last;
-       nch = n->child;
-
-       assert(nch->type == ROFFT_TEXT);
-
-       if ((p = mdoc_a2st(nch->string)) == NULL) {
-               mandoc_vmsg(MANDOCERR_ST_BAD, mdoc->parse,
-                   nch->line, nch->pos, "St %s", nch->string);
-               roff_node_delete(mdoc, n);
-       } else {
-               free(nch->string);
-               nch->string = mandoc_strdup(p);
-       }
-}
-
 static void
 post_rs(POST_ARGS)
 {
@@ -1632,7 +1719,7 @@ static void
 post_ns(POST_ARGS)
 {
 
-       if (mdoc->last->flags & MDOC_LINE)
+       if (mdoc->last->flags & NODE_LINE)
                mandoc_msg(MANDOCERR_NS_SKIP, mdoc->parse,
                    mdoc->last->line, mdoc->last->pos, NULL);
 }
@@ -1678,8 +1765,12 @@ post_sh_name(POST_ARGS)
        for (n = mdoc->last->child; n != NULL; n = n->next) {
                switch (n->tok) {
                case MDOC_Nm:
+                       if (hasnm && n->child != NULL)
+                               mandoc_vmsg(MANDOCERR_NAMESEC_PUNCT,
+                                   mdoc->parse, n->line, n->pos,
+                                   "Nm %s", n->child->string);
                        hasnm = 1;
-                       break;
+                       continue;
                case MDOC_Nd:
                        hasnd = 1;
                        if (n->next != NULL)
@@ -1687,14 +1778,19 @@ post_sh_name(POST_ARGS)
                                    mdoc->parse, n->line, n->pos, NULL);
                        break;
                case TOKEN_NONE:
-                       if (hasnm)
-                               break;
+                       if (n->type == ROFFT_TEXT &&
+                           n->string[0] == ',' && n->string[1] == '\0' &&
+                           n->next != NULL && n->next->tok == MDOC_Nm) {
+                               n = n->next;
+                               continue;
+                       }
                        /* FALLTHROUGH */
                default:
                        mandoc_msg(MANDOCERR_NAMESEC_BAD, mdoc->parse,
                            n->line, n->pos, mdoc_macronames[n->tok]);
-                       break;
+                       continue;
                }
+               break;
        }
 
        if ( ! hasnm)
@@ -1887,6 +1983,21 @@ post_sh_head(POST_ARGS)
        }
 }
 
+static void
+post_xr(POST_ARGS)
+{
+       struct roff_node *n, *nch;
+
+       n = mdoc->last;
+       nch = n->child;
+       if (nch->next == NULL) {
+               mandoc_vmsg(MANDOCERR_XR_NOSEC, mdoc->parse,
+                   n->line, n->pos, "Xr %s", nch->string);
+               return;
+       }
+       assert(nch->next == n->last);
+}
+
 static void
 post_ignpar(POST_ARGS)
 {
@@ -1997,6 +2108,8 @@ post_dd(POST_ARGS)
        char             *datestr;
 
        n = mdoc->last;
+       n->flags |= NODE_NOPRT;
+
        if (mdoc->meta.date != NULL) {
                mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,
                    n->line, n->pos, "Dd");
@@ -2014,7 +2127,7 @@ post_dd(POST_ARGS)
        if (n->child == NULL || n->child->string[0] == '\0') {
                mdoc->meta.date = mdoc->quick ? mandoc_strdup("") :
                    mandoc_normdate(mdoc->parse, NULL, n->line, n->pos);
-               goto out;
+               return;
        }
 
        datestr = NULL;
@@ -2026,8 +2139,6 @@ post_dd(POST_ARGS)
                    datestr, n->line, n->pos);
                free(datestr);
        }
-out:
-       roff_node_delete(mdoc, n);
 }
 
 static void
@@ -2038,10 +2149,12 @@ post_dt(POST_ARGS)
        char             *p;
 
        n = mdoc->last;
+       n->flags |= NODE_NOPRT;
+
        if (mdoc->flags & MDOC_PBODY) {
                mandoc_msg(MANDOCERR_DT_LATE, mdoc->parse,
                    n->line, n->pos, "Dt");
-               goto out;
+               return;
        }
 
        if (mdoc->meta.title != NULL)
@@ -2083,7 +2196,7 @@ post_dt(POST_ARGS)
                        }
        }
 
-       /* Mandatory second argument: section. */
+       /* Mandatory second argument: section. */
 
        if (nn != NULL)
                nn = nn->next;
@@ -2093,7 +2206,7 @@ post_dt(POST_ARGS)
                    mdoc->parse, n->line, n->pos,
                    "Dt %s", mdoc->meta.title);
                mdoc->meta.vol = mandoc_strdup("LOCAL");
-               goto out;  /* msec and arch remain NULL. */
+               return;  /* msec and arch remain NULL. */
        }
 
        mdoc->meta.msec = mandoc_strdup(nn->string);
@@ -2111,7 +2224,7 @@ post_dt(POST_ARGS)
        /* Optional third argument: architecture. */
 
        if ((nn = nn->next) == NULL)
-               goto out;
+               return;
 
        for (p = nn->string; *p != '\0'; p++)
                *p = tolower((unsigned char)*p);
@@ -2122,15 +2235,41 @@ post_dt(POST_ARGS)
        if ((nn = nn->next) != NULL)
                mandoc_vmsg(MANDOCERR_ARG_EXCESS, mdoc->parse,
                    nn->line, nn->pos, "Dt ... %s", nn->string);
-
-out:
-       roff_node_delete(mdoc, n);
 }
 
 static void
 post_bx(POST_ARGS)
 {
-       struct roff_node        *n;
+       struct roff_node        *n, *nch;
+
+       n = mdoc->last;
+       nch = n->child;
+
+       if (nch != NULL) {
+               mdoc->last = nch;
+               nch = nch->next;
+               mdoc->next = ROFF_NEXT_SIBLING;
+               roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
+               mdoc->last->flags |= NODE_NOSRC;
+               mdoc->next = ROFF_NEXT_SIBLING;
+       } else
+               mdoc->next = ROFF_NEXT_CHILD;
+       roff_word_alloc(mdoc, n->line, n->pos, "BSD");
+       mdoc->last->flags |= NODE_NOSRC;
+
+       if (nch == NULL) {
+               mdoc->last = n;
+               return;
+       }
+
+       roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
+       mdoc->last->flags |= NODE_NOSRC;
+       mdoc->next = ROFF_NEXT_SIBLING;
+       roff_word_alloc(mdoc, n->line, n->pos, "-");
+       mdoc->last->flags |= NODE_NOSRC;
+       roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
+       mdoc->last->flags |= NODE_NOSRC;
+       mdoc->last = n;
 
        /*
         * Make `Bx's second argument always start with an uppercase
@@ -2138,8 +2277,7 @@ post_bx(POST_ARGS)
         * uppercase blindly.
         */
 
-       if ((n = mdoc->last->child) != NULL && (n = n->next) != NULL)
-               *n->string = (char)toupper((unsigned char)*n->string);
+       *nch->string = (char)toupper((unsigned char)*nch->string);
 }
 
 static void
@@ -2152,6 +2290,8 @@ post_os(POST_ARGS)
        struct roff_node *n;
 
        n = mdoc->last;
+       n->flags |= NODE_NOPRT;
+
        if (mdoc->meta.os != NULL)
                mandoc_msg(MANDOCERR_PROLOG_REP, mdoc->parse,
                    n->line, n->pos, "Os");
@@ -2172,11 +2312,11 @@ post_os(POST_ARGS)
        mdoc->meta.os = NULL;
        deroff(&mdoc->meta.os, n);
        if (mdoc->meta.os)
-               goto out;
+               return;
 
        if (mdoc->defos) {
                mdoc->meta.os = mandoc_strdup(mdoc->defos);
-               goto out;
+               return;
        }
 
 #ifdef OSNAME
@@ -2193,35 +2333,6 @@ post_os(POST_ARGS)
        }
        mdoc->meta.os = mandoc_strdup(defbuf);
 #endif /*!OSNAME*/
-
-out:
-       roff_node_delete(mdoc, n);
-}
-
-/*
- * If no argument is provided,
- * fill in the name of the current manual page.
- */
-static void
-post_ex(POST_ARGS)
-{
-       struct roff_node *n;
-
-       post_std(mdoc);
-
-       n = mdoc->last;
-       if (n->child != NULL)
-               return;
-
-       if (mdoc->meta.name == NULL) {
-               mandoc_msg(MANDOCERR_EX_NONAME, mdoc->parse,
-                   n->line, n->pos, "Ex");
-               return;
-       }
-
-       mdoc->next = ROFF_NEXT_CHILD;
-       roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
-       mdoc->last = n;
 }
 
 enum roff_sec