1 /* $Id: mdoc_validate.c,v 1.389 2021/07/18 11:41:23 schwarze Exp $ */
2 /*
3 * Copyright (c) 2010-2020 Ingo Schwarze <schwarze@openbsd.org>
4 * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv>
5 * Copyright (c) 2010 Joerg Sonnenberger <joerg@netbsd.org>
6 *
7 * Permission to use, copy, modify, and distribute this software for any
8 * purpose with or without fee is hereby granted, provided that the above
9 * copyright notice and this permission notice appear in all copies.
10 *
11 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
12 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
13 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
14 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
15 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
16 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
17 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
18 *
19 * Validation module for mdoc(7) syntax trees used by mandoc(1).
20 */
21 #include "config.h"
22
23 #include <sys/types.h>
24 #ifndef OSNAME
25 #include <sys/utsname.h>
26 #endif
27
28 #include <assert.h>
29 #include <ctype.h>
30 #include <limits.h>
31 #include <stdio.h>
32 #include <stdlib.h>
33 #include <string.h>
34 #include <time.h>
35
36 #include "mandoc_aux.h"
37 #include "mandoc.h"
38 #include "mandoc_xr.h"
39 #include "roff.h"
40 #include "mdoc.h"
41 #include "libmandoc.h"
42 #include "roff_int.h"
43 #include "libmdoc.h"
44 #include "tag.h"
45
46 /* FIXME: .Bl -diag can't have non-text children in HEAD. */
47
48 #define POST_ARGS struct roff_man *mdoc
49
50 enum check_ineq {
51 CHECK_LT,
52 CHECK_GT,
53 CHECK_EQ
54 };
55
56 typedef void (*v_post)(POST_ARGS);
57
58 static int build_list(struct roff_man *, int);
59 static void check_argv(struct roff_man *,
60 struct roff_node *, struct mdoc_argv *);
61 static void check_args(struct roff_man *, struct roff_node *);
62 static void check_text(struct roff_man *, int, int, char *);
63 static void check_text_em(struct roff_man *, int, int, char *);
64 static void check_toptext(struct roff_man *, int, int, const char *);
65 static int child_an(const struct roff_node *);
66 static size_t macro2len(enum roff_tok);
67 static void rewrite_macro2len(struct roff_man *, char **);
68 static int similar(const char *, const char *);
69
70 static void post_abort(POST_ARGS) __attribute__((__noreturn__));
71 static void post_an(POST_ARGS);
72 static void post_an_norm(POST_ARGS);
73 static void post_at(POST_ARGS);
74 static void post_bd(POST_ARGS);
75 static void post_bf(POST_ARGS);
76 static void post_bk(POST_ARGS);
77 static void post_bl(POST_ARGS);
78 static void post_bl_block(POST_ARGS);
79 static void post_bl_head(POST_ARGS);
80 static void post_bl_norm(POST_ARGS);
81 static void post_bx(POST_ARGS);
82 static void post_defaults(POST_ARGS);
83 static void post_display(POST_ARGS);
84 static void post_dd(POST_ARGS);
85 static void post_delim(POST_ARGS);
86 static void post_delim_nb(POST_ARGS);
87 static void post_dt(POST_ARGS);
88 static void post_em(POST_ARGS);
89 static void post_en(POST_ARGS);
90 static void post_er(POST_ARGS);
91 static void post_es(POST_ARGS);
92 static void post_eoln(POST_ARGS);
93 static void post_ex(POST_ARGS);
94 static void post_fa(POST_ARGS);
95 static void post_fl(POST_ARGS);
96 static void post_fn(POST_ARGS);
97 static void post_fname(POST_ARGS);
98 static void post_fo(POST_ARGS);
99 static void post_hyph(POST_ARGS);
100 static void post_it(POST_ARGS);
101 static void post_lb(POST_ARGS);
102 static void post_nd(POST_ARGS);
103 static void post_nm(POST_ARGS);
104 static void post_ns(POST_ARGS);
105 static void post_obsolete(POST_ARGS);
106 static void post_os(POST_ARGS);
107 static void post_par(POST_ARGS);
108 static void post_prevpar(POST_ARGS);
109 static void post_root(POST_ARGS);
110 static void post_rs(POST_ARGS);
111 static void post_rv(POST_ARGS);
112 static void post_section(POST_ARGS);
113 static void post_sh(POST_ARGS);
114 static void post_sh_head(POST_ARGS);
115 static void post_sh_name(POST_ARGS);
116 static void post_sh_see_also(POST_ARGS);
117 static void post_sh_authors(POST_ARGS);
118 static void post_sm(POST_ARGS);
119 static void post_st(POST_ARGS);
120 static void post_std(POST_ARGS);
121 static void post_sx(POST_ARGS);
122 static void post_tag(POST_ARGS);
123 static void post_tg(POST_ARGS);
124 static void post_useless(POST_ARGS);
125 static void post_xr(POST_ARGS);
126 static void post_xx(POST_ARGS);
127
128 static const v_post mdoc_valids[MDOC_MAX - MDOC_Dd] = {
129 post_dd, /* Dd */
130 post_dt, /* Dt */
131 post_os, /* Os */
132 post_sh, /* Sh */
133 post_section, /* Ss */
134 post_par, /* Pp */
135 post_display, /* D1 */
136 post_display, /* Dl */
137 post_display, /* Bd */
138 NULL, /* Ed */
139 post_bl, /* Bl */
140 NULL, /* El */
141 post_it, /* It */
142 post_delim_nb, /* Ad */
143 post_an, /* An */
144 NULL, /* Ap */
145 post_defaults, /* Ar */
146 NULL, /* Cd */
147 post_tag, /* Cm */
148 post_tag, /* Dv */
149 post_er, /* Er */
150 post_tag, /* Ev */
151 post_ex, /* Ex */
152 post_fa, /* Fa */
153 NULL, /* Fd */
154 post_fl, /* Fl */
155 post_fn, /* Fn */
156 post_delim_nb, /* Ft */
157 post_tag, /* Ic */
158 post_delim_nb, /* In */
159 post_tag, /* Li */
160 post_nd, /* Nd */
161 post_nm, /* Nm */
162 post_delim_nb, /* Op */
163 post_abort, /* Ot */
164 post_defaults, /* Pa */
165 post_rv, /* Rv */
166 post_st, /* St */
167 post_tag, /* Va */
168 post_delim_nb, /* Vt */
169 post_xr, /* Xr */
170 NULL, /* %A */
171 post_hyph, /* %B */ /* FIXME: can be used outside Rs/Re. */
172 NULL, /* %D */
173 NULL, /* %I */
174 NULL, /* %J */
175 post_hyph, /* %N */
176 post_hyph, /* %O */
177 NULL, /* %P */
178 post_hyph, /* %R */
179 post_hyph, /* %T */ /* FIXME: can be used outside Rs/Re. */
180 NULL, /* %V */
181 NULL, /* Ac */
182 NULL, /* Ao */
183 post_delim_nb, /* Aq */
184 post_at, /* At */
185 NULL, /* Bc */
186 post_bf, /* Bf */
187 NULL, /* Bo */
188 NULL, /* Bq */
189 post_xx, /* Bsx */
190 post_bx, /* Bx */
191 post_obsolete, /* Db */
192 NULL, /* Dc */
193 NULL, /* Do */
194 NULL, /* Dq */
195 NULL, /* Ec */
196 NULL, /* Ef */
197 post_em, /* Em */
198 NULL, /* Eo */
199 post_xx, /* Fx */
200 post_tag, /* Ms */
201 post_tag, /* No */
202 post_ns, /* Ns */
203 post_xx, /* Nx */
204 post_xx, /* Ox */
205 NULL, /* Pc */
206 NULL, /* Pf */
207 NULL, /* Po */
208 post_delim_nb, /* Pq */
209 NULL, /* Qc */
210 post_delim_nb, /* Ql */
211 NULL, /* Qo */
212 post_delim_nb, /* Qq */
213 NULL, /* Re */
214 post_rs, /* Rs */
215 NULL, /* Sc */
216 NULL, /* So */
217 post_delim_nb, /* Sq */
218 post_sm, /* Sm */
219 post_sx, /* Sx */
220 post_em, /* Sy */
221 post_useless, /* Tn */
222 post_xx, /* Ux */
223 NULL, /* Xc */
224 NULL, /* Xo */
225 post_fo, /* Fo */
226 NULL, /* Fc */
227 NULL, /* Oo */
228 NULL, /* Oc */
229 post_bk, /* Bk */
230 NULL, /* Ek */
231 post_eoln, /* Bt */
232 post_obsolete, /* Hf */
233 post_obsolete, /* Fr */
234 post_eoln, /* Ud */
235 post_lb, /* Lb */
236 post_abort, /* Lp */
237 post_delim_nb, /* Lk */
238 post_defaults, /* Mt */
239 post_delim_nb, /* Brq */
240 NULL, /* Bro */
241 NULL, /* Brc */
242 NULL, /* %C */
243 post_es, /* Es */
244 post_en, /* En */
245 post_xx, /* Dx */
246 NULL, /* %Q */
247 NULL, /* %U */
248 NULL, /* Ta */
249 post_tg, /* Tg */
250 };
251
252 #define RSORD_MAX 14 /* Number of `Rs' blocks. */
253
254 static const enum roff_tok rsord[RSORD_MAX] = {
255 MDOC__A,
256 MDOC__T,
257 MDOC__B,
258 MDOC__I,
259 MDOC__J,
260 MDOC__R,
261 MDOC__N,
262 MDOC__V,
263 MDOC__U,
264 MDOC__P,
265 MDOC__Q,
266 MDOC__C,
267 MDOC__D,
268 MDOC__O
269 };
270
271 static const char * const secnames[SEC__MAX] = {
272 NULL,
273 "NAME",
274 "LIBRARY",
275 "SYNOPSIS",
276 "DESCRIPTION",
277 "CONTEXT",
278 "IMPLEMENTATION NOTES",
279 "RETURN VALUES",
280 "ENVIRONMENT",
281 "FILES",
282 "EXIT STATUS",
283 "EXAMPLES",
284 "DIAGNOSTICS",
285 "COMPATIBILITY",
286 "ERRORS",
287 "SEE ALSO",
288 "STANDARDS",
289 "HISTORY",
290 "AUTHORS",
291 "CAVEATS",
292 "BUGS",
293 "SECURITY CONSIDERATIONS",
294 NULL
295 };
296
297 static int fn_prio = TAG_STRONG;
298
299
300 /* Validate the subtree rooted at mdoc->last. */
301 void
mdoc_validate(struct roff_man * mdoc)302 mdoc_validate(struct roff_man *mdoc)
303 {
304 struct roff_node *n, *np;
305 const v_post *p;
306
307 /*
308 * Translate obsolete macros to modern macros first
309 * such that later code does not need to look
310 * for the obsolete versions.
311 */
312
313 n = mdoc->last;
314 switch (n->tok) {
315 case MDOC_Lp:
316 n->tok = MDOC_Pp;
317 break;
318 case MDOC_Ot:
319 post_obsolete(mdoc);
320 n->tok = MDOC_Ft;
321 break;
322 default:
323 break;
324 }
325
326 /*
327 * Iterate over all children, recursing into each one
328 * in turn, depth-first.
329 */
330
331 mdoc->last = mdoc->last->child;
332 while (mdoc->last != NULL) {
333 mdoc_validate(mdoc);
334 if (mdoc->last == n)
335 mdoc->last = mdoc->last->child;
336 else
337 mdoc->last = mdoc->last->next;
338 }
339
340 /* Finally validate the macro itself. */
341
342 mdoc->last = n;
343 mdoc->next = ROFF_NEXT_SIBLING;
344 switch (n->type) {
345 case ROFFT_TEXT:
346 np = n->parent;
347 if (n->sec != SEC_SYNOPSIS ||
348 (np->tok != MDOC_Cd && np->tok != MDOC_Fd))
349 check_text(mdoc, n->line, n->pos, n->string);
350 if ((n->flags & NODE_NOFILL) == 0 &&
351 (np->tok != MDOC_It || np->type != ROFFT_HEAD ||
352 np->parent->parent->norm->Bl.type != LIST_diag))
353 check_text_em(mdoc, n->line, n->pos, n->string);
354 if (np->tok == MDOC_It || (np->type == ROFFT_BODY &&
355 (np->tok == MDOC_Sh || np->tok == MDOC_Ss)))
356 check_toptext(mdoc, n->line, n->pos, n->string);
357 break;
358 case ROFFT_COMMENT:
359 case ROFFT_EQN:
360 case ROFFT_TBL:
361 break;
362 case ROFFT_ROOT:
363 post_root(mdoc);
364 break;
365 default:
366 check_args(mdoc, mdoc->last);
367
368 /*
369 * Closing delimiters are not special at the
370 * beginning of a block, opening delimiters
371 * are not special at the end.
372 */
373
374 if (n->child != NULL)
375 n->child->flags &= ~NODE_DELIMC;
376 if (n->last != NULL)
377 n->last->flags &= ~NODE_DELIMO;
378
379 /* Call the macro's postprocessor. */
380
381 if (n->tok < ROFF_MAX) {
382 roff_validate(mdoc);
383 break;
384 }
385
386 assert(n->tok >= MDOC_Dd && n->tok < MDOC_MAX);
387 p = mdoc_valids + (n->tok - MDOC_Dd);
388 if (*p)
389 (*p)(mdoc);
390 if (mdoc->last == n)
391 mdoc_state(mdoc, n);
392 break;
393 }
394 }
395
396 static void
check_args(struct roff_man * mdoc,struct roff_node * n)397 check_args(struct roff_man *mdoc, struct roff_node *n)
398 {
399 int i;
400
401 if (NULL == n->args)
402 return;
403
404 assert(n->args->argc);
405 for (i = 0; i < (int)n->args->argc; i++)
406 check_argv(mdoc, n, &n->args->argv[i]);
407 }
408
409 static void
check_argv(struct roff_man * mdoc,struct roff_node * n,struct mdoc_argv * v)410 check_argv(struct roff_man *mdoc, struct roff_node *n, struct mdoc_argv *v)
411 {
412 int i;
413
414 for (i = 0; i < (int)v->sz; i++)
415 check_text(mdoc, v->line, v->pos, v->value[i]);
416 }
417
418 static void
check_text(struct roff_man * mdoc,int ln,int pos,char * p)419 check_text(struct roff_man *mdoc, int ln, int pos, char *p)
420 {
421 char *cp;
422
423 if (mdoc->last->flags & NODE_NOFILL)
424 return;
425
426 for (cp = p; NULL != (p = strchr(p, '\t')); p++)
427 mandoc_msg(MANDOCERR_FI_TAB, ln, pos + (int)(p - cp), NULL);
428 }
429
430 static void
check_text_em(struct roff_man * mdoc,int ln,int pos,char * p)431 check_text_em(struct roff_man *mdoc, int ln, int pos, char *p)
432 {
433 const struct roff_node *np, *nn;
434 char *cp;
435
436 np = mdoc->last->prev;
437 nn = mdoc->last->next;
438
439 /* Look for em-dashes wrongly encoded as "--". */
440
441 for (cp = p; *cp != '\0'; cp++) {
442 if (cp[0] != '-' || cp[1] != '-')
443 continue;
444 cp++;
445
446 /* Skip input sequences of more than two '-'. */
447
448 if (cp[1] == '-') {
449 while (cp[1] == '-')
450 cp++;
451 continue;
452 }
453
454 /* Skip "--" directly attached to something else. */
455
456 if ((cp - p > 1 && cp[-2] != ' ') ||
457 (cp[1] != '\0' && cp[1] != ' '))
458 continue;
459
460 /* Require a letter right before or right afterwards. */
461
462 if ((cp - p > 2 ?
463 isalpha((unsigned char)cp[-3]) :
464 np != NULL &&
465 np->type == ROFFT_TEXT &&
466 *np->string != '\0' &&
467 isalpha((unsigned char)np->string[
468 strlen(np->string) - 1])) ||
469 (cp[1] != '\0' && cp[2] != '\0' ?
470 isalpha((unsigned char)cp[2]) :
471 nn != NULL &&
472 nn->type == ROFFT_TEXT &&
473 isalpha((unsigned char)*nn->string))) {
474 mandoc_msg(MANDOCERR_DASHDASH,
475 ln, pos + (int)(cp - p) - 1, NULL);
476 break;
477 }
478 }
479 }
480
481 static void
check_toptext(struct roff_man * mdoc,int ln,int pos,const char * p)482 check_toptext(struct roff_man *mdoc, int ln, int pos, const char *p)
483 {
484 const char *cp, *cpr;
485
486 if (*p == '\0')
487 return;
488
489 if ((cp = strstr(p, "OpenBSD")) != NULL)
490 mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Ox");
491 if ((cp = strstr(p, "NetBSD")) != NULL)
492 mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Nx");
493 if ((cp = strstr(p, "FreeBSD")) != NULL)
494 mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Fx");
495 if ((cp = strstr(p, "DragonFly")) != NULL)
496 mandoc_msg(MANDOCERR_BX, ln, pos + (int)(cp - p), "Dx");
497
498 cp = p;
499 while ((cp = strstr(cp + 1, "()")) != NULL) {
500 for (cpr = cp - 1; cpr >= p; cpr--)
501 if (*cpr != '_' && !isalnum((unsigned char)*cpr))
502 break;
503 if ((cpr < p || *cpr == ' ') && cpr + 1 < cp) {
504 cpr++;
505 mandoc_msg(MANDOCERR_FUNC, ln, pos + (int)(cpr - p),
506 "%.*s()", (int)(cp - cpr), cpr);
507 }
508 }
509 }
510
511 static void
post_abort(POST_ARGS)512 post_abort(POST_ARGS)
513 {
514 abort();
515 }
516
517 static void
post_delim(POST_ARGS)518 post_delim(POST_ARGS)
519 {
520 const struct roff_node *nch;
521 const char *lc;
522 enum mdelim delim;
523 enum roff_tok tok;
524
525 tok = mdoc->last->tok;
526 nch = mdoc->last->last;
527 if (nch == NULL || nch->type != ROFFT_TEXT)
528 return;
529 lc = strchr(nch->string, '\0') - 1;
530 if (lc < nch->string)
531 return;
532 delim = mdoc_isdelim(lc);
533 if (delim == DELIM_NONE || delim == DELIM_OPEN)
534 return;
535 if (*lc == ')' && (tok == MDOC_Nd || tok == MDOC_Sh ||
536 tok == MDOC_Ss || tok == MDOC_Fo))
537 return;
538
539 mandoc_msg(MANDOCERR_DELIM, nch->line,
540 nch->pos + (int)(lc - nch->string), "%s%s %s", roff_name[tok],
541 nch == mdoc->last->child ? "" : " ...", nch->string);
542 }
543
544 static void
post_delim_nb(POST_ARGS)545 post_delim_nb(POST_ARGS)
546 {
547 const struct roff_node *nch;
548 const char *lc, *cp;
549 int nw;
550 enum mdelim delim;
551 enum roff_tok tok;
552
553 /*
554 * Find candidates: at least two bytes,
555 * the last one a closing or middle delimiter.
556 */
557
558 tok = mdoc->last->tok;
559 nch = mdoc->last->last;
560 if (nch == NULL || nch->type != ROFFT_TEXT)
561 return;
562 lc = strchr(nch->string, '\0') - 1;
563 if (lc <= nch->string)
564 return;
565 delim = mdoc_isdelim(lc);
566 if (delim == DELIM_NONE || delim == DELIM_OPEN)
567 return;
568
569 /*
570 * Reduce false positives by allowing various cases.
571 */
572
573 /* Escaped delimiters. */
574 if (lc > nch->string + 1 && lc[-2] == '\\' &&
575 (lc[-1] == '&' || lc[-1] == 'e'))
576 return;
577
578 /* Specific byte sequences. */
579 switch (*lc) {
580 case ')':
581 for (cp = lc; cp >= nch->string; cp--)
582 if (*cp == '(')
583 return;
584 break;
585 case '.':
586 if (lc > nch->string + 1 && lc[-2] == '.' && lc[-1] == '.')
587 return;
588 if (lc[-1] == '.')
589 return;
590 break;
591 case ';':
592 if (tok == MDOC_Vt)
593 return;
594 break;
595 case '?':
596 if (lc[-1] == '?')
597 return;
598 break;
599 case ']':
600 for (cp = lc; cp >= nch->string; cp--)
601 if (*cp == '[')
602 return;
603 break;
604 case '|':
605 if (lc == nch->string + 1 && lc[-1] == '|')
606 return;
607 default:
608 break;
609 }
610
611 /* Exactly two non-alphanumeric bytes. */
612 if (lc == nch->string + 1 && !isalnum((unsigned char)lc[-1]))
613 return;
614
615 /* At least three alphabetic words with a sentence ending. */
616 if (strchr("!.:?", *lc) != NULL && (tok == MDOC_Em ||
617 tok == MDOC_Li || tok == MDOC_Pq || tok == MDOC_Sy)) {
618 nw = 0;
619 for (cp = lc - 1; cp >= nch->string; cp--) {
620 if (*cp == ' ') {
621 nw++;
622 if (cp > nch->string && cp[-1] == ',')
623 cp--;
624 } else if (isalpha((unsigned int)*cp)) {
625 if (nw > 1)
626 return;
627 } else
628 break;
629 }
630 }
631
632 mandoc_msg(MANDOCERR_DELIM_NB, nch->line,
633 nch->pos + (int)(lc - nch->string), "%s%s %s", roff_name[tok],
634 nch == mdoc->last->child ? "" : " ...", nch->string);
635 }
636
637 static void
post_bl_norm(POST_ARGS)638 post_bl_norm(POST_ARGS)
639 {
640 struct roff_node *n;
641 struct mdoc_argv *argv, *wa;
642 int i;
643 enum mdocargt mdoclt;
644 enum mdoc_list lt;
645
646 n = mdoc->last->parent;
647 n->norm->Bl.type = LIST__NONE;
648
649 /*
650 * First figure out which kind of list to use: bind ourselves to
651 * the first mentioned list type and warn about any remaining
652 * ones. If we find no list type, we default to LIST_item.
653 */
654
655 wa = (n->args == NULL) ? NULL : n->args->argv;
656 mdoclt = MDOC_ARG_MAX;
657 for (i = 0; n->args && i < (int)n->args->argc; i++) {
658 argv = n->args->argv + i;
659 lt = LIST__NONE;
660 switch (argv->arg) {
661 /* Set list types. */
662 case MDOC_Bullet:
663 lt = LIST_bullet;
664 break;
665 case MDOC_Dash:
666 lt = LIST_dash;
667 break;
668 case MDOC_Enum:
669 lt = LIST_enum;
670 break;
671 case MDOC_Hyphen:
672 lt = LIST_hyphen;
673 break;
674 case MDOC_Item:
675 lt = LIST_item;
676 break;
677 case MDOC_Tag:
678 lt = LIST_tag;
679 break;
680 case MDOC_Diag:
681 lt = LIST_diag;
682 break;
683 case MDOC_Hang:
684 lt = LIST_hang;
685 break;
686 case MDOC_Ohang:
687 lt = LIST_ohang;
688 break;
689 case MDOC_Inset:
690 lt = LIST_inset;
691 break;
692 case MDOC_Column:
693 lt = LIST_column;
694 break;
695 /* Set list arguments. */
696 case MDOC_Compact:
697 if (n->norm->Bl.comp)
698 mandoc_msg(MANDOCERR_ARG_REP,
699 argv->line, argv->pos, "Bl -compact");
700 n->norm->Bl.comp = 1;
701 break;
702 case MDOC_Width:
703 wa = argv;
704 if (0 == argv->sz) {
705 mandoc_msg(MANDOCERR_ARG_EMPTY,
706 argv->line, argv->pos, "Bl -width");
707 n->norm->Bl.width = "0n";
708 break;
709 }
710 if (NULL != n->norm->Bl.width)
711 mandoc_msg(MANDOCERR_ARG_REP,
712 argv->line, argv->pos,
713 "Bl -width %s", argv->value[0]);
714 rewrite_macro2len(mdoc, argv->value);
715 n->norm->Bl.width = argv->value[0];
716 break;
717 case MDOC_Offset:
718 if (0 == argv->sz) {
719 mandoc_msg(MANDOCERR_ARG_EMPTY,
720 argv->line, argv->pos, "Bl -offset");
721 break;
722 }
723 if (NULL != n->norm->Bl.offs)
724 mandoc_msg(MANDOCERR_ARG_REP,
725 argv->line, argv->pos,
726 "Bl -offset %s", argv->value[0]);
727 rewrite_macro2len(mdoc, argv->value);
728 n->norm->Bl.offs = argv->value[0];
729 break;
730 default:
731 continue;
732 }
733 if (LIST__NONE == lt)
734 continue;
735 mdoclt = argv->arg;
736
737 /* Check: multiple list types. */
738
739 if (LIST__NONE != n->norm->Bl.type) {
740 mandoc_msg(MANDOCERR_BL_REP, n->line, n->pos,
741 "Bl -%s", mdoc_argnames[argv->arg]);
742 continue;
743 }
744
745 /* The list type should come first. */
746
747 if (n->norm->Bl.width ||
748 n->norm->Bl.offs ||
749 n->norm->Bl.comp)
750 mandoc_msg(MANDOCERR_BL_LATETYPE,
751 n->line, n->pos, "Bl -%s",
752 mdoc_argnames[n->args->argv[0].arg]);
753
754 n->norm->Bl.type = lt;
755 if (LIST_column == lt) {
756 n->norm->Bl.ncols = argv->sz;
757 n->norm->Bl.cols = (void *)argv->value;
758 }
759 }
760
761 /* Allow lists to default to LIST_item. */
762
763 if (LIST__NONE == n->norm->Bl.type) {
764 mandoc_msg(MANDOCERR_BL_NOTYPE, n->line, n->pos, "Bl");
765 n->norm->Bl.type = LIST_item;
766 mdoclt = MDOC_Item;
767 }
768
769 /*
770 * Validate the width field. Some list types don't need width
771 * types and should be warned about them. Others should have it
772 * and must also be warned. Yet others have a default and need
773 * no warning.
774 */
775
776 switch (n->norm->Bl.type) {
777 case LIST_tag:
778 if (n->norm->Bl.width == NULL)
779 mandoc_msg(MANDOCERR_BL_NOWIDTH,
780 n->line, n->pos, "Bl -tag");
781 break;
782 case LIST_column:
783 case LIST_diag:
784 case LIST_ohang:
785 case LIST_inset:
786 case LIST_item:
787 if (n->norm->Bl.width != NULL)
788 mandoc_msg(MANDOCERR_BL_SKIPW, wa->line, wa->pos,
789 "Bl -%s", mdoc_argnames[mdoclt]);
790 n->norm->Bl.width = NULL;
791 break;
792 case LIST_bullet:
793 case LIST_dash:
794 case LIST_hyphen:
795 if (n->norm->Bl.width == NULL)
796 n->norm->Bl.width = "2n";
797 break;
798 case LIST_enum:
799 if (n->norm->Bl.width == NULL)
800 n->norm->Bl.width = "3n";
801 break;
802 default:
803 break;
804 }
805 }
806
807 static void
post_bd(POST_ARGS)808 post_bd(POST_ARGS)
809 {
810 struct roff_node *n;
811 struct mdoc_argv *argv;
812 int i;
813 enum mdoc_disp dt;
814
815 n = mdoc->last;
816 for (i = 0; n->args && i < (int)n->args->argc; i++) {
817 argv = n->args->argv + i;
818 dt = DISP__NONE;
819
820 switch (argv->arg) {
821 case MDOC_Centred:
822 dt = DISP_centered;
823 break;
824 case MDOC_Ragged:
825 dt = DISP_ragged;
826 break;
827 case MDOC_Unfilled:
828 dt = DISP_unfilled;
829 break;
830 case MDOC_Filled:
831 dt = DISP_filled;
832 break;
833 case MDOC_Literal:
834 dt = DISP_literal;
835 break;
836 case MDOC_File:
837 mandoc_msg(MANDOCERR_BD_FILE, n->line, n->pos, NULL);
838 break;
839 case MDOC_Offset:
840 if (0 == argv->sz) {
841 mandoc_msg(MANDOCERR_ARG_EMPTY,
842 argv->line, argv->pos, "Bd -offset");
843 break;
844 }
845 if (NULL != n->norm->Bd.offs)
846 mandoc_msg(MANDOCERR_ARG_REP,
847 argv->line, argv->pos,
848 "Bd -offset %s", argv->value[0]);
849 rewrite_macro2len(mdoc, argv->value);
850 n->norm->Bd.offs = argv->value[0];
851 break;
852 case MDOC_Compact:
853 if (n->norm->Bd.comp)
854 mandoc_msg(MANDOCERR_ARG_REP,
855 argv->line, argv->pos, "Bd -compact");
856 n->norm->Bd.comp = 1;
857 break;
858 default:
859 abort();
860 }
861 if (DISP__NONE == dt)
862 continue;
863
864 if (DISP__NONE == n->norm->Bd.type)
865 n->norm->Bd.type = dt;
866 else
867 mandoc_msg(MANDOCERR_BD_REP, n->line, n->pos,
868 "Bd -%s", mdoc_argnames[argv->arg]);
869 }
870
871 if (DISP__NONE == n->norm->Bd.type) {
872 mandoc_msg(MANDOCERR_BD_NOTYPE, n->line, n->pos, "Bd");
873 n->norm->Bd.type = DISP_ragged;
874 }
875 }
876
877 /*
878 * Stand-alone line macros.
879 */
880
881 static void
post_an_norm(POST_ARGS)882 post_an_norm(POST_ARGS)
883 {
884 struct roff_node *n;
885 struct mdoc_argv *argv;
886 size_t i;
887
888 n = mdoc->last;
889 if (n->args == NULL)
890 return;
891
892 for (i = 1; i < n->args->argc; i++) {
893 argv = n->args->argv + i;
894 mandoc_msg(MANDOCERR_AN_REP, argv->line, argv->pos,
895 "An -%s", mdoc_argnames[argv->arg]);
896 }
897
898 argv = n->args->argv;
899 if (argv->arg == MDOC_Split)
900 n->norm->An.auth = AUTH_split;
901 else if (argv->arg == MDOC_Nosplit)
902 n->norm->An.auth = AUTH_nosplit;
903 else
904 abort();
905 }
906
907 static void
post_eoln(POST_ARGS)908 post_eoln(POST_ARGS)
909 {
910 struct roff_node *n;
911
912 post_useless(mdoc);
913 n = mdoc->last;
914 if (n->child != NULL)
915 mandoc_msg(MANDOCERR_ARG_SKIP, n->line,
916 n->pos, "%s %s", roff_name[n->tok], n->child->string);
917
918 while (n->child != NULL)
919 roff_node_delete(mdoc, n->child);
920
921 roff_word_alloc(mdoc, n->line, n->pos, n->tok == MDOC_Bt ?
922 "is currently in beta test." : "currently under development.");
923 mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
924 mdoc->last = n;
925 }
926
927 static int
build_list(struct roff_man * mdoc,int tok)928 build_list(struct roff_man *mdoc, int tok)
929 {
930 struct roff_node *n;
931 int ic;
932
933 n = mdoc->last->next;
934 for (ic = 1;; ic++) {
935 roff_elem_alloc(mdoc, n->line, n->pos, tok);
936 mdoc->last->flags |= NODE_NOSRC;
937 roff_node_relink(mdoc, n);
938 n = mdoc->last = mdoc->last->parent;
939 mdoc->next = ROFF_NEXT_SIBLING;
940 if (n->next == NULL)
941 return ic;
942 if (ic > 1 || n->next->next != NULL) {
943 roff_word_alloc(mdoc, n->line, n->pos, ",");
944 mdoc->last->flags |= NODE_DELIMC | NODE_NOSRC;
945 }
946 n = mdoc->last->next;
947 if (n->next == NULL) {
948 roff_word_alloc(mdoc, n->line, n->pos, "and");
949 mdoc->last->flags |= NODE_NOSRC;
950 }
951 }
952 }
953
954 static void
post_ex(POST_ARGS)955 post_ex(POST_ARGS)
956 {
957 struct roff_node *n;
958 int ic;
959
960 post_std(mdoc);
961
962 n = mdoc->last;
963 mdoc->next = ROFF_NEXT_CHILD;
964 roff_word_alloc(mdoc, n->line, n->pos, "The");
965 mdoc->last->flags |= NODE_NOSRC;
966
967 if (mdoc->last->next != NULL)
968 ic = build_list(mdoc, MDOC_Nm);
969 else if (mdoc->meta.name != NULL) {
970 roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Nm);
971 mdoc->last->flags |= NODE_NOSRC;
972 roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
973 mdoc->last->flags |= NODE_NOSRC;
974 mdoc->last = mdoc->last->parent;
975 mdoc->next = ROFF_NEXT_SIBLING;
976 ic = 1;
977 } else {
978 mandoc_msg(MANDOCERR_EX_NONAME, n->line, n->pos, "Ex");
979 ic = 0;
980 }
981
982 roff_word_alloc(mdoc, n->line, n->pos,
983 ic > 1 ? "utilities exit\\~0" : "utility exits\\~0");
984 mdoc->last->flags |= NODE_NOSRC;
985 roff_word_alloc(mdoc, n->line, n->pos,
986 "on success, and\\~>0 if an error occurs.");
987 mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
988 mdoc->last = n;
989 }
990
991 static void
post_lb(POST_ARGS)992 post_lb(POST_ARGS)
993 {
994 struct roff_node *n;
995 const char *p;
996
997 post_delim_nb(mdoc);
998
999 n = mdoc->last;
1000 assert(n->child->type == ROFFT_TEXT);
1001 mdoc->next = ROFF_NEXT_CHILD;
1002
1003 if ((p = mdoc_a2lib(n->child->string)) != NULL) {
1004 n->child->flags |= NODE_NOPRT;
1005 roff_word_alloc(mdoc, n->line, n->pos, p);
1006 mdoc->last->flags = NODE_NOSRC;
1007 mdoc->last = n;
1008 return;
1009 }
1010
1011 mandoc_msg(MANDOCERR_LB_BAD, n->child->line,
1012 n->child->pos, "Lb %s", n->child->string);
1013
1014 roff_word_alloc(mdoc, n->line, n->pos, "library");
1015 mdoc->last->flags = NODE_NOSRC;
1016 roff_word_alloc(mdoc, n->line, n->pos, "\\(lq");
1017 mdoc->last->flags = NODE_DELIMO | NODE_NOSRC;
1018 mdoc->last = mdoc->last->next;
1019 roff_word_alloc(mdoc, n->line, n->pos, "\\(rq");
1020 mdoc->last->flags = NODE_DELIMC | NODE_NOSRC;
1021 mdoc->last = n;
1022 }
1023
1024 static void
post_rv(POST_ARGS)1025 post_rv(POST_ARGS)
1026 {
1027 struct roff_node *n;
1028 int ic;
1029
1030 post_std(mdoc);
1031
1032 n = mdoc->last;
1033 mdoc->next = ROFF_NEXT_CHILD;
1034 if (n->child != NULL) {
1035 roff_word_alloc(mdoc, n->line, n->pos, "The");
1036 mdoc->last->flags |= NODE_NOSRC;
1037 ic = build_list(mdoc, MDOC_Fn);
1038 roff_word_alloc(mdoc, n->line, n->pos,
1039 ic > 1 ? "functions return" : "function returns");
1040 mdoc->last->flags |= NODE_NOSRC;
1041 roff_word_alloc(mdoc, n->line, n->pos,
1042 "the value\\~0 if successful;");
1043 } else
1044 roff_word_alloc(mdoc, n->line, n->pos, "Upon successful "
1045 "completion, the value\\~0 is returned;");
1046 mdoc->last->flags |= NODE_NOSRC;
1047
1048 roff_word_alloc(mdoc, n->line, n->pos, "otherwise "
1049 "the value\\~\\-1 is returned and the global variable");
1050 mdoc->last->flags |= NODE_NOSRC;
1051 roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Va);
1052 mdoc->last->flags |= NODE_NOSRC;
1053 roff_word_alloc(mdoc, n->line, n->pos, "errno");
1054 mdoc->last->flags |= NODE_NOSRC;
1055 mdoc->last = mdoc->last->parent;
1056 mdoc->next = ROFF_NEXT_SIBLING;
1057 roff_word_alloc(mdoc, n->line, n->pos,
1058 "is set to indicate the error.");
1059 mdoc->last->flags |= NODE_EOS | NODE_NOSRC;
1060 mdoc->last = n;
1061 }
1062
1063 static void
post_std(POST_ARGS)1064 post_std(POST_ARGS)
1065 {
1066 struct roff_node *n;
1067
1068 post_delim(mdoc);
1069
1070 n = mdoc->last;
1071 if (n->args && n->args->argc == 1)
1072 if (n->args->argv[0].arg == MDOC_Std)
1073 return;
1074
1075 mandoc_msg(MANDOCERR_ARG_STD, n->line, n->pos,
1076 "%s", roff_name[n->tok]);
1077 }
1078
1079 static void
post_st(POST_ARGS)1080 post_st(POST_ARGS)
1081 {
1082 struct roff_node *n, *nch;
1083 const char *p;
1084
1085 n = mdoc->last;
1086 nch = n->child;
1087 assert(nch->type == ROFFT_TEXT);
1088
1089 if ((p = mdoc_a2st(nch->string)) == NULL) {
1090 mandoc_msg(MANDOCERR_ST_BAD,
1091 nch->line, nch->pos, "St %s", nch->string);
1092 roff_node_delete(mdoc, n);
1093 return;
1094 }
1095
1096 nch->flags |= NODE_NOPRT;
1097 mdoc->next = ROFF_NEXT_CHILD;
1098 roff_word_alloc(mdoc, nch->line, nch->pos, p);
1099 mdoc->last->flags |= NODE_NOSRC;
1100 mdoc->last= n;
1101 }
1102
1103 static void
post_tg(POST_ARGS)1104 post_tg(POST_ARGS)
1105 {
1106 struct roff_node *n; /* The .Tg node. */
1107 struct roff_node *nch; /* The first child of the .Tg node. */
1108 struct roff_node *nn; /* The next node after the .Tg node. */
1109 struct roff_node *np; /* The parent of the next node. */
1110 struct roff_node *nt; /* The TEXT node containing the tag. */
1111 size_t len; /* The number of bytes in the tag. */
1112
1113 /* Find the next node. */
1114 n = mdoc->last;
1115 for (nn = n; nn != NULL; nn = nn->parent) {
1116 if (nn->next != NULL) {
1117 nn = nn->next;
1118 break;
1119 }
1120 }
1121
1122 /* Find the tag. */
1123 nt = nch = n->child;
1124 if (nch == NULL && nn != NULL && nn->child != NULL &&
1125 nn->child->type == ROFFT_TEXT)
1126 nt = nn->child;
1127
1128 /* Validate the tag. */
1129 if (nt == NULL || *nt->string == '\0')
1130 mandoc_msg(MANDOCERR_MACRO_EMPTY, n->line, n->pos, "Tg");
1131 if (nt == NULL) {
1132 roff_node_delete(mdoc, n);
1133 return;
1134 }
1135 len = strcspn(nt->string, " \t\\");
1136 if (nt->string[len] != '\0')
1137 mandoc_msg(MANDOCERR_TG_SPC, nt->line,
1138 nt->pos + len, "Tg %s", nt->string);
1139
1140 /* Keep only the first argument. */
1141 if (nch != NULL && nch->next != NULL) {
1142 mandoc_msg(MANDOCERR_ARG_EXCESS, nch->next->line,
1143 nch->next->pos, "Tg ... %s", nch->next->string);
1144 while (nch->next != NULL)
1145 roff_node_delete(mdoc, nch->next);
1146 }
1147
1148 /* Drop the macro if the first argument is invalid. */
1149 if (len == 0 || nt->string[len] != '\0') {
1150 roff_node_delete(mdoc, n);
1151 return;
1152 }
1153
1154 /* By default, tag the .Tg node itself. */
1155 if (nn == NULL || nn->flags & NODE_ID)
1156 nn = n;
1157
1158 /* Explicit tagging of specific macros. */
1159 switch (nn->tok) {
1160 case MDOC_Sh:
1161 case MDOC_Ss:
1162 case MDOC_Fo:
1163 nn = nn->head->child == NULL ? n : nn->head;
1164 break;
1165 case MDOC_It:
1166 np = nn->parent;
1167 while (np->tok != MDOC_Bl)
1168 np = np->parent;
1169 switch (np->norm->Bl.type) {
1170 case LIST_column:
1171 break;
1172 case LIST_diag:
1173 case LIST_hang:
1174 case LIST_inset:
1175 case LIST_ohang:
1176 case LIST_tag:
1177 nn = nn->head;
1178 break;
1179 case LIST_bullet:
1180 case LIST_dash:
1181 case LIST_enum:
1182 case LIST_hyphen:
1183 case LIST_item:
1184 nn = nn->body->child == NULL ? n : nn->body;
1185 break;
1186 default:
1187 abort();
1188 }
1189 break;
1190 case MDOC_Bd:
1191 case MDOC_Bl:
1192 case MDOC_D1:
1193 case MDOC_Dl:
1194 nn = nn->body->child == NULL ? n : nn->body;
1195 break;
1196 case MDOC_Pp:
1197 break;
1198 case MDOC_Cm:
1199 case MDOC_Dv:
1200 case MDOC_Em:
1201 case MDOC_Er:
1202 case MDOC_Ev:
1203 case MDOC_Fl:
1204 case MDOC_Fn:
1205 case MDOC_Ic:
1206 case MDOC_Li:
1207 case MDOC_Ms:
1208 case MDOC_No:
1209 case MDOC_Sy:
1210 if (nn->child == NULL)
1211 nn = n;
1212 break;
1213 default:
1214 nn = n;
1215 break;
1216 }
1217 tag_put(nt->string, TAG_MANUAL, nn);
1218 if (nn != n)
1219 n->flags |= NODE_NOPRT;
1220 }
1221
1222 static void
post_obsolete(POST_ARGS)1223 post_obsolete(POST_ARGS)
1224 {
1225 struct roff_node *n;
1226
1227 n = mdoc->last;
1228 if (n->type == ROFFT_ELEM || n->type == ROFFT_BLOCK)
1229 mandoc_msg(MANDOCERR_MACRO_OBS, n->line, n->pos,
1230 "%s", roff_name[n->tok]);
1231 }
1232
1233 static void
post_useless(POST_ARGS)1234 post_useless(POST_ARGS)
1235 {
1236 struct roff_node *n;
1237
1238 n = mdoc->last;
1239 mandoc_msg(MANDOCERR_MACRO_USELESS, n->line, n->pos,
1240 "%s", roff_name[n->tok]);
1241 }
1242
1243 /*
1244 * Block macros.
1245 */
1246
1247 static void
post_bf(POST_ARGS)1248 post_bf(POST_ARGS)
1249 {
1250 struct roff_node *np, *nch;
1251
1252 /*
1253 * Unlike other data pointers, these are "housed" by the HEAD
1254 * element, which contains the goods.
1255 */
1256
1257 np = mdoc->last;
1258 if (np->type != ROFFT_HEAD)
1259 return;
1260
1261 assert(np->parent->type == ROFFT_BLOCK);
1262 assert(np->parent->tok == MDOC_Bf);
1263
1264 /* Check the number of arguments. */
1265
1266 nch = np->child;
1267 if (np->parent->args == NULL) {
1268 if (nch == NULL) {
1269 mandoc_msg(MANDOCERR_BF_NOFONT,
1270 np->line, np->pos, "Bf");
1271 return;
1272 }
1273 nch = nch->next;
1274 }
1275 if (nch != NULL)
1276 mandoc_msg(MANDOCERR_ARG_EXCESS,
1277 nch->line, nch->pos, "Bf ... %s", nch->string);
1278
1279 /* Extract argument into data. */
1280
1281 if (np->parent->args != NULL) {
1282 switch (np->parent->args->argv[0].arg) {
1283 case MDOC_Emphasis:
1284 np->norm->Bf.font = FONT_Em;
1285 break;
1286 case MDOC_Literal:
1287 np->norm->Bf.font = FONT_Li;
1288 break;
1289 case MDOC_Symbolic:
1290 np->norm->Bf.font = FONT_Sy;
1291 break;
1292 default:
1293 abort();
1294 }
1295 return;
1296 }
1297
1298 /* Extract parameter into data. */
1299
1300 if ( ! strcmp(np->child->string, "Em"))
1301 np->norm->Bf.font = FONT_Em;
1302 else if ( ! strcmp(np->child->string, "Li"))
1303 np->norm->Bf.font = FONT_Li;
1304 else if ( ! strcmp(np->child->string, "Sy"))
1305 np->norm->Bf.font = FONT_Sy;
1306 else
1307 mandoc_msg(MANDOCERR_BF_BADFONT, np->child->line,
1308 np->child->pos, "Bf %s", np->child->string);
1309 }
1310
1311 static void
post_fname(POST_ARGS)1312 post_fname(POST_ARGS)
1313 {
1314 struct roff_node *n, *nch;
1315 const char *cp;
1316 size_t pos;
1317
1318 n = mdoc->last;
1319 nch = n->child;
1320 cp = nch->string;
1321 if (*cp == '(') {
1322 if (cp[strlen(cp + 1)] == ')')
1323 return;
1324 pos = 0;
1325 } else {
1326 pos = strcspn(cp, "()");
1327 if (cp[pos] == '\0') {
1328 if (n->sec == SEC_DESCRIPTION ||
1329 n->sec == SEC_CUSTOM)
1330 tag_put(NULL, fn_prio++, n);
1331 return;
1332 }
1333 }
1334 mandoc_msg(MANDOCERR_FN_PAREN, nch->line, nch->pos + pos, "%s", cp);
1335 }
1336
1337 static void
post_fn(POST_ARGS)1338 post_fn(POST_ARGS)
1339 {
1340 post_fname(mdoc);
1341 post_fa(mdoc);
1342 }
1343
1344 static void
post_fo(POST_ARGS)1345 post_fo(POST_ARGS)
1346 {
1347 const struct roff_node *n;
1348
1349 n = mdoc->last;
1350
1351 if (n->type != ROFFT_HEAD)
1352 return;
1353
1354 if (n->child == NULL) {
1355 mandoc_msg(MANDOCERR_FO_NOHEAD, n->line, n->pos, "Fo");
1356 return;
1357 }
1358 if (n->child != n->last) {
1359 mandoc_msg(MANDOCERR_ARG_EXCESS,
1360 n->child->next->line, n->child->next->pos,
1361 "Fo ... %s", n->child->next->string);
1362 while (n->child != n->last)
1363 roff_node_delete(mdoc, n->last);
1364 } else
1365 post_delim(mdoc);
1366
1367 post_fname(mdoc);
1368 }
1369
1370 static void
post_fa(POST_ARGS)1371 post_fa(POST_ARGS)
1372 {
1373 const struct roff_node *n;
1374 const char *cp;
1375
1376 for (n = mdoc->last->child; n != NULL; n = n->next) {
1377 for (cp = n->string; *cp != '\0'; cp++) {
1378 /* Ignore callbacks and alterations. */
1379 if (*cp == '(' || *cp == '{')
1380 break;
1381 if (*cp != ',')
1382 continue;
1383 mandoc_msg(MANDOCERR_FA_COMMA, n->line,
1384 n->pos + (int)(cp - n->string), "%s", n->string);
1385 break;
1386 }
1387 }
1388 post_delim_nb(mdoc);
1389 }
1390
1391 static void
post_nm(POST_ARGS)1392 post_nm(POST_ARGS)
1393 {
1394 struct roff_node *n;
1395
1396 n = mdoc->last;
1397
1398 if (n->sec == SEC_NAME && n->child != NULL &&
1399 n->child->type == ROFFT_TEXT && mdoc->meta.msec != NULL)
1400 mandoc_xr_add(mdoc->meta.msec, n->child->string, -1, -1);
1401
1402 if (n->last != NULL && n->last->tok == MDOC_Pp)
1403 roff_node_relink(mdoc, n->last);
1404
1405 if (mdoc->meta.name == NULL)
1406 deroff(&mdoc->meta.name, n);
1407
1408 if (mdoc->meta.name == NULL ||
1409 (mdoc->lastsec == SEC_NAME && n->child == NULL))
1410 mandoc_msg(MANDOCERR_NM_NONAME, n->line, n->pos, "Nm");
1411
1412 switch (n->type) {
1413 case ROFFT_ELEM:
1414 post_delim_nb(mdoc);
1415 break;
1416 case ROFFT_HEAD:
1417 post_delim(mdoc);
1418 break;
1419 default:
1420 return;
1421 }
1422
1423 if ((n->child != NULL && n->child->type == ROFFT_TEXT) ||
1424 mdoc->meta.name == NULL)
1425 return;
1426
1427 mdoc->next = ROFF_NEXT_CHILD;
1428 roff_word_alloc(mdoc, n->line, n->pos, mdoc->meta.name);
1429 mdoc->last->flags |= NODE_NOSRC;
1430 mdoc->last = n;
1431 }
1432
1433 static void
post_nd(POST_ARGS)1434 post_nd(POST_ARGS)
1435 {
1436 struct roff_node *n;
1437
1438 n = mdoc->last;
1439
1440 if (n->type != ROFFT_BODY)
1441 return;
1442
1443 if (n->sec != SEC_NAME)
1444 mandoc_msg(MANDOCERR_ND_LATE, n->line, n->pos, "Nd");
1445
1446 if (n->child == NULL)
1447 mandoc_msg(MANDOCERR_ND_EMPTY, n->line, n->pos, "Nd");
1448 else
1449 post_delim(mdoc);
1450
1451 post_hyph(mdoc);
1452 }
1453
1454 static void
post_display(POST_ARGS)1455 post_display(POST_ARGS)
1456 {
1457 struct roff_node *n, *np;
1458
1459 n = mdoc->last;
1460 switch (n->type) {
1461 case ROFFT_BODY:
1462 if (n->end != ENDBODY_NOT) {
1463 if (n->tok == MDOC_Bd &&
1464 n->body->parent->args == NULL)
1465 roff_node_delete(mdoc, n);
1466 } else if (n->child == NULL)
1467 mandoc_msg(MANDOCERR_BLK_EMPTY, n->line, n->pos,
1468 "%s", roff_name[n->tok]);
1469 else if (n->tok == MDOC_D1)
1470 post_hyph(mdoc);
1471 break;
1472 case ROFFT_BLOCK:
1473 if (n->tok == MDOC_Bd) {
1474 if (n->args == NULL) {
1475 mandoc_msg(MANDOCERR_BD_NOARG,
1476 n->line, n->pos, "Bd");
1477 mdoc->next = ROFF_NEXT_SIBLING;
1478 while (n->body->child != NULL)
1479 roff_node_relink(mdoc,
1480 n->body->child);
1481 roff_node_delete(mdoc, n);
1482 break;
1483 }
1484 post_bd(mdoc);
1485 post_prevpar(mdoc);
1486 }
1487 for (np = n->parent; np != NULL; np = np->parent) {
1488 if (np->type == ROFFT_BLOCK && np->tok == MDOC_Bd) {
1489 mandoc_msg(MANDOCERR_BD_NEST, n->line,
1490 n->pos, "%s in Bd", roff_name[n->tok]);
1491 break;
1492 }
1493 }
1494 break;
1495 default:
1496 break;
1497 }
1498 }
1499
1500 static void
post_defaults(POST_ARGS)1501 post_defaults(POST_ARGS)
1502 {
1503 struct roff_node *n;
1504
1505 n = mdoc->last;
1506 if (n->child != NULL) {
1507 post_delim_nb(mdoc);
1508 return;
1509 }
1510 mdoc->next = ROFF_NEXT_CHILD;
1511 switch (n->tok) {
1512 case MDOC_Ar:
1513 roff_word_alloc(mdoc, n->line, n->pos, "file");
1514 mdoc->last->flags |= NODE_NOSRC;
1515 roff_word_alloc(mdoc, n->line, n->pos, "...");
1516 break;
1517 case MDOC_Pa:
1518 case MDOC_Mt:
1519 roff_word_alloc(mdoc, n->line, n->pos, "~");
1520 break;
1521 default:
1522 abort();
1523 }
1524 mdoc->last->flags |= NODE_NOSRC;
1525 mdoc->last = n;
1526 }
1527
1528 static void
post_at(POST_ARGS)1529 post_at(POST_ARGS)
1530 {
1531 struct roff_node *n, *nch;
1532 const char *att;
1533
1534 n = mdoc->last;
1535 nch = n->child;
1536
1537 /*
1538 * If we have a child, look it up in the standard keys. If a
1539 * key exist, use that instead of the child; if it doesn't,
1540 * prefix "AT&T UNIX " to the existing data.
1541 */
1542
1543 att = NULL;
1544 if (nch != NULL && ((att = mdoc_a2att(nch->string)) == NULL))
1545 mandoc_msg(MANDOCERR_AT_BAD,
1546 nch->line, nch->pos, "At %s", nch->string);
1547
1548 mdoc->next = ROFF_NEXT_CHILD;
1549 if (att != NULL) {
1550 roff_word_alloc(mdoc, nch->line, nch->pos, att);
1551 nch->flags |= NODE_NOPRT;
1552 } else
1553 roff_word_alloc(mdoc, n->line, n->pos, "AT&T UNIX");
1554 mdoc->last->flags |= NODE_NOSRC;
1555 mdoc->last = n;
1556 }
1557
1558 static void
post_an(POST_ARGS)1559 post_an(POST_ARGS)
1560 {
1561 struct roff_node *np, *nch;
1562
1563 post_an_norm(mdoc);
1564
1565 np = mdoc->last;
1566 nch = np->child;
1567 if (np->norm->An.auth == AUTH__NONE) {
1568 if (nch == NULL)
1569 mandoc_msg(MANDOCERR_MACRO_EMPTY,
1570 np->line, np->pos, "An");
1571 else
1572 post_delim_nb(mdoc);
1573 } else if (nch != NULL)
1574 mandoc_msg(MANDOCERR_ARG_EXCESS,
1575 nch->line, nch->pos, "An ... %s", nch->string);
1576 }
1577
1578 static void
post_em(POST_ARGS)1579 post_em(POST_ARGS)
1580 {
1581 post_tag(mdoc);
1582 tag_put(NULL, TAG_FALLBACK, mdoc->last);
1583 }
1584
1585 static void
post_en(POST_ARGS)1586 post_en(POST_ARGS)
1587 {
1588 post_obsolete(mdoc);
1589 if (mdoc->last->type == ROFFT_BLOCK)
1590 mdoc->last->norm->Es = mdoc->last_es;
1591 }
1592
1593 static void
post_er(POST_ARGS)1594 post_er(POST_ARGS)
1595 {
1596 struct roff_node *n;
1597
1598 n = mdoc->last;
1599 if (n->sec == SEC_ERRORS &&
1600 (n->parent->tok == MDOC_It ||
1601 (n->parent->tok == MDOC_Bq &&
1602 n->parent->parent->parent->tok == MDOC_It)))
1603 tag_put(NULL, TAG_STRONG, n);
1604 post_delim_nb(mdoc);
1605 }
1606
1607 static void
post_tag(POST_ARGS)1608 post_tag(POST_ARGS)
1609 {
1610 struct roff_node *n;
1611
1612 n = mdoc->last;
1613 if ((n->prev == NULL ||
1614 (n->prev->type == ROFFT_TEXT &&
1615 strcmp(n->prev->string, "|") == 0)) &&
1616 (n->parent->tok == MDOC_It ||
1617 (n->parent->tok == MDOC_Xo &&
1618 n->parent->parent->prev == NULL &&
1619 n->parent->parent->parent->tok == MDOC_It)))
1620 tag_put(NULL, TAG_STRONG, n);
1621 post_delim_nb(mdoc);
1622 }
1623
1624 static void
post_es(POST_ARGS)1625 post_es(POST_ARGS)
1626 {
1627 post_obsolete(mdoc);
1628 mdoc->last_es = mdoc->last;
1629 }
1630
1631 static void
post_fl(POST_ARGS)1632 post_fl(POST_ARGS)
1633 {
1634 struct roff_node *n;
1635 char *cp;
1636
1637 /*
1638 * Transform ".Fl Fl long" to ".Fl \-long",
1639 * resulting for example in better HTML output.
1640 */
1641
1642 n = mdoc->last;
1643 if (n->prev != NULL && n->prev->tok == MDOC_Fl &&
1644 n->prev->child == NULL && n->child != NULL &&
1645 (n->flags & NODE_LINE) == 0) {
1646 mandoc_asprintf(&cp, "\\-%s", n->child->string);
1647 free(n->child->string);
1648 n->child->string = cp;
1649 roff_node_delete(mdoc, n->prev);
1650 }
1651 post_tag(mdoc);
1652 }
1653
1654 static void
post_xx(POST_ARGS)1655 post_xx(POST_ARGS)
1656 {
1657 struct roff_node *n;
1658 const char *os;
1659 char *v;
1660
1661 post_delim_nb(mdoc);
1662
1663 n = mdoc->last;
1664 switch (n->tok) {
1665 case MDOC_Bsx:
1666 os = "BSD/OS";
1667 break;
1668 case MDOC_Dx:
1669 os = "DragonFly";
1670 break;
1671 case MDOC_Fx:
1672 os = "FreeBSD";
1673 break;
1674 case MDOC_Nx:
1675 os = "NetBSD";
1676 if (n->child == NULL)
1677 break;
1678 v = n->child->string;
1679 if ((v[0] != '0' && v[0] != '1') || v[1] != '.' ||
1680 v[2] < '0' || v[2] > '9' ||
1681 v[3] < 'a' || v[3] > 'z' || v[4] != '\0')
1682 break;
1683 n->child->flags |= NODE_NOPRT;
1684 mdoc->next = ROFF_NEXT_CHILD;
1685 roff_word_alloc(mdoc, n->child->line, n->child->pos, v);
1686 v = mdoc->last->string;
1687 v[3] = toupper((unsigned char)v[3]);
1688 mdoc->last->flags |= NODE_NOSRC;
1689 mdoc->last = n;
1690 break;
1691 case MDOC_Ox:
1692 os = "OpenBSD";
1693 break;
1694 case MDOC_Ux:
1695 os = "UNIX";
1696 break;
1697 default:
1698 abort();
1699 }
1700 mdoc->next = ROFF_NEXT_CHILD;
1701 roff_word_alloc(mdoc, n->line, n->pos, os);
1702 mdoc->last->flags |= NODE_NOSRC;
1703 mdoc->last = n;
1704 }
1705
1706 static void
post_it(POST_ARGS)1707 post_it(POST_ARGS)
1708 {
1709 struct roff_node *nbl, *nit, *nch;
1710 int i, cols;
1711 enum mdoc_list lt;
1712
1713 post_prevpar(mdoc);
1714
1715 nit = mdoc->last;
1716 if (nit->type != ROFFT_BLOCK)
1717 return;
1718
1719 nbl = nit->parent->parent;
1720 lt = nbl->norm->Bl.type;
1721
1722 switch (lt) {
1723 case LIST_tag:
1724 case LIST_hang:
1725 case LIST_ohang:
1726 case LIST_inset:
1727 case LIST_diag:
1728 if (nit->head->child == NULL)
1729 mandoc_msg(MANDOCERR_IT_NOHEAD,
1730 nit->line, nit->pos, "Bl -%s It",
1731 mdoc_argnames[nbl->args->argv[0].arg]);
1732 break;
1733 case LIST_bullet:
1734 case LIST_dash:
1735 case LIST_enum:
1736 case LIST_hyphen:
1737 if (nit->body == NULL || nit->body->child == NULL)
1738 mandoc_msg(MANDOCERR_IT_NOBODY,
1739 nit->line, nit->pos, "Bl -%s It",
1740 mdoc_argnames[nbl->args->argv[0].arg]);
1741 /* FALLTHROUGH */
1742 case LIST_item:
1743 if ((nch = nit->head->child) != NULL)
1744 mandoc_msg(MANDOCERR_ARG_SKIP,
1745 nit->line, nit->pos, "It %s",
1746 nch->type == ROFFT_TEXT ? nch->string :
1747 roff_name[nch->tok]);
1748 break;
1749 case LIST_column:
1750 cols = (int)nbl->norm->Bl.ncols;
1751
1752 assert(nit->head->child == NULL);
1753
1754 if (nit->head->next->child == NULL &&
1755 nit->head->next->next == NULL) {
1756 mandoc_msg(MANDOCERR_MACRO_EMPTY,
1757 nit->line, nit->pos, "It");
1758 roff_node_delete(mdoc, nit);
1759 break;
1760 }
1761
1762 i = 0;
1763 for (nch = nit->child; nch != NULL; nch = nch->next) {
1764 if (nch->type != ROFFT_BODY)
1765 continue;
1766 if (i++ && nch->flags & NODE_LINE)
1767 mandoc_msg(MANDOCERR_TA_LINE,
1768 nch->line, nch->pos, "Ta");
1769 }
1770 if (i < cols || i > cols + 1)
1771 mandoc_msg(MANDOCERR_BL_COL, nit->line, nit->pos,
1772 "%d columns, %d cells", cols, i);
1773 else if (nit->head->next->child != NULL &&
1774 nit->head->next->child->flags & NODE_LINE)
1775 mandoc_msg(MANDOCERR_IT_NOARG,
1776 nit->line, nit->pos, "Bl -column It");
1777 break;
1778 default:
1779 abort();
1780 }
1781 }
1782
1783 static void
post_bl_block(POST_ARGS)1784 post_bl_block(POST_ARGS)
1785 {
1786 struct roff_node *n, *ni, *nc;
1787
1788 post_prevpar(mdoc);
1789
1790 n = mdoc->last;
1791 for (ni = n->body->child; ni != NULL; ni = ni->next) {
1792 if (ni->body == NULL)
1793 continue;
1794 nc = ni->body->last;
1795 while (nc != NULL) {
1796 switch (nc->tok) {
1797 case MDOC_Pp:
1798 case ROFF_br:
1799 break;
1800 default:
1801 nc = NULL;
1802 continue;
1803 }
1804 if (ni->next == NULL) {
1805 mandoc_msg(MANDOCERR_PAR_MOVE, nc->line,
1806 nc->pos, "%s", roff_name[nc->tok]);
1807 roff_node_relink(mdoc, nc);
1808 } else if (n->norm->Bl.comp == 0 &&
1809 n->norm->Bl.type != LIST_column) {
1810 mandoc_msg(MANDOCERR_PAR_SKIP,
1811 nc->line, nc->pos,
1812 "%s before It", roff_name[nc->tok]);
1813 roff_node_delete(mdoc, nc);
1814 } else
1815 break;
1816 nc = ni->body->last;
1817 }
1818 }
1819 }
1820
1821 /*
1822 * If the argument of -offset or -width is a macro,
1823 * replace it with the associated default width.
1824 */
1825 static void
rewrite_macro2len(struct roff_man * mdoc,char ** arg)1826 rewrite_macro2len(struct roff_man *mdoc, char **arg)
1827 {
1828 size_t width;
1829 enum roff_tok tok;
1830
1831 if (*arg == NULL)
1832 return;
1833 else if ( ! strcmp(*arg, "Ds"))
1834 width = 6;
1835 else if ((tok = roffhash_find(mdoc->mdocmac, *arg, 0)) == TOKEN_NONE)
1836 return;
1837 else
1838 width = macro2len(tok);
1839
1840 free(*arg);
1841 mandoc_asprintf(arg, "%zun", width);
1842 }
1843
1844 static void
post_bl_head(POST_ARGS)1845 post_bl_head(POST_ARGS)
1846 {
1847 struct roff_node *nbl, *nh, *nch, *nnext;
1848 struct mdoc_argv *argv;
1849 int i, j;
1850
1851 post_bl_norm(mdoc);
1852
1853 nh = mdoc->last;
1854 if (nh->norm->Bl.type != LIST_column) {
1855 if ((nch = nh->child) == NULL)
1856 return;
1857 mandoc_msg(MANDOCERR_ARG_EXCESS,
1858 nch->line, nch->pos, "Bl ... %s", nch->string);
1859 while (nch != NULL) {
1860 roff_node_delete(mdoc, nch);
1861 nch = nh->child;
1862 }
1863 return;
1864 }
1865
1866 /*
1867 * Append old-style lists, where the column width specifiers
1868 * trail as macro parameters, to the new-style ("normal-form")
1869 * lists where they're argument values following -column.
1870 */
1871
1872 if (nh->child == NULL)
1873 return;
1874
1875 nbl = nh->parent;
1876 for (j = 0; j < (int)nbl->args->argc; j++)
1877 if (nbl->args->argv[j].arg == MDOC_Column)
1878 break;
1879
1880 assert(j < (int)nbl->args->argc);
1881
1882 /*
1883 * Accommodate for new-style groff column syntax. Shuffle the
1884 * child nodes, all of which must be TEXT, as arguments for the
1885 * column field. Then, delete the head children.
1886 */
1887
1888 argv = nbl->args->argv + j;
1889 i = argv->sz;
1890 for (nch = nh->child; nch != NULL; nch = nch->next)
1891 argv->sz++;
1892 argv->value = mandoc_reallocarray(argv->value,
1893 argv->sz, sizeof(char *));
1894
1895 nh->norm->Bl.ncols = argv->sz;
1896 nh->norm->Bl.cols = (void *)argv->value;
1897
1898 for (nch = nh->child; nch != NULL; nch = nnext) {
1899 argv->value[i++] = nch->string;
1900 nch->string = NULL;
1901 nnext = nch->next;
1902 roff_node_delete(NULL, nch);
1903 }
1904 nh->child = NULL;
1905 }
1906
1907 static void
post_bl(POST_ARGS)1908 post_bl(POST_ARGS)
1909 {
1910 struct roff_node *nbody; /* of the Bl */
1911 struct roff_node *nchild, *nnext; /* of the Bl body */
1912 const char *prev_Er;
1913 int order;
1914
1915 nbody = mdoc->last;
1916 switch (nbody->type) {
1917 case ROFFT_BLOCK:
1918 post_bl_block(mdoc);
1919 return;
1920 case ROFFT_HEAD:
1921 post_bl_head(mdoc);
1922 return;
1923 case ROFFT_BODY:
1924 break;
1925 default:
1926 return;
1927 }
1928 if (nbody->end != ENDBODY_NOT)
1929 return;
1930
1931 /*
1932 * Up to the first item, move nodes before the list,
1933 * but leave transparent nodes where they are
1934 * if they precede an item.
1935 * The next non-transparent node is kept in nchild.
1936 * It only needs to be updated after a non-transparent
1937 * node was moved out, and at the very beginning
1938 * when no node at all was moved yet.
1939 */
1940
1941 nchild = mdoc->last;
1942 for (;;) {
1943 if (nchild == mdoc->last)
1944 nchild = roff_node_child(nbody);
1945 if (nchild == NULL) {
1946 mdoc->last = nbody;
1947 mandoc_msg(MANDOCERR_BLK_EMPTY,
1948 nbody->line, nbody->pos, "Bl");
1949 return;
1950 }
1951 if (nchild->tok == MDOC_It) {
1952 mdoc->last = nbody;
1953 break;
1954 }
1955 mandoc_msg(MANDOCERR_BL_MOVE, nbody->child->line,
1956 nbody->child->pos, "%s", roff_name[nbody->child->tok]);
1957 if (nbody->parent->prev == NULL) {
1958 mdoc->last = nbody->parent->parent;
1959 mdoc->next = ROFF_NEXT_CHILD;
1960 } else {
1961 mdoc->last = nbody->parent->prev;
1962 mdoc->next = ROFF_NEXT_SIBLING;
1963 }
1964 roff_node_relink(mdoc, nbody->child);
1965 }
1966
1967 /*
1968 * We have reached the first item,
1969 * so moving nodes out is no longer possible.
1970 * But in .Bl -column, the first rows may be implicit,
1971 * that is, they may not start with .It macros.
1972 * Such rows may be followed by nodes generated on the
1973 * roff level, for example .TS.
1974 * Wrap such roff nodes into an implicit row.
1975 */
1976
1977 while (nchild != NULL) {
1978 if (nchild->tok == MDOC_It) {
1979 nchild = roff_node_next(nchild);
1980 continue;
1981 }
1982 nnext = nchild->next;
1983 mdoc->last = nchild->prev;
1984 mdoc->next = ROFF_NEXT_SIBLING;
1985 roff_block_alloc(mdoc, nchild->line, nchild->pos, MDOC_It);
1986 roff_head_alloc(mdoc, nchild->line, nchild->pos, MDOC_It);
1987 mdoc->next = ROFF_NEXT_SIBLING;
1988 roff_body_alloc(mdoc, nchild->line, nchild->pos, MDOC_It);
1989 while (nchild->tok != MDOC_It) {
1990 roff_node_relink(mdoc, nchild);
1991 if (nnext == NULL)
1992 break;
1993 nchild = nnext;
1994 nnext = nchild->next;
1995 mdoc->next = ROFF_NEXT_SIBLING;
1996 }
1997 mdoc->last = nbody;
1998 }
1999
2000 if (mdoc->meta.os_e != MANDOC_OS_NETBSD)
2001 return;
2002
2003 prev_Er = NULL;
2004 for (nchild = nbody->child; nchild != NULL; nchild = nchild->next) {
2005 if (nchild->tok != MDOC_It)
2006 continue;
2007 if ((nnext = nchild->head->child) == NULL)
2008 continue;
2009 if (nnext->type == ROFFT_BLOCK)
2010 nnext = nnext->body->child;
2011 if (nnext == NULL || nnext->tok != MDOC_Er)
2012 continue;
2013 nnext = nnext->child;
2014 if (prev_Er != NULL) {
2015 order = strcmp(prev_Er, nnext->string);
2016 if (order > 0)
2017 mandoc_msg(MANDOCERR_ER_ORDER,
2018 nnext->line, nnext->pos,
2019 "Er %s %s (NetBSD)",
2020 prev_Er, nnext->string);
2021 else if (order == 0)
2022 mandoc_msg(MANDOCERR_ER_REP,
2023 nnext->line, nnext->pos,
2024 "Er %s (NetBSD)", prev_Er);
2025 }
2026 prev_Er = nnext->string;
2027 }
2028 }
2029
2030 static void
post_bk(POST_ARGS)2031 post_bk(POST_ARGS)
2032 {
2033 struct roff_node *n;
2034
2035 n = mdoc->last;
2036
2037 if (n->type == ROFFT_BLOCK && n->body->child == NULL) {
2038 mandoc_msg(MANDOCERR_BLK_EMPTY, n->line, n->pos, "Bk");
2039 roff_node_delete(mdoc, n);
2040 }
2041 }
2042
2043 static void
post_sm(POST_ARGS)2044 post_sm(POST_ARGS)
2045 {
2046 struct roff_node *nch;
2047
2048 nch = mdoc->last->child;
2049
2050 if (nch == NULL) {
2051 mdoc->flags ^= MDOC_SMOFF;
2052 return;
2053 }
2054
2055 assert(nch->type == ROFFT_TEXT);
2056
2057 if ( ! strcmp(nch->string, "on")) {
2058 mdoc->flags &= ~MDOC_SMOFF;
2059 return;
2060 }
2061 if ( ! strcmp(nch->string, "off")) {
2062 mdoc->flags |= MDOC_SMOFF;
2063 return;
2064 }
2065
2066 mandoc_msg(MANDOCERR_SM_BAD, nch->line, nch->pos,
2067 "%s %s", roff_name[mdoc->last->tok], nch->string);
2068 roff_node_relink(mdoc, nch);
2069 return;
2070 }
2071
2072 static void
post_root(POST_ARGS)2073 post_root(POST_ARGS)
2074 {
2075 struct roff_node *n;
2076
2077 /* Add missing prologue data. */
2078
2079 if (mdoc->meta.date == NULL)
2080 mdoc->meta.date = mandoc_normdate(NULL, NULL);
2081
2082 if (mdoc->meta.title == NULL) {
2083 mandoc_msg(MANDOCERR_DT_NOTITLE, 0, 0, "EOF");
2084 mdoc->meta.title = mandoc_strdup("UNTITLED");
2085 }
2086
2087 if (mdoc->meta.vol == NULL)
2088 mdoc->meta.vol = mandoc_strdup("LOCAL");
2089
2090 if (mdoc->meta.os == NULL) {
2091 mandoc_msg(MANDOCERR_OS_MISSING, 0, 0, NULL);
2092 mdoc->meta.os = mandoc_strdup("");
2093 } else if (mdoc->meta.os_e &&
2094 (mdoc->meta.rcsids & (1 << mdoc->meta.os_e)) == 0)
2095 mandoc_msg(MANDOCERR_RCS_MISSING, 0, 0,
2096 mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
2097 "(OpenBSD)" : "(NetBSD)");
2098
2099 if (mdoc->meta.arch != NULL &&
2100 arch_valid(mdoc->meta.arch, mdoc->meta.os_e) == 0) {
2101 n = mdoc->meta.first->child;
2102 while (n->tok != MDOC_Dt ||
2103 n->child == NULL ||
2104 n->child->next == NULL ||
2105 n->child->next->next == NULL)
2106 n = n->next;
2107 n = n->child->next->next;
2108 mandoc_msg(MANDOCERR_ARCH_BAD, n->line, n->pos,
2109 "Dt ... %s %s", mdoc->meta.arch,
2110 mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
2111 "(OpenBSD)" : "(NetBSD)");
2112 }
2113
2114 /* Check that we begin with a proper `Sh'. */
2115
2116 n = mdoc->meta.first->child;
2117 while (n != NULL &&
2118 (n->type == ROFFT_COMMENT ||
2119 (n->tok >= MDOC_Dd &&
2120 mdoc_macro(n->tok)->flags & MDOC_PROLOGUE)))
2121 n = n->next;
2122
2123 if (n == NULL)
2124 mandoc_msg(MANDOCERR_DOC_EMPTY, 0, 0, NULL);
2125 else if (n->tok != MDOC_Sh)
2126 mandoc_msg(MANDOCERR_SEC_BEFORE, n->line, n->pos,
2127 "%s", roff_name[n->tok]);
2128 }
2129
2130 static void
post_rs(POST_ARGS)2131 post_rs(POST_ARGS)
2132 {
2133 struct roff_node *np, *nch, *next, *prev;
2134 int i, j;
2135
2136 np = mdoc->last;
2137
2138 if (np->type != ROFFT_BODY)
2139 return;
2140
2141 if (np->child == NULL) {
2142 mandoc_msg(MANDOCERR_RS_EMPTY, np->line, np->pos, "Rs");
2143 return;
2144 }
2145
2146 /*
2147 * The full `Rs' block needs special handling to order the
2148 * sub-elements according to `rsord'. Pick through each element
2149 * and correctly order it. This is an insertion sort.
2150 */
2151
2152 next = NULL;
2153 for (nch = np->child->next; nch != NULL; nch = next) {
2154 /* Determine order number of this child. */
2155 for (i = 0; i < RSORD_MAX; i++)
2156 if (rsord[i] == nch->tok)
2157 break;
2158
2159 if (i == RSORD_MAX) {
2160 mandoc_msg(MANDOCERR_RS_BAD, nch->line, nch->pos,
2161 "%s", roff_name[nch->tok]);
2162 i = -1;
2163 } else if (nch->tok == MDOC__J || nch->tok == MDOC__B)
2164 np->norm->Rs.quote_T++;
2165
2166 /*
2167 * Remove this child from the chain. This somewhat
2168 * repeats roff_node_unlink(), but since we're
2169 * just re-ordering, there's no need for the
2170 * full unlink process.
2171 */
2172
2173 if ((next = nch->next) != NULL)
2174 next->prev = nch->prev;
2175
2176 if ((prev = nch->prev) != NULL)
2177 prev->next = nch->next;
2178
2179 nch->prev = nch->next = NULL;
2180
2181 /*
2182 * Scan back until we reach a node that's
2183 * to be ordered before this child.
2184 */
2185
2186 for ( ; prev ; prev = prev->prev) {
2187 /* Determine order of `prev'. */
2188 for (j = 0; j < RSORD_MAX; j++)
2189 if (rsord[j] == prev->tok)
2190 break;
2191 if (j == RSORD_MAX)
2192 j = -1;
2193
2194 if (j <= i)
2195 break;
2196 }
2197
2198 /*
2199 * Set this child back into its correct place
2200 * in front of the `prev' node.
2201 */
2202
2203 nch->prev = prev;
2204
2205 if (prev == NULL) {
2206 np->child->prev = nch;
2207 nch->next = np->child;
2208 np->child = nch;
2209 } else {
2210 if (prev->next)
2211 prev->next->prev = nch;
2212 nch->next = prev->next;
2213 prev->next = nch;
2214 }
2215 }
2216 }
2217
2218 /*
2219 * For some arguments of some macros,
2220 * convert all breakable hyphens into ASCII_HYPH.
2221 */
2222 static void
post_hyph(POST_ARGS)2223 post_hyph(POST_ARGS)
2224 {
2225 struct roff_node *n, *nch;
2226 char *cp;
2227
2228 n = mdoc->last;
2229 for (nch = n->child; nch != NULL; nch = nch->next) {
2230 if (nch->type != ROFFT_TEXT)
2231 continue;
2232 cp = nch->string;
2233 if (*cp == '\0')
2234 continue;
2235 while (*(++cp) != '\0')
2236 if (*cp == '-' &&
2237 isalpha((unsigned char)cp[-1]) &&
2238 isalpha((unsigned char)cp[1])) {
2239 if (n->tag == NULL && n->flags & NODE_ID)
2240 n->tag = mandoc_strdup(nch->string);
2241 *cp = ASCII_HYPH;
2242 }
2243 }
2244 }
2245
2246 static void
post_ns(POST_ARGS)2247 post_ns(POST_ARGS)
2248 {
2249 struct roff_node *n;
2250
2251 n = mdoc->last;
2252 if (n->flags & NODE_LINE ||
2253 (n->next != NULL && n->next->flags & NODE_DELIMC))
2254 mandoc_msg(MANDOCERR_NS_SKIP, n->line, n->pos, NULL);
2255 }
2256
2257 static void
post_sx(POST_ARGS)2258 post_sx(POST_ARGS)
2259 {
2260 post_delim(mdoc);
2261 post_hyph(mdoc);
2262 }
2263
2264 static void
post_sh(POST_ARGS)2265 post_sh(POST_ARGS)
2266 {
2267 post_section(mdoc);
2268
2269 switch (mdoc->last->type) {
2270 case ROFFT_HEAD:
2271 post_sh_head(mdoc);
2272 break;
2273 case ROFFT_BODY:
2274 switch (mdoc->lastsec) {
2275 case SEC_NAME:
2276 post_sh_name(mdoc);
2277 break;
2278 case SEC_SEE_ALSO:
2279 post_sh_see_also(mdoc);
2280 break;
2281 case SEC_AUTHORS:
2282 post_sh_authors(mdoc);
2283 break;
2284 default:
2285 break;
2286 }
2287 break;
2288 default:
2289 break;
2290 }
2291 }
2292
2293 static void
post_sh_name(POST_ARGS)2294 post_sh_name(POST_ARGS)
2295 {
2296 struct roff_node *n;
2297 int hasnm, hasnd;
2298
2299 hasnm = hasnd = 0;
2300
2301 for (n = mdoc->last->child; n != NULL; n = n->next) {
2302 switch (n->tok) {
2303 case MDOC_Nm:
2304 if (hasnm && n->child != NULL)
2305 mandoc_msg(MANDOCERR_NAMESEC_PUNCT,
2306 n->line, n->pos,
2307 "Nm %s", n->child->string);
2308 hasnm = 1;
2309 continue;
2310 case MDOC_Nd:
2311 hasnd = 1;
2312 if (n->next != NULL)
2313 mandoc_msg(MANDOCERR_NAMESEC_ND,
2314 n->line, n->pos, NULL);
2315 break;
2316 case TOKEN_NONE:
2317 if (n->type == ROFFT_TEXT &&
2318 n->string[0] == ',' && n->string[1] == '\0' &&
2319 n->next != NULL && n->next->tok == MDOC_Nm) {
2320 n = n->next;
2321 continue;
2322 }
2323 /* FALLTHROUGH */
2324 default:
2325 mandoc_msg(MANDOCERR_NAMESEC_BAD,
2326 n->line, n->pos, "%s", roff_name[n->tok]);
2327 continue;
2328 }
2329 break;
2330 }
2331
2332 if ( ! hasnm)
2333 mandoc_msg(MANDOCERR_NAMESEC_NONM,
2334 mdoc->last->line, mdoc->last->pos, NULL);
2335 if ( ! hasnd)
2336 mandoc_msg(MANDOCERR_NAMESEC_NOND,
2337 mdoc->last->line, mdoc->last->pos, NULL);
2338 }
2339
2340 static void
post_sh_see_also(POST_ARGS)2341 post_sh_see_also(POST_ARGS)
2342 {
2343 const struct roff_node *n;
2344 const char *name, *sec;
2345 const char *lastname, *lastsec, *lastpunct;
2346 int cmp;
2347
2348 n = mdoc->last->child;
2349 lastname = lastsec = lastpunct = NULL;
2350 while (n != NULL) {
2351 if (n->tok != MDOC_Xr ||
2352 n->child == NULL ||
2353 n->child->next == NULL)
2354 break;
2355
2356 /* Process one .Xr node. */
2357
2358 name = n->child->string;
2359 sec = n->child->next->string;
2360 if (lastsec != NULL) {
2361 if (lastpunct[0] != ',' || lastpunct[1] != '\0')
2362 mandoc_msg(MANDOCERR_XR_PUNCT, n->line,
2363 n->pos, "%s before %s(%s)",
2364 lastpunct, name, sec);
2365 cmp = strcmp(lastsec, sec);
2366 if (cmp > 0)
2367 mandoc_msg(MANDOCERR_XR_ORDER, n->line,
2368 n->pos, "%s(%s) after %s(%s)",
2369 name, sec, lastname, lastsec);
2370 else if (cmp == 0 &&
2371 strcasecmp(lastname, name) > 0)
2372 mandoc_msg(MANDOCERR_XR_ORDER, n->line,
2373 n->pos, "%s after %s", name, lastname);
2374 }
2375 lastname = name;
2376 lastsec = sec;
2377
2378 /* Process the following node. */
2379
2380 n = n->next;
2381 if (n == NULL)
2382 break;
2383 if (n->tok == MDOC_Xr) {
2384 lastpunct = "none";
2385 continue;
2386 }
2387 if (n->type != ROFFT_TEXT)
2388 break;
2389 for (name = n->string; *name != '\0'; name++)
2390 if (isalpha((const unsigned char)*name))
2391 return;
2392 lastpunct = n->string;
2393 if (n->next == NULL || n->next->tok == MDOC_Rs)
2394 mandoc_msg(MANDOCERR_XR_PUNCT, n->line,
2395 n->pos, "%s after %s(%s)",
2396 lastpunct, lastname, lastsec);
2397 n = n->next;
2398 }
2399 }
2400
2401 static int
child_an(const struct roff_node * n)2402 child_an(const struct roff_node *n)
2403 {
2404
2405 for (n = n->child; n != NULL; n = n->next)
2406 if ((n->tok == MDOC_An && n->child != NULL) || child_an(n))
2407 return 1;
2408 return 0;
2409 }
2410
2411 static void
post_sh_authors(POST_ARGS)2412 post_sh_authors(POST_ARGS)
2413 {
2414
2415 if ( ! child_an(mdoc->last))
2416 mandoc_msg(MANDOCERR_AN_MISSING,
2417 mdoc->last->line, mdoc->last->pos, NULL);
2418 }
2419
2420 /*
2421 * Return an upper bound for the string distance (allowing
2422 * transpositions). Not a full Levenshtein implementation
2423 * because Levenshtein is quadratic in the string length
2424 * and this function is called for every standard name,
2425 * so the check for each custom name would be cubic.
2426 * The following crude heuristics is linear, resulting
2427 * in quadratic behaviour for checking one custom name,
2428 * which does not cause measurable slowdown.
2429 */
2430 static int
similar(const char * s1,const char * s2)2431 similar(const char *s1, const char *s2)
2432 {
2433 const int maxdist = 3;
2434 int dist = 0;
2435
2436 while (s1[0] != '\0' && s2[0] != '\0') {
2437 if (s1[0] == s2[0]) {
2438 s1++;
2439 s2++;
2440 continue;
2441 }
2442 if (++dist > maxdist)
2443 return INT_MAX;
2444 if (s1[1] == s2[1]) { /* replacement */
2445 s1++;
2446 s2++;
2447 } else if (s1[0] == s2[1] && s1[1] == s2[0]) {
2448 s1 += 2; /* transposition */
2449 s2 += 2;
2450 } else if (s1[0] == s2[1]) /* insertion */
2451 s2++;
2452 else if (s1[1] == s2[0]) /* deletion */
2453 s1++;
2454 else
2455 return INT_MAX;
2456 }
2457 dist += strlen(s1) + strlen(s2);
2458 return dist > maxdist ? INT_MAX : dist;
2459 }
2460
2461 static void
post_sh_head(POST_ARGS)2462 post_sh_head(POST_ARGS)
2463 {
2464 struct roff_node *nch;
2465 const char *goodsec;
2466 const char *const *testsec;
2467 int dist, mindist;
2468 enum roff_sec sec;
2469
2470 /*
2471 * Process a new section. Sections are either "named" or
2472 * "custom". Custom sections are user-defined, while named ones
2473 * follow a conventional order and may only appear in certain
2474 * manual sections.
2475 */
2476
2477 sec = mdoc->last->sec;
2478
2479 /* The NAME should be first. */
2480
2481 if (sec != SEC_NAME && mdoc->lastnamed == SEC_NONE)
2482 mandoc_msg(MANDOCERR_NAMESEC_FIRST,
2483 mdoc->last->line, mdoc->last->pos, "Sh %s",
2484 sec != SEC_CUSTOM ? secnames[sec] :
2485 (nch = mdoc->last->child) == NULL ? "" :
2486 nch->type == ROFFT_TEXT ? nch->string :
2487 roff_name[nch->tok]);
2488
2489 /* The SYNOPSIS gets special attention in other areas. */
2490
2491 if (sec == SEC_SYNOPSIS) {
2492 roff_setreg(mdoc->roff, "nS", 1, '=');
2493 mdoc->flags |= MDOC_SYNOPSIS;
2494 } else {
2495 roff_setreg(mdoc->roff, "nS", 0, '=');
2496 mdoc->flags &= ~MDOC_SYNOPSIS;
2497 }
2498 if (sec == SEC_DESCRIPTION)
2499 fn_prio = TAG_STRONG;
2500
2501 /* Mark our last section. */
2502
2503 mdoc->lastsec = sec;
2504
2505 /* We don't care about custom sections after this. */
2506
2507 if (sec == SEC_CUSTOM) {
2508 if ((nch = mdoc->last->child) == NULL ||
2509 nch->type != ROFFT_TEXT || nch->next != NULL)
2510 return;
2511 goodsec = NULL;
2512 mindist = INT_MAX;
2513 for (testsec = secnames + 1; *testsec != NULL; testsec++) {
2514 dist = similar(nch->string, *testsec);
2515 if (dist < mindist) {
2516 goodsec = *testsec;
2517 mindist = dist;
2518 }
2519 }
2520 if (goodsec != NULL)
2521 mandoc_msg(MANDOCERR_SEC_TYPO, nch->line, nch->pos,
2522 "Sh %s instead of %s", nch->string, goodsec);
2523 return;
2524 }
2525
2526 /*
2527 * Check whether our non-custom section is being repeated or is
2528 * out of order.
2529 */
2530
2531 if (sec == mdoc->lastnamed)
2532 mandoc_msg(MANDOCERR_SEC_REP, mdoc->last->line,
2533 mdoc->last->pos, "Sh %s", secnames[sec]);
2534
2535 if (sec < mdoc->lastnamed)
2536 mandoc_msg(MANDOCERR_SEC_ORDER, mdoc->last->line,
2537 mdoc->last->pos, "Sh %s", secnames[sec]);
2538
2539 /* Mark the last named section. */
2540
2541 mdoc->lastnamed = sec;
2542
2543 /* Check particular section/manual conventions. */
2544
2545 if (mdoc->meta.msec == NULL)
2546 return;
2547
2548 goodsec = NULL;
2549 switch (sec) {
2550 case SEC_ERRORS:
2551 case SEC_RETURN_VALUES:
2552 if (*mdoc->meta.msec == '4')
2553 break;
2554 if (*mdoc->meta.msec == '7')
2555 break;
2556 goodsec = "2, 3, 4, 7, 9";
2557 /* FALLTHROUGH */
2558 case SEC_LIBRARY:
2559 if (*mdoc->meta.msec == '2')
2560 break;
2561 if (*mdoc->meta.msec == '3')
2562 break;
2563 if (NULL == goodsec)
2564 goodsec = "2, 3, 9";
2565 /* FALLTHROUGH */
2566 case SEC_CONTEXT:
2567 if (*mdoc->meta.msec == '9')
2568 break;
2569 if (NULL == goodsec)
2570 goodsec = "9";
2571 mandoc_msg(MANDOCERR_SEC_MSEC,
2572 mdoc->last->line, mdoc->last->pos,
2573 "Sh %s for %s only", secnames[sec], goodsec);
2574 break;
2575 default:
2576 break;
2577 }
2578 }
2579
2580 static void
post_xr(POST_ARGS)2581 post_xr(POST_ARGS)
2582 {
2583 struct roff_node *n, *nch;
2584
2585 n = mdoc->last;
2586 nch = n->child;
2587 if (nch->next == NULL) {
2588 mandoc_msg(MANDOCERR_XR_NOSEC,
2589 n->line, n->pos, "Xr %s", nch->string);
2590 } else {
2591 assert(nch->next == n->last);
2592 if(mandoc_xr_add(nch->next->string, nch->string,
2593 nch->line, nch->pos))
2594 mandoc_msg(MANDOCERR_XR_SELF,
2595 nch->line, nch->pos, "Xr %s %s",
2596 nch->string, nch->next->string);
2597 }
2598 post_delim_nb(mdoc);
2599 }
2600
2601 static void
post_section(POST_ARGS)2602 post_section(POST_ARGS)
2603 {
2604 struct roff_node *n, *nch;
2605 char *cp, *tag;
2606
2607 n = mdoc->last;
2608 switch (n->type) {
2609 case ROFFT_BLOCK:
2610 post_prevpar(mdoc);
2611 return;
2612 case ROFFT_HEAD:
2613 tag = NULL;
2614 deroff(&tag, n);
2615 if (tag != NULL) {
2616 for (cp = tag; *cp != '\0'; cp++)
2617 if (*cp == ' ')
2618 *cp = '_';
2619 if ((nch = n->child) != NULL &&
2620 nch->type == ROFFT_TEXT &&
2621 strcmp(nch->string, tag) == 0)
2622 tag_put(NULL, TAG_STRONG, n);
2623 else
2624 tag_put(tag, TAG_FALLBACK, n);
2625 free(tag);
2626 }
2627 post_delim(mdoc);
2628 post_hyph(mdoc);
2629 return;
2630 case ROFFT_BODY:
2631 break;
2632 default:
2633 return;
2634 }
2635 if ((nch = n->child) != NULL &&
2636 (nch->tok == MDOC_Pp || nch->tok == ROFF_br ||
2637 nch->tok == ROFF_sp)) {
2638 mandoc_msg(MANDOCERR_PAR_SKIP, nch->line, nch->pos,
2639 "%s after %s", roff_name[nch->tok],
2640 roff_name[n->tok]);
2641 roff_node_delete(mdoc, nch);
2642 }
2643 if ((nch = n->last) != NULL &&
2644 (nch->tok == MDOC_Pp || nch->tok == ROFF_br)) {
2645 mandoc_msg(MANDOCERR_PAR_SKIP, nch->line, nch->pos,
2646 "%s at the end of %s", roff_name[nch->tok],
2647 roff_name[n->tok]);
2648 roff_node_delete(mdoc, nch);
2649 }
2650 }
2651
2652 static void
post_prevpar(POST_ARGS)2653 post_prevpar(POST_ARGS)
2654 {
2655 struct roff_node *n, *np;
2656
2657 n = mdoc->last;
2658 if (n->type != ROFFT_ELEM && n->type != ROFFT_BLOCK)
2659 return;
2660 if ((np = roff_node_prev(n)) == NULL)
2661 return;
2662
2663 /*
2664 * Don't allow `Pp' prior to a paragraph-type
2665 * block: `Pp' or non-compact `Bd' or `Bl'.
2666 */
2667
2668 if (np->tok != MDOC_Pp && np->tok != ROFF_br)
2669 return;
2670 if (n->tok == MDOC_Bl && n->norm->Bl.comp)
2671 return;
2672 if (n->tok == MDOC_Bd && n->norm->Bd.comp)
2673 return;
2674 if (n->tok == MDOC_It && n->parent->norm->Bl.comp)
2675 return;
2676
2677 mandoc_msg(MANDOCERR_PAR_SKIP, np->line, np->pos,
2678 "%s before %s", roff_name[np->tok], roff_name[n->tok]);
2679 roff_node_delete(mdoc, np);
2680 }
2681
2682 static void
post_par(POST_ARGS)2683 post_par(POST_ARGS)
2684 {
2685 struct roff_node *np;
2686
2687 fn_prio = TAG_STRONG;
2688 post_prevpar(mdoc);
2689
2690 np = mdoc->last;
2691 if (np->child != NULL)
2692 mandoc_msg(MANDOCERR_ARG_SKIP, np->line, np->pos,
2693 "%s %s", roff_name[np->tok], np->child->string);
2694 }
2695
2696 static void
post_dd(POST_ARGS)2697 post_dd(POST_ARGS)
2698 {
2699 struct roff_node *n;
2700
2701 n = mdoc->last;
2702 n->flags |= NODE_NOPRT;
2703
2704 if (mdoc->meta.date != NULL) {
2705 mandoc_msg(MANDOCERR_PROLOG_REP, n->line, n->pos, "Dd");
2706 free(mdoc->meta.date);
2707 } else if (mdoc->flags & MDOC_PBODY)
2708 mandoc_msg(MANDOCERR_PROLOG_LATE, n->line, n->pos, "Dd");
2709 else if (mdoc->meta.title != NULL)
2710 mandoc_msg(MANDOCERR_PROLOG_ORDER,
2711 n->line, n->pos, "Dd after Dt");
2712 else if (mdoc->meta.os != NULL)
2713 mandoc_msg(MANDOCERR_PROLOG_ORDER,
2714 n->line, n->pos, "Dd after Os");
2715
2716 if (mdoc->quick && n != NULL)
2717 mdoc->meta.date = mandoc_strdup("");
2718 else
2719 mdoc->meta.date = mandoc_normdate(n->child, n);
2720 }
2721
2722 static void
post_dt(POST_ARGS)2723 post_dt(POST_ARGS)
2724 {
2725 struct roff_node *nn, *n;
2726 const char *cp;
2727 char *p;
2728
2729 n = mdoc->last;
2730 n->flags |= NODE_NOPRT;
2731
2732 if (mdoc->flags & MDOC_PBODY) {
2733 mandoc_msg(MANDOCERR_DT_LATE, n->line, n->pos, "Dt");
2734 return;
2735 }
2736
2737 if (mdoc->meta.title != NULL)
2738 mandoc_msg(MANDOCERR_PROLOG_REP, n->line, n->pos, "Dt");
2739 else if (mdoc->meta.os != NULL)
2740 mandoc_msg(MANDOCERR_PROLOG_ORDER,
2741 n->line, n->pos, "Dt after Os");
2742
2743 free(mdoc->meta.title);
2744 free(mdoc->meta.msec);
2745 free(mdoc->meta.vol);
2746 free(mdoc->meta.arch);
2747
2748 mdoc->meta.title = NULL;
2749 mdoc->meta.msec = NULL;
2750 mdoc->meta.vol = NULL;
2751 mdoc->meta.arch = NULL;
2752
2753 /* Mandatory first argument: title. */
2754
2755 nn = n->child;
2756 if (nn == NULL || *nn->string == '\0') {
2757 mandoc_msg(MANDOCERR_DT_NOTITLE, n->line, n->pos, "Dt");
2758 mdoc->meta.title = mandoc_strdup("UNTITLED");
2759 } else {
2760 mdoc->meta.title = mandoc_strdup(nn->string);
2761
2762 /* Check that all characters are uppercase. */
2763
2764 for (p = nn->string; *p != '\0'; p++)
2765 if (islower((unsigned char)*p)) {
2766 mandoc_msg(MANDOCERR_TITLE_CASE, nn->line,
2767 nn->pos + (int)(p - nn->string),
2768 "Dt %s", nn->string);
2769 break;
2770 }
2771 }
2772
2773 /* Mandatory second argument: section. */
2774
2775 if (nn != NULL)
2776 nn = nn->next;
2777
2778 if (nn == NULL) {
2779 mandoc_msg(MANDOCERR_MSEC_MISSING, n->line, n->pos,
2780 "Dt %s", mdoc->meta.title);
2781 mdoc->meta.vol = mandoc_strdup("LOCAL");
2782 return; /* msec and arch remain NULL. */
2783 }
2784
2785 mdoc->meta.msec = mandoc_strdup(nn->string);
2786
2787 /* Infer volume title from section number. */
2788
2789 cp = mandoc_a2msec(nn->string);
2790 if (cp == NULL) {
2791 mandoc_msg(MANDOCERR_MSEC_BAD,
2792 nn->line, nn->pos, "Dt ... %s", nn->string);
2793 mdoc->meta.vol = mandoc_strdup(nn->string);
2794 } else {
2795 mdoc->meta.vol = mandoc_strdup(cp);
2796 if (mdoc->filesec != '\0' &&
2797 mdoc->filesec != *nn->string &&
2798 *nn->string >= '1' && *nn->string <= '9')
2799 mandoc_msg(MANDOCERR_MSEC_FILE, nn->line, nn->pos,
2800 "*.%c vs Dt ... %c", mdoc->filesec, *nn->string);
2801 }
2802
2803 /* Optional third argument: architecture. */
2804
2805 if ((nn = nn->next) == NULL)
2806 return;
2807
2808 for (p = nn->string; *p != '\0'; p++)
2809 *p = tolower((unsigned char)*p);
2810 mdoc->meta.arch = mandoc_strdup(nn->string);
2811
2812 /* Ignore fourth and later arguments. */
2813
2814 if ((nn = nn->next) != NULL)
2815 mandoc_msg(MANDOCERR_ARG_EXCESS,
2816 nn->line, nn->pos, "Dt ... %s", nn->string);
2817 }
2818
2819 static void
post_bx(POST_ARGS)2820 post_bx(POST_ARGS)
2821 {
2822 struct roff_node *n, *nch;
2823 const char *macro;
2824
2825 post_delim_nb(mdoc);
2826
2827 n = mdoc->last;
2828 nch = n->child;
2829
2830 if (nch != NULL) {
2831 macro = !strcmp(nch->string, "Open") ? "Ox" :
2832 !strcmp(nch->string, "Net") ? "Nx" :
2833 !strcmp(nch->string, "Free") ? "Fx" :
2834 !strcmp(nch->string, "DragonFly") ? "Dx" : NULL;
2835 if (macro != NULL)
2836 mandoc_msg(MANDOCERR_BX,
2837 n->line, n->pos, "%s", macro);
2838 mdoc->last = nch;
2839 nch = nch->next;
2840 mdoc->next = ROFF_NEXT_SIBLING;
2841 roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
2842 mdoc->last->flags |= NODE_NOSRC;
2843 mdoc->next = ROFF_NEXT_SIBLING;
2844 } else
2845 mdoc->next = ROFF_NEXT_CHILD;
2846 roff_word_alloc(mdoc, n->line, n->pos, "BSD");
2847 mdoc->last->flags |= NODE_NOSRC;
2848
2849 if (nch == NULL) {
2850 mdoc->last = n;
2851 return;
2852 }
2853
2854 roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
2855 mdoc->last->flags |= NODE_NOSRC;
2856 mdoc->next = ROFF_NEXT_SIBLING;
2857 roff_word_alloc(mdoc, n->line, n->pos, "-");
2858 mdoc->last->flags |= NODE_NOSRC;
2859 roff_elem_alloc(mdoc, n->line, n->pos, MDOC_Ns);
2860 mdoc->last->flags |= NODE_NOSRC;
2861 mdoc->last = n;
2862
2863 /*
2864 * Make `Bx's second argument always start with an uppercase
2865 * letter. Groff checks if it's an "accepted" term, but we just
2866 * uppercase blindly.
2867 */
2868
2869 *nch->string = (char)toupper((unsigned char)*nch->string);
2870 }
2871
2872 static void
post_os(POST_ARGS)2873 post_os(POST_ARGS)
2874 {
2875 #ifndef OSNAME
2876 struct utsname utsname;
2877 static char *defbuf;
2878 #endif
2879 struct roff_node *n;
2880
2881 n = mdoc->last;
2882 n->flags |= NODE_NOPRT;
2883
2884 if (mdoc->meta.os != NULL)
2885 mandoc_msg(MANDOCERR_PROLOG_REP, n->line, n->pos, "Os");
2886 else if (mdoc->flags & MDOC_PBODY)
2887 mandoc_msg(MANDOCERR_PROLOG_LATE, n->line, n->pos, "Os");
2888
2889 post_delim(mdoc);
2890
2891 /*
2892 * Set the operating system by way of the `Os' macro.
2893 * The order of precedence is:
2894 * 1. the argument of the `Os' macro, unless empty
2895 * 2. the -Ios=foo command line argument, if provided
2896 * 3. -DOSNAME="\"foo\"", if provided during compilation
2897 * 4. "sysname release" from uname(3)
2898 */
2899
2900 free(mdoc->meta.os);
2901 mdoc->meta.os = NULL;
2902 deroff(&mdoc->meta.os, n);
2903 if (mdoc->meta.os)
2904 goto out;
2905
2906 if (mdoc->os_s != NULL) {
2907 mdoc->meta.os = mandoc_strdup(mdoc->os_s);
2908 goto out;
2909 }
2910
2911 #ifdef OSNAME
2912 mdoc->meta.os = mandoc_strdup(OSNAME);
2913 #else /*!OSNAME */
2914 if (defbuf == NULL) {
2915 if (uname(&utsname) == -1) {
2916 mandoc_msg(MANDOCERR_OS_UNAME, n->line, n->pos, "Os");
2917 defbuf = mandoc_strdup("UNKNOWN");
2918 } else
2919 mandoc_asprintf(&defbuf, "%s %s",
2920 utsname.sysname, utsname.release);
2921 }
2922 mdoc->meta.os = mandoc_strdup(defbuf);
2923 #endif /*!OSNAME*/
2924
2925 out:
2926 if (mdoc->meta.os_e == MANDOC_OS_OTHER) {
2927 if (strstr(mdoc->meta.os, "OpenBSD") != NULL)
2928 mdoc->meta.os_e = MANDOC_OS_OPENBSD;
2929 else if (strstr(mdoc->meta.os, "NetBSD") != NULL)
2930 mdoc->meta.os_e = MANDOC_OS_NETBSD;
2931 }
2932
2933 /*
2934 * This is the earliest point where we can check
2935 * Mdocdate conventions because we don't know
2936 * the operating system earlier.
2937 */
2938
2939 if (n->child != NULL)
2940 mandoc_msg(MANDOCERR_OS_ARG, n->child->line, n->child->pos,
2941 "Os %s (%s)", n->child->string,
2942 mdoc->meta.os_e == MANDOC_OS_OPENBSD ?
2943 "OpenBSD" : "NetBSD");
2944
2945 while (n->tok != MDOC_Dd)
2946 if ((n = n->prev) == NULL)
2947 return;
2948 if ((n = n->child) == NULL)
2949 return;
2950 if (strncmp(n->string, "$" "Mdocdate", 9)) {
2951 if (mdoc->meta.os_e == MANDOC_OS_OPENBSD)
2952 mandoc_msg(MANDOCERR_MDOCDATE_MISSING, n->line,
2953 n->pos, "Dd %s (OpenBSD)", n->string);
2954 } else {
2955 if (mdoc->meta.os_e == MANDOC_OS_NETBSD)
2956 mandoc_msg(MANDOCERR_MDOCDATE, n->line,
2957 n->pos, "Dd %s (NetBSD)", n->string);
2958 }
2959 }
2960
2961 enum roff_sec
mdoc_a2sec(const char * p)2962 mdoc_a2sec(const char *p)
2963 {
2964 int i;
2965
2966 for (i = 0; i < (int)SEC__MAX; i++)
2967 if (secnames[i] && 0 == strcmp(p, secnames[i]))
2968 return (enum roff_sec)i;
2969
2970 return SEC_CUSTOM;
2971 }
2972
2973 static size_t
macro2len(enum roff_tok macro)2974 macro2len(enum roff_tok macro)
2975 {
2976
2977 switch (macro) {
2978 case MDOC_Ad:
2979 return 12;
2980 case MDOC_Ao:
2981 return 12;
2982 case MDOC_An:
2983 return 12;
2984 case MDOC_Aq:
2985 return 12;
2986 case MDOC_Ar:
2987 return 12;
2988 case MDOC_Bo:
2989 return 12;
2990 case MDOC_Bq:
2991 return 12;
2992 case MDOC_Cd:
2993 return 12;
2994 case MDOC_Cm:
2995 return 10;
2996 case MDOC_Do:
2997 return 10;
2998 case MDOC_Dq:
2999 return 12;
3000 case MDOC_Dv:
3001 return 12;
3002 case MDOC_Eo:
3003 return 12;
3004 case MDOC_Em:
3005 return 10;
3006 case MDOC_Er:
3007 return 17;
3008 case MDOC_Ev:
3009 return 15;
3010 case MDOC_Fa:
3011 return 12;
3012 case MDOC_Fl:
3013 return 10;
3014 case MDOC_Fo:
3015 return 16;
3016 case MDOC_Fn:
3017 return 16;
3018 case MDOC_Ic:
3019 return 10;
3020 case MDOC_Li:
3021 return 16;
3022 case MDOC_Ms:
3023 return 6;
3024 case MDOC_Nm:
3025 return 10;
3026 case MDOC_No:
3027 return 12;
3028 case MDOC_Oo:
3029 return 10;
3030 case MDOC_Op:
3031 return 14;
3032 case MDOC_Pa:
3033 return 32;
3034 case MDOC_Pf:
3035 return 12;
3036 case MDOC_Po:
3037 return 12;
3038 case MDOC_Pq:
3039 return 12;
3040 case MDOC_Ql:
3041 return 16;
3042 case MDOC_Qo:
3043 return 12;
3044 case MDOC_So:
3045 return 12;
3046 case MDOC_Sq:
3047 return 12;
3048 case MDOC_Sy:
3049 return 6;
3050 case MDOC_Sx:
3051 return 16;
3052 case MDOC_Tn:
3053 return 10;
3054 case MDOC_Va:
3055 return 12;
3056 case MDOC_Vt:
3057 return 12;
3058 case MDOC_Xr:
3059 return 10;
3060 default:
3061 break;
3062 };
3063 return 0;
3064 }
3065