c315c276b62b073799c0666b52344fb18d3ff130
[ncurses.git] / progs / tic.c
1 /****************************************************************************
2  * Copyright (c) 1998-2015,2016 Free Software Foundation, Inc.              *
3  *                                                                          *
4  * Permission is hereby granted, free of charge, to any person obtaining a  *
5  * copy of this software and associated documentation files (the            *
6  * "Software"), to deal in the Software without restriction, including      *
7  * without limitation the rights to use, copy, modify, merge, publish,      *
8  * distribute, distribute with modifications, sublicense, and/or sell       *
9  * copies of the Software, and to permit persons to whom the Software is    *
10  * furnished to do so, subject to the following conditions:                 *
11  *                                                                          *
12  * The above copyright notice and this permission notice shall be included  *
13  * in all copies or substantial portions of the Software.                   *
14  *                                                                          *
15  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS  *
16  * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF               *
17  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.   *
18  * IN NO EVENT SHALL THE ABOVE COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,   *
19  * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR    *
20  * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR    *
21  * THE USE OR OTHER DEALINGS IN THE SOFTWARE.                               *
22  *                                                                          *
23  * Except as contained in this notice, the name(s) of the above copyright   *
24  * holders shall not be used in advertising or otherwise to promote the     *
25  * sale, use or other dealings in this Software without prior written       *
26  * authorization.                                                           *
27  ****************************************************************************/
28
29 /****************************************************************************
30  *  Author: Zeyd M. Ben-Halim <zmbenhal@netcom.com> 1992,1995               *
31  *     and: Eric S. Raymond <esr@snark.thyrsus.com>                         *
32  *     and: Thomas E. Dickey                        1996 on                 *
33  ****************************************************************************/
34
35 /*
36  *      tic.c --- Main program for terminfo compiler
37  *                      by Eric S. Raymond
38  *                      and Thomas E Dickey
39  *
40  */
41
42 #include <progs.priv.h>
43 #include <sys/stat.h>
44
45 #include <dump_entry.h>
46 #include <tparm_type.h>
47 #include <hashed_db.h>
48 #include <parametrized.h>
49 #include <transform.h>
50
51 MODULE_ID("$Id: tic.c,v 1.225 2016/11/20 00:34:58 tom Exp $")
52
53 #define STDIN_NAME "<stdin>"
54
55 const char *_nc_progname = "tic";
56
57 static FILE *log_fp;
58 static FILE *tmp_fp;
59 static bool capdump = FALSE;    /* running as infotocap? */
60 static bool infodump = FALSE;   /* running as captoinfo? */
61 static bool showsummary = FALSE;
62 static char **namelst = 0;
63 static const char *to_remove;
64
65 static void (*save_check_termtype) (TERMTYPE *, bool);
66 static void check_termtype(TERMTYPE *tt, bool);
67
68 static const char usage_string[] = "\
69 [-e names] \
70 [-o dir] \
71 [-R name] \
72 [-v[n]] \
73 [-V] \
74 [-w[n]] \
75 [-\
76 1\
77 a\
78 C\
79 D\
80 c\
81 f\
82 G\
83 g\
84 I\
85 K\
86 L\
87 N\
88 r\
89 s\
90 T\
91 t\
92 U\
93 x\
94 ] \
95 source-file\n";
96
97 #if NO_LEAKS
98 static void
99 free_namelist(char **src)
100 {
101     if (src != 0) {
102         int n;
103         for (n = 0; src[n] != 0; ++n)
104             free(src[n]);
105         free(src);
106     }
107 }
108 #endif
109
110 static void
111 cleanup(void)
112 {
113     int rc;
114
115 #if NO_LEAKS
116     free_namelist(namelst);
117 #endif
118     if (tmp_fp != 0)
119         fclose(tmp_fp);
120     if (to_remove != 0) {
121 #if HAVE_REMOVE
122         rc = remove(to_remove);
123 #else
124         rc = unlink(to_remove);
125 #endif
126         if (rc != 0)
127             perror(to_remove);
128     }
129 }
130
131 static void
132 failed(const char *msg)
133 {
134     perror(msg);
135     ExitProgram(EXIT_FAILURE);
136 }
137
138 static void
139 usage(void)
140 {
141 #define DATA(s) s "\n"
142     static const char options_string[] =
143     {
144         DATA("Options:")
145         DATA("  -0         format translation output all capabilities on one line")
146         DATA("  -1         format translation output one capability per line")
147 #if NCURSES_XNAMES
148         DATA("  -a         retain commented-out capabilities (sets -x also)")
149 #endif
150         DATA("  -C         translate entries to termcap source form")
151         DATA("  -D         print list of tic's database locations (first must be writable)")
152         DATA("  -c         check only, validate input without compiling or translating")
153         DATA("  -e<names>  translate/compile only entries named by comma-separated list")
154         DATA("  -f         format complex strings for readability")
155         DATA("  -G         format %{number} to %'char'")
156         DATA("  -g         format %'char' to %{number}")
157         DATA("  -I         translate entries to terminfo source form")
158         DATA("  -K         translate entries to termcap source form with BSD syntax")
159         DATA("  -L         translate entries to full terminfo source form")
160         DATA("  -N         disable smart defaults for source translation")
161         DATA("  -o<dir>    set output directory for compiled entry writes")
162         DATA("  -Q[n]      dump compiled description")
163         DATA("  -q    brief listing, removes headers")
164         DATA("  -R<name>   restrict translation to given terminfo/termcap version")
165         DATA("  -r         force resolution of all use entries in source translation")
166         DATA("  -s         print summary statistics")
167         DATA("  -T         remove size-restrictions on compiled description")
168 #if NCURSES_XNAMES
169         DATA("  -t         suppress commented-out capabilities")
170 #endif
171         DATA("  -U         suppress post-processing of entries")
172         DATA("  -V         print version")
173         DATA("  -W         wrap long strings according to -w[n] option")
174         DATA("  -v[n]      set verbosity level")
175         DATA("  -w[n]      set format width for translation output")
176 #if NCURSES_XNAMES
177         DATA("  -x         treat unknown capabilities as user-defined")
178 #endif
179         DATA("")
180         DATA("Parameters:")
181         DATA("  <file>     file to translate or compile")
182     };
183 #undef DATA
184
185     fprintf(stderr, "Usage: %s %s\n", _nc_progname, usage_string);
186     fputs(options_string, stderr);
187     ExitProgram(EXIT_FAILURE);
188 }
189
190 #define L_BRACE '{'
191 #define R_BRACE '}'
192 #define S_QUOTE '\''
193
194 static void
195 write_it(ENTRY * ep)
196 {
197     unsigned n;
198     int ch;
199     char *s, *d, *t;
200     char result[MAX_ENTRY_SIZE];
201
202     /*
203      * Look for strings that contain %{number}, convert them to %'char',
204      * which is shorter and runs a little faster.
205      */
206     for (n = 0; n < STRCOUNT; n++) {
207         s = ep->tterm.Strings[n];
208         if (VALID_STRING(s)
209             && strchr(s, L_BRACE) != 0) {
210             d = result;
211             t = s;
212             while ((ch = *t++) != 0) {
213                 *d++ = (char) ch;
214                 if (ch == '\\') {
215                     *d++ = *t++;
216                 } else if ((ch == '%')
217                            && (*t == L_BRACE)) {
218                     char *v = 0;
219                     long value = strtol(t + 1, &v, 0);
220                     if (v != 0
221                         && *v == R_BRACE
222                         && value > 0
223                         && value != '\\'        /* FIXME */
224                         && value < 127
225                         && isprint((int) value)) {
226                         *d++ = S_QUOTE;
227                         *d++ = (char) value;
228                         *d++ = S_QUOTE;
229                         t = (v + 1);
230                     }
231                 }
232             }
233             *d = 0;
234             if (strlen(result) < strlen(s))
235                 _nc_STRCPY(s, result, strlen(s) + 1);
236         }
237     }
238
239     _nc_set_type(_nc_first_name(ep->tterm.term_names));
240     _nc_curr_line = (int) ep->startline;
241     _nc_write_entry(&ep->tterm);
242 }
243
244 static bool
245 immedhook(ENTRY * ep GCC_UNUSED)
246 /* write out entries with no use capabilities immediately to save storage */
247 {
248 #if !HAVE_BIG_CORE
249     /*
250      * This is strictly a core-economy kluge.  The really clean way to handle
251      * compilation is to slurp the whole file into core and then do all the
252      * name-collision checks and entry writes in one swell foop.  But the
253      * terminfo master file is large enough that some core-poor systems swap
254      * like crazy when you compile it this way...there have been reports of
255      * this process taking *three hours*, rather than the twenty seconds or
256      * less typical on my development box.
257      *
258      * So.  This hook *immediately* writes out the referenced entry if it
259      * has no use capabilities.  The compiler main loop refrains from
260      * adding the entry to the in-core list when this hook fires.  If some
261      * other entry later needs to reference an entry that got written
262      * immediately, that's OK; the resolution code will fetch it off disk
263      * when it can't find it in core.
264      *
265      * Name collisions will still be detected, just not as cleanly.  The
266      * write_entry() code complains before overwriting an entry that
267      * postdates the time of tic's first call to write_entry().  Thus
268      * it will complain about overwriting entries newly made during the
269      * tic run, but not about overwriting ones that predate it.
270      *
271      * The reason this is a hook, and not in line with the rest of the
272      * compiler code, is that the support for termcap fallback cannot assume
273      * it has anywhere to spool out these entries!
274      *
275      * The _nc_set_type() call here requires a compensating one in
276      * _nc_parse_entry().
277      *
278      * If you define HAVE_BIG_CORE, you'll disable this kluge.  This will
279      * make tic a bit faster (because the resolution code won't have to do
280      * disk I/O nearly as often).
281      */
282     if (ep->nuses == 0) {
283         int oldline = _nc_curr_line;
284
285         write_it(ep);
286         _nc_curr_line = oldline;
287         free(ep->tterm.str_table);
288         return (TRUE);
289     }
290 #endif /* HAVE_BIG_CORE */
291     return (FALSE);
292 }
293
294 static void
295 put_translate(int c)
296 /* emit a comment char, translating terminfo names to termcap names */
297 {
298     static bool in_name = FALSE;
299     static size_t have, used;
300     static char *namebuf, *suffix;
301
302     if (in_name) {
303         if (used + 1 >= have) {
304             have += 132;
305             if ((namebuf = typeRealloc(char, have, namebuf)) == 0)
306                   failed("put_translate namebuf");
307             if ((suffix = typeRealloc(char, have, suffix)) == 0)
308                   failed("put_translate suffix");
309         }
310         if (c == '\n' || c == '@') {
311             namebuf[used++] = '\0';
312             (void) putchar('<');
313             (void) fputs(namebuf, stdout);
314             putchar(c);
315             in_name = FALSE;
316         } else if (c != '>') {
317             namebuf[used++] = (char) c;
318         } else {                /* ah! candidate name! */
319             char *up;
320             NCURSES_CONST char *tp;
321
322             namebuf[used++] = '\0';
323             in_name = FALSE;
324
325             suffix[0] = '\0';
326             if ((up = strchr(namebuf, '#')) != 0
327                 || (up = strchr(namebuf, '=')) != 0
328                 || ((up = strchr(namebuf, '@')) != 0 && up[1] == '>')) {
329                 _nc_STRCPY(suffix, up, have);
330                 *up = '\0';
331             }
332
333             if ((tp = nametrans(namebuf)) != 0) {
334                 (void) putchar(':');
335                 (void) fputs(tp, stdout);
336                 (void) fputs(suffix, stdout);
337                 (void) putchar(':');
338             } else {
339                 /* couldn't find a translation, just dump the name */
340                 (void) putchar('<');
341                 (void) fputs(namebuf, stdout);
342                 (void) fputs(suffix, stdout);
343                 (void) putchar('>');
344             }
345         }
346     } else {
347         used = 0;
348         if (c == '<') {
349             in_name = TRUE;
350         } else {
351             putchar(c);
352         }
353     }
354 }
355
356 /* Returns a string, stripped of leading/trailing whitespace */
357 static char *
358 stripped(char *src)
359 {
360     char *dst = 0;
361
362     while (isspace(UChar(*src)))
363         src++;
364
365     if (*src != '\0') {
366         size_t len;
367
368         if ((dst = strdup(src)) == NULL) {
369             failed("strdup");
370         } else {
371             len = strlen(dst);
372             while (--len != 0 && isspace(UChar(dst[len])))
373                 dst[len] = '\0';
374         }
375     }
376     return dst;
377 }
378
379 static FILE *
380 open_tempfile(char *filename)
381 {
382     FILE *result = 0;
383
384     _nc_STRCPY(filename, "/tmp/XXXXXX", PATH_MAX);
385 #if HAVE_MKSTEMP
386     {
387         int oldmask = (int) umask(077);
388         int fd = mkstemp(filename);
389         if (fd >= 0)
390             result = fdopen(fd, "w");
391         umask((mode_t) oldmask);
392     }
393 #else
394     if (tmpnam(filename) != 0)
395         result = fopen(filename, "w");
396 #endif
397     return result;
398 }
399
400 static FILE *
401 copy_input(FILE *source, const char *filename, char *alt_file)
402 {
403     char my_altfile[PATH_MAX];
404     FILE *result = 0;
405     FILE *target = 0;
406     int ch;
407
408     if (alt_file == 0)
409         alt_file = my_altfile;
410
411     if (source == 0) {
412         failed("copy_input (source)");
413     } else if ((target = open_tempfile(alt_file)) == 0) {
414         failed("copy_input (target)");
415     } else {
416         clearerr(source);
417         for (;;) {
418             ch = fgetc(source);
419             if (feof(source)) {
420                 break;
421             } else if (ferror(source)) {
422                 failed(filename);
423             } else if (ch == 0) {
424                 /* don't loop in case someone wants to convert /dev/zero */
425                 fprintf(stderr, "%s: %s is not a text-file\n", _nc_progname, filename);
426                 ExitProgram(EXIT_FAILURE);
427             }
428             fputc(ch, target);
429         }
430         fclose(source);
431         /*
432          * rewind() does not force the target file's data to disk (not does
433          * fflush()...).  So open a second stream on the data and then close
434          * the one that we were writing on before starting to read from the
435          * second stream.
436          */
437         result = fopen(alt_file, "r+");
438         fclose(target);
439         to_remove = strdup(alt_file);
440     }
441     return result;
442 }
443
444 static FILE *
445 open_input(const char *filename, char *alt_file)
446 {
447     FILE *fp;
448     struct stat sb;
449     int mode;
450
451     if (!strcmp(filename, "-")) {
452         fp = copy_input(stdin, STDIN_NAME, alt_file);
453     } else if (stat(filename, &sb) < 0) {
454         fprintf(stderr, "%s: %s %s\n", _nc_progname, filename, strerror(errno));
455         ExitProgram(EXIT_FAILURE);
456     } else if ((mode = (sb.st_mode & S_IFMT)) == S_IFDIR
457                || (mode != S_IFREG && mode != S_IFCHR && mode != S_IFIFO)) {
458         fprintf(stderr, "%s: %s is not a file\n", _nc_progname, filename);
459         ExitProgram(EXIT_FAILURE);
460     } else {
461         fp = fopen(filename, "r");
462
463         if (fp == 0) {
464             fprintf(stderr, "%s: Can't open %s\n", _nc_progname, filename);
465             ExitProgram(EXIT_FAILURE);
466         }
467         if (mode != S_IFREG) {
468             if (alt_file != 0) {
469                 FILE *fp2 = copy_input(fp, filename, alt_file);
470                 fp = fp2;
471             } else {
472                 fprintf(stderr, "%s: %s is not a file\n", _nc_progname, filename);
473                 ExitProgram(EXIT_FAILURE);
474             }
475         }
476     }
477     return fp;
478 }
479
480 /* Parse the "-e" option-value into a list of names */
481 static char **
482 make_namelist(char *src)
483 {
484     char **dst = 0;
485
486     char *s, *base;
487     unsigned pass, n, nn;
488     char buffer[BUFSIZ];
489
490     if (src == 0) {
491         /* EMPTY */ ;
492     } else if (strchr(src, '/') != 0) {         /* a filename */
493         FILE *fp = open_input(src, (char *) 0);
494
495         for (pass = 1; pass <= 2; pass++) {
496             nn = 0;
497             while (fgets(buffer, sizeof(buffer), fp) != 0) {
498                 if ((s = stripped(buffer)) != 0) {
499                     if (dst != 0)
500                         dst[nn] = s;
501                     else
502                         free(s);
503                     nn++;
504                 }
505             }
506             if (pass == 1) {
507                 if ((dst = typeCalloc(char *, nn + 1)) == 0)
508                       failed("make_namelist");
509                 rewind(fp);
510             }
511         }
512         fclose(fp);
513     } else {                    /* literal list of names */
514         for (pass = 1; pass <= 2; pass++) {
515             for (n = nn = 0, base = src;; n++) {
516                 int mark = src[n];
517                 if (mark == ',' || mark == '\0') {
518                     if (pass == 1) {
519                         nn++;
520                     } else {
521                         src[n] = '\0';
522                         if ((s = stripped(base)) != 0)
523                             dst[nn++] = s;
524                         base = &src[n + 1];
525                     }
526                 }
527                 if (mark == '\0')
528                     break;
529             }
530             if (pass == 1) {
531                 if ((dst = typeCalloc(char *, nn + 1)) == 0)
532                       failed("make_namelist");
533             }
534         }
535     }
536     if (showsummary && (dst != 0)) {
537         fprintf(log_fp, "Entries that will be compiled:\n");
538         for (n = 0; dst[n] != 0; n++)
539             fprintf(log_fp, "%u:%s\n", n + 1, dst[n]);
540     }
541     return dst;
542 }
543
544 static bool
545 matches(char **needle, const char *haystack)
546 /* does entry in needle list match |-separated field in haystack? */
547 {
548     bool code = FALSE;
549     size_t n;
550
551     if (needle != 0) {
552         for (n = 0; needle[n] != 0; n++) {
553             if (_nc_name_match(haystack, needle[n], "|")) {
554                 code = TRUE;
555                 break;
556             }
557         }
558     } else
559         code = TRUE;
560     return (code);
561 }
562
563 static char *
564 valid_db_path(const char *nominal)
565 {
566     struct stat sb;
567 #if USE_HASHED_DB
568     char suffix[] = DBM_SUFFIX;
569     size_t need = strlen(nominal) + sizeof(suffix);
570     char *result = malloc(need);
571
572     if (result == 0)
573         failed("valid_db_path");
574     _nc_STRCPY(result, nominal, need);
575     if (strcmp(result + need - sizeof(suffix), suffix)) {
576         _nc_STRCAT(result, suffix, need);
577     }
578 #else
579     char *result = strdup(nominal);
580 #endif
581
582     DEBUG(1, ("** stat(%s)", result));
583     if (stat(result, &sb) >= 0) {
584 #if USE_HASHED_DB
585         if (!S_ISREG(sb.st_mode)
586             || access(result, R_OK | W_OK) != 0) {
587             DEBUG(1, ("...not a writable file"));
588             free(result);
589             result = 0;
590         }
591 #else
592         if (!S_ISDIR(sb.st_mode)
593             || access(result, R_OK | W_OK | X_OK) != 0) {
594             DEBUG(1, ("...not a writable directory"));
595             free(result);
596             result = 0;
597         }
598 #endif
599     } else {
600         /* check if parent is directory and is writable */
601         unsigned leaf = _nc_pathlast(result);
602
603         DEBUG(1, ("...not found"));
604         if (leaf) {
605             char save = result[leaf];
606             result[leaf] = 0;
607             if (stat(result, &sb) >= 0
608                 && S_ISDIR(sb.st_mode)
609                 && access(result, R_OK | W_OK | X_OK) == 0) {
610                 result[leaf] = save;
611             } else {
612                 DEBUG(1, ("...parent directory %s is not writable", result));
613                 free(result);
614                 result = 0;
615             }
616         } else {
617             DEBUG(1, ("... no parent directory"));
618             free(result);
619             result = 0;
620         }
621     }
622     return result;
623 }
624
625 /*
626  * Show the databases to which tic could write.  The location to which it
627  * writes is always the first one.  If none are writable, print an error
628  * message.
629  */
630 static void
631 show_databases(const char *outdir)
632 {
633     bool specific = (outdir != 0) || getenv("TERMINFO") != 0;
634     char *result;
635     const char *tried = 0;
636
637     if (outdir == 0) {
638         outdir = _nc_tic_dir(0);
639     }
640     if ((result = valid_db_path(outdir)) != 0) {
641         printf("%s\n", result);
642         free(result);
643     } else {
644         tried = outdir;
645     }
646
647     if ((outdir = _nc_home_terminfo())) {
648         if ((result = valid_db_path(outdir)) != 0) {
649             printf("%s\n", result);
650             free(result);
651         } else if (!specific) {
652             tried = outdir;
653         }
654     }
655
656     /*
657      * If we can write in neither location, give an error message.
658      */
659     if (tried) {
660         fflush(stdout);
661         fprintf(stderr, "%s: %s (no permission)\n", _nc_progname, tried);
662         ExitProgram(EXIT_FAILURE);
663     }
664 }
665
666 static void
667 add_digit(int *target, int source)
668 {
669     *target = (*target * 10) + (source - '0');
670 }
671
672 #define VtoTrace(opt) (unsigned) ((opt > 0) ? opt : (opt == 0))
673
674 int
675 main(int argc, char *argv[])
676 {
677     char my_tmpname[PATH_MAX];
678     char my_altfile[PATH_MAX];
679     int v_opt = -1;
680     unsigned debug_level;
681     int smart_defaults = TRUE;
682     char *termcap;
683     ENTRY *qp;
684
685     int this_opt, last_opt = '?';
686
687     int outform = F_TERMINFO;   /* output format */
688     int sortmode = S_TERMINFO;  /* sort_mode */
689
690     int width = 60;
691     int height = 65535;
692     bool formatted = FALSE;     /* reformat complex strings? */
693     bool literal = FALSE;       /* suppress post-processing? */
694     int numbers = 0;            /* format "%'char'" to/from "%{number}" */
695     bool forceresolve = FALSE;  /* force resolution */
696     bool limited = TRUE;
697     char *tversion = (char *) NULL;
698     const char *source_file = "terminfo";
699     char *outdir = (char *) NULL;
700     bool check_only = FALSE;
701     bool suppress_untranslatable = FALSE;
702     int quickdump = 0;
703     bool quiet = FALSE;
704     bool wrap_strings = FALSE;
705
706     log_fp = stderr;
707
708     _nc_progname = _nc_rootname(argv[0]);
709     atexit(cleanup);
710
711     if ((infodump = same_program(_nc_progname, PROG_CAPTOINFO)) != FALSE) {
712         outform = F_TERMINFO;
713         sortmode = S_TERMINFO;
714     }
715     if ((capdump = same_program(_nc_progname, PROG_INFOTOCAP)) != FALSE) {
716         outform = F_TERMCAP;
717         sortmode = S_TERMCAP;
718     }
719 #if NCURSES_XNAMES
720     use_extended_names(FALSE);
721 #endif
722     _nc_strict_bsd = 0;
723
724     /*
725      * Processing arguments is a little complicated, since someone made a
726      * design decision to allow the numeric values for -w, -v options to
727      * be optional.
728      */
729     while ((this_opt = getopt(argc, argv,
730                               "0123456789CDIKLNQR:TUVWace:fGgo:qrstvwx")) != -1) {
731         if (isdigit(this_opt)) {
732             switch (last_opt) {
733             case 'Q':
734                 add_digit(&quickdump, this_opt);
735                 break;
736             case 'v':
737                 add_digit(&v_opt, this_opt);
738                 break;
739             case 'w':
740                 add_digit(&width, this_opt);
741                 break;
742             default:
743                 switch (this_opt) {
744                 case '0':
745                     last_opt = this_opt;
746                     width = 65535;
747                     height = 1;
748                     break;
749                 case '1':
750                     last_opt = this_opt;
751                     width = 0;
752                     break;
753                 default:
754                     usage();
755                 }
756             }
757             continue;
758         }
759         switch (this_opt) {
760         case 'K':
761             _nc_strict_bsd = 1;
762             /* the initial version of -K in 20110730 fell-thru here, but the
763              * same flag is useful when reading sources -TD
764              */
765             break;
766         case 'C':
767             capdump = TRUE;
768             outform = F_TERMCAP;
769             sortmode = S_TERMCAP;
770             break;
771         case 'D':
772             debug_level = VtoTrace(v_opt);
773             set_trace_level(debug_level);
774             show_databases(outdir);
775             ExitProgram(EXIT_SUCCESS);
776             break;
777         case 'I':
778             infodump = TRUE;
779             outform = F_TERMINFO;
780             sortmode = S_TERMINFO;
781             break;
782         case 'L':
783             infodump = TRUE;
784             outform = F_VARIABLE;
785             sortmode = S_VARIABLE;
786             break;
787         case 'N':
788             smart_defaults = FALSE;
789             literal = TRUE;
790             break;
791         case 'Q':
792             quickdump = 0;
793             break;
794         case 'R':
795             tversion = optarg;
796             break;
797         case 'T':
798             limited = FALSE;
799             break;
800         case 'U':
801             literal = TRUE;
802             break;
803         case 'V':
804             puts(curses_version());
805             ExitProgram(EXIT_SUCCESS);
806         case 'W':
807             wrap_strings = TRUE;
808             break;
809         case 'c':
810             check_only = TRUE;
811             break;
812         case 'e':
813             namelst = make_namelist(optarg);
814             break;
815         case 'f':
816             formatted = TRUE;
817             break;
818         case 'G':
819             numbers = 1;
820             break;
821         case 'g':
822             numbers = -1;
823             break;
824         case 'o':
825             outdir = optarg;
826             break;
827         case 'q':
828             quiet = TRUE;
829             break;
830         case 'r':
831             forceresolve = TRUE;
832             break;
833         case 's':
834             showsummary = TRUE;
835             break;
836         case 'v':
837             v_opt = 0;
838             break;
839         case 'w':
840             width = 0;
841             break;
842 #if NCURSES_XNAMES
843         case 't':
844             _nc_disable_period = FALSE;
845             suppress_untranslatable = TRUE;
846             break;
847         case 'a':
848             _nc_disable_period = TRUE;
849             /* FALLTHRU */
850         case 'x':
851             use_extended_names(TRUE);
852             break;
853 #endif
854         default:
855             usage();
856         }
857         last_opt = this_opt;
858     }
859
860     debug_level = VtoTrace(v_opt);
861     set_trace_level(debug_level);
862
863     if (_nc_tracing) {
864         save_check_termtype = _nc_check_termtype2;
865         _nc_check_termtype2 = check_termtype;
866     }
867 #if !HAVE_BIG_CORE
868     /*
869      * Aaargh! immedhook seriously hoses us!
870      *
871      * One problem with immedhook is it means we can't do -e.  Problem
872      * is that we can't guarantee that for each terminal listed, all the
873      * terminals it depends on will have been kept in core for reference
874      * resolution -- in fact it's certain the primitive types at the end
875      * of reference chains *won't* be in core unless they were explicitly
876      * in the select list themselves.
877      */
878     if (namelst && (!infodump && !capdump)) {
879         (void) fprintf(stderr,
880                        "%s: Sorry, -e can't be used without -I or -C\n",
881                        _nc_progname);
882         ExitProgram(EXIT_FAILURE);
883     }
884 #endif /* HAVE_BIG_CORE */
885
886     if (optind < argc) {
887         source_file = argv[optind++];
888         if (optind < argc) {
889             fprintf(stderr,
890                     "%s: Too many file names.  Usage:\n\t%s %s",
891                     _nc_progname,
892                     _nc_progname,
893                     usage_string);
894             ExitProgram(EXIT_FAILURE);
895         }
896     } else {
897         if (infodump == TRUE) {
898             /* captoinfo's no-argument case */
899             source_file = "/etc/termcap";
900             if ((termcap = getenv("TERMCAP")) != 0
901                 && (namelst = make_namelist(getenv("TERM"))) != 0) {
902                 if (access(termcap, F_OK) == 0) {
903                     /* file exists */
904                     source_file = termcap;
905                 } else {
906                     if ((tmp_fp = open_tempfile(my_tmpname)) != 0) {
907                         source_file = my_tmpname;
908                         fprintf(tmp_fp, "%s\n", termcap);
909                         fclose(tmp_fp);
910                         tmp_fp = open_input(source_file, (char *) 0);
911                         to_remove = source_file;
912                     } else {
913                         failed("tmpnam");
914                     }
915                 }
916             }
917         } else {
918             /* tic */
919             fprintf(stderr,
920                     "%s: File name needed.  Usage:\n\t%s %s",
921                     _nc_progname,
922                     _nc_progname,
923                     usage_string);
924             ExitProgram(EXIT_FAILURE);
925         }
926     }
927
928     if (tmp_fp == 0) {
929         tmp_fp = open_input(source_file, my_altfile);
930         if (!strcmp(source_file, "-")) {
931             source_file = STDIN_NAME;
932         }
933     }
934
935     if (infodump || check_only) {
936         dump_init(tversion,
937                   (smart_defaults
938                    ? outform
939                    : F_LITERAL),
940                   sortmode,
941                   wrap_strings, width, height,
942                   debug_level, formatted || check_only, check_only, quickdump);
943     } else if (capdump) {
944         dump_init(tversion,
945                   outform,
946                   sortmode,
947                   wrap_strings, width, height,
948                   debug_level, FALSE, FALSE, FALSE);
949     }
950
951     /* parse entries out of the source file */
952     _nc_set_source(source_file);
953 #if !HAVE_BIG_CORE
954     if (!(check_only || infodump || capdump))
955         _nc_set_writedir(outdir);
956 #endif /* HAVE_BIG_CORE */
957     _nc_read_entry_source(tmp_fp, (char *) NULL,
958                           !smart_defaults || literal, FALSE,
959                           ((check_only || infodump || capdump)
960                            ? NULLHOOK
961                            : immedhook));
962
963     /* do use resolution */
964     if (check_only || (!infodump && !capdump) || forceresolve) {
965         if (!_nc_resolve_uses2(TRUE, literal) && !check_only) {
966             ExitProgram(EXIT_FAILURE);
967         }
968     }
969
970     /* length check */
971     if (check_only && limited && (capdump || infodump)) {
972         for_entry_list(qp) {
973             if (matches(namelst, qp->tterm.term_names)) {
974                 int len = fmt_entry(&qp->tterm, NULL, FALSE, TRUE, infodump, numbers);
975
976                 if (len > (infodump ? MAX_TERMINFO_LENGTH : MAX_TERMCAP_LENGTH))
977                     (void) fprintf(stderr,
978                                    "warning: resolved %s entry is %d bytes long\n",
979                                    _nc_first_name(qp->tterm.term_names),
980                                    len);
981             }
982         }
983     }
984
985     /* write or dump all entries */
986     if (check_only) {
987         /* this is in case infotocap() generates warnings */
988         _nc_curr_col = _nc_curr_line = -1;
989
990         for_entry_list(qp) {
991             if (matches(namelst, qp->tterm.term_names)) {
992                 /* this is in case infotocap() generates warnings */
993                 _nc_set_type(_nc_first_name(qp->tterm.term_names));
994                 _nc_curr_line = (int) qp->startline;
995                 repair_acsc(&qp->tterm);
996                 dump_entry(&qp->tterm, suppress_untranslatable,
997                            limited, numbers, NULL);
998             }
999         }
1000     } else {
1001         if (!infodump && !capdump) {
1002             _nc_set_writedir(outdir);
1003             for_entry_list(qp) {
1004                 if (matches(namelst, qp->tterm.term_names))
1005                     write_it(qp);
1006             }
1007         } else {
1008             /* this is in case infotocap() generates warnings */
1009             _nc_curr_col = _nc_curr_line = -1;
1010
1011             for_entry_list(qp) {
1012                 if (matches(namelst, qp->tterm.term_names)) {
1013                     long j = qp->cend - qp->cstart;
1014                     int len = 0;
1015
1016                     /* this is in case infotocap() generates warnings */
1017                     _nc_set_type(_nc_first_name(qp->tterm.term_names));
1018
1019                     if (!quiet) {
1020                         (void) fseek(tmp_fp, qp->cstart, SEEK_SET);
1021                         while (j-- > 0) {
1022                             if (infodump)
1023                                 (void) putchar(fgetc(tmp_fp));
1024                             else
1025                                 put_translate(fgetc(tmp_fp));
1026                         }
1027                     }
1028
1029                     repair_acsc(&qp->tterm);
1030                     dump_entry(&qp->tterm, suppress_untranslatable,
1031                                limited, numbers, NULL);
1032                     for (j = 0; j < (long) qp->nuses; j++)
1033                         dump_uses(qp->uses[j].name, !capdump);
1034                     len = show_entry();
1035                     if (debug_level != 0 && !limited)
1036                         printf("# length=%d\n", len);
1037                 }
1038             }
1039             if (!namelst && _nc_tail && !quiet) {
1040                 int c, oldc = '\0';
1041                 bool in_comment = FALSE;
1042                 bool trailing_comment = FALSE;
1043
1044                 (void) fseek(tmp_fp, _nc_tail->cend, SEEK_SET);
1045                 while ((c = fgetc(tmp_fp)) != EOF) {
1046                     if (oldc == '\n') {
1047                         if (c == '#') {
1048                             trailing_comment = TRUE;
1049                             in_comment = TRUE;
1050                         } else {
1051                             in_comment = FALSE;
1052                         }
1053                     }
1054                     if (trailing_comment
1055                         && (in_comment || (oldc == '\n' && c == '\n')))
1056                         putchar(c);
1057                     oldc = c;
1058                 }
1059             }
1060         }
1061     }
1062
1063     /* Show the directory into which entries were written, and the total
1064      * number of entries
1065      */
1066     if (showsummary
1067         && (!(check_only || infodump || capdump))) {
1068         int total = _nc_tic_written();
1069         if (total != 0)
1070             fprintf(log_fp, "%d entries written to %s\n",
1071                     total,
1072                     _nc_tic_dir((char *) 0));
1073         else
1074             fprintf(log_fp, "No entries written\n");
1075     }
1076     ExitProgram(EXIT_SUCCESS);
1077 }
1078
1079 /*
1080  * This bit of legerdemain turns all the terminfo variable names into
1081  * references to locations in the arrays Booleans, Numbers, and Strings ---
1082  * precisely what's needed (see comp_parse.c).
1083  */
1084 #undef CUR
1085 #define CUR tp->
1086
1087 /*
1088  * Check if the alternate character-set capabilities are consistent.
1089  */
1090 static void
1091 check_acs(TERMTYPE *tp)
1092 {
1093     if (VALID_STRING(acs_chars)) {
1094         const char *boxes = "lmkjtuvwqxn";
1095         char mapped[256];
1096         char missing[256];
1097         const char *p;
1098         char *q;
1099
1100         memset(mapped, 0, sizeof(mapped));
1101         for (p = acs_chars; *p != '\0'; p += 2) {
1102             if (p[1] == '\0') {
1103                 _nc_warning("acsc has odd number of characters");
1104                 break;
1105             }
1106             mapped[UChar(p[0])] = p[1];
1107         }
1108
1109         if (mapped[UChar('I')] && !mapped[UChar('i')]) {
1110             _nc_warning("acsc refers to 'I', which is probably an error");
1111         }
1112
1113         for (p = boxes, q = missing; *p != '\0'; ++p) {
1114             if (!mapped[UChar(p[0])]) {
1115                 *q++ = p[0];
1116             }
1117         }
1118         *q = '\0';
1119
1120         assert(strlen(missing) <= strlen(boxes));
1121         if (*missing != '\0' && strcmp(missing, boxes)) {
1122             _nc_warning("acsc is missing some line-drawing mapping: %s", missing);
1123         }
1124     }
1125 }
1126
1127 /*
1128  * Check if the color capabilities are consistent
1129  */
1130 static void
1131 check_colors(TERMTYPE *tp)
1132 {
1133     if ((max_colors > 0) != (max_pairs > 0)
1134         || ((max_colors > max_pairs) && (initialize_pair == 0)))
1135         _nc_warning("inconsistent values for max_colors (%d) and max_pairs (%d)",
1136                     max_colors, max_pairs);
1137
1138     PAIRED(set_foreground, set_background);
1139     PAIRED(set_a_foreground, set_a_background);
1140     PAIRED(set_color_pair, initialize_pair);
1141
1142     if (VALID_STRING(set_foreground)
1143         && VALID_STRING(set_a_foreground)
1144         && !_nc_capcmp(set_foreground, set_a_foreground))
1145         _nc_warning("expected setf/setaf to be different");
1146
1147     if (VALID_STRING(set_background)
1148         && VALID_STRING(set_a_background)
1149         && !_nc_capcmp(set_background, set_a_background))
1150         _nc_warning("expected setb/setab to be different");
1151
1152     /* see: has_colors() */
1153     if (VALID_NUMERIC(max_colors) && VALID_NUMERIC(max_pairs)
1154         && (((set_foreground != NULL)
1155              && (set_background != NULL))
1156             || ((set_a_foreground != NULL)
1157                 && (set_a_background != NULL))
1158             || set_color_pair)) {
1159         if (!VALID_STRING(orig_pair) && !VALID_STRING(orig_colors))
1160             _nc_warning("expected either op/oc string for resetting colors");
1161     }
1162     if (can_change) {
1163         if (!VALID_STRING(initialize_pair) &&
1164             !VALID_STRING(initialize_color)) {
1165             _nc_warning("expected initc or initp because ccc is given");
1166         }
1167     } else {
1168         if (VALID_STRING(initialize_pair) ||
1169             VALID_STRING(initialize_color)) {
1170             _nc_warning("expected ccc because initc is given");
1171         }
1172     }
1173 }
1174
1175 static char
1176 keypad_final(const char *string)
1177 {
1178     char result = '\0';
1179
1180     if (VALID_STRING(string)
1181         && *string++ == '\033'
1182         && *string++ == 'O'
1183         && strlen(string) == 1) {
1184         result = *string;
1185     }
1186
1187     return result;
1188 }
1189
1190 static long
1191 keypad_index(const char *string)
1192 {
1193     char *test;
1194     const char *list = "PQRSwxymtuvlqrsPpn";    /* app-keypad except "Enter" */
1195     int ch;
1196     long result = -1;
1197
1198     if ((ch = keypad_final(string)) != '\0') {
1199         test = (strchr) (list, ch);
1200         if (test != 0)
1201             result = (long) (test - list);
1202     }
1203     return result;
1204 }
1205
1206 /*
1207  * list[] is down, up, left, right
1208  * "left" may be ^H rather than \E[D
1209  * "down" may be ^J rather than \E[B
1210  * But up/right are generally consistently escape sequences for ANSI terminals.
1211  */
1212 static void
1213 check_ansi_cursor(char *list[4])
1214 {
1215     int j, k;
1216     int want;
1217     size_t prefix = 0;
1218     size_t suffix;
1219     bool skip[4];
1220     bool repeated = FALSE;
1221
1222     for (j = 0; j < 4; ++j) {
1223         skip[j] = FALSE;
1224         for (k = 0; k < j; ++k) {
1225             if (j != k
1226                 && !strcmp(list[j], list[k])) {
1227                 char *value = _nc_tic_expand(list[k], TRUE, 0);
1228                 _nc_warning("repeated cursor control %s\n", value);
1229                 repeated = TRUE;
1230             }
1231         }
1232     }
1233     if (!repeated) {
1234         char *up = list[1];
1235
1236         if (UChar(up[0]) == '\033') {
1237             if (up[1] == '[') {
1238                 prefix = 2;
1239             } else {
1240                 prefix = 1;
1241             }
1242         } else if (UChar(up[0]) == UChar('\233')) {
1243             prefix = 1;
1244         }
1245         if (prefix) {
1246             suffix = prefix;
1247             while (up[suffix] && isdigit(UChar(up[suffix])))
1248                 ++suffix;
1249         }
1250         if (prefix && up[suffix] == 'A') {
1251             skip[1] = TRUE;
1252             if (!strcmp(list[0], "\n"))
1253                 skip[0] = TRUE;
1254             if (!strcmp(list[2], "\b"))
1255                 skip[2] = TRUE;
1256
1257             for (j = 0; j < 4; ++j) {
1258                 if (skip[j] || strlen(list[j]) == 1)
1259                     continue;
1260                 if (memcmp(list[j], up, prefix)) {
1261                     char *value = _nc_tic_expand(list[j], TRUE, 0);
1262                     _nc_warning("inconsistent prefix for %s\n", value);
1263                     continue;
1264                 }
1265                 if (strlen(list[j]) < suffix) {
1266                     char *value = _nc_tic_expand(list[j], TRUE, 0);
1267                     _nc_warning("inconsistent length for %s, expected %d\n",
1268                                 value, (int) suffix + 1);
1269                     continue;
1270                 }
1271                 want = "BADC"[j];
1272                 if (list[j][suffix] != want) {
1273                     char *value = _nc_tic_expand(list[j], TRUE, 0);
1274                     _nc_warning("inconsistent suffix for %s, expected %c, have %c\n",
1275                                 value, want, list[j][suffix]);
1276                 }
1277             }
1278         }
1279     }
1280 }
1281
1282 #define EXPECTED(name) if (!PRESENT(name)) _nc_warning("expected " #name)
1283 #define UNEXPECTED(name) if (PRESENT(name)) _nc_warning("unexpected " #name ", for %s", why)
1284
1285 static void
1286 check_noaddress(TERMTYPE *tp, const char *why)
1287 {
1288     UNEXPECTED(column_address);
1289     UNEXPECTED(cursor_address);
1290     UNEXPECTED(cursor_home);
1291     UNEXPECTED(cursor_mem_address);
1292     UNEXPECTED(cursor_to_ll);
1293     UNEXPECTED(row_address);
1294     UNEXPECTED(row_address);
1295 }
1296
1297 static void
1298 check_cursor(TERMTYPE *tp)
1299 {
1300     int count;
1301     char *list[4];
1302
1303     if (hard_copy) {
1304         check_noaddress(tp, "hard_copy");
1305     } else if (generic_type) {
1306         check_noaddress(tp, "generic_type");
1307     } else if (strchr(tp->term_names, '+') == 0) {
1308         int y = 0;
1309         int x = 0;
1310         if (PRESENT(column_address))
1311             ++y;
1312         if (PRESENT(cursor_address))
1313             y = x = 10;
1314         if (PRESENT(cursor_home))
1315             ++y, ++x;
1316         if (PRESENT(cursor_mem_address))
1317             y = x = 10;
1318         if (PRESENT(cursor_to_ll))
1319             ++y, ++x;
1320         if (PRESENT(row_address))
1321             ++x;
1322         if (PRESENT(cursor_down))
1323             ++y;
1324         if (PRESENT(cursor_up))
1325             ++y;
1326         if (PRESENT(cursor_left))
1327             ++x;
1328         if (PRESENT(cursor_right))
1329             ++x;
1330         if (x < 2 && y < 2) {
1331             _nc_warning("terminal lacks cursor addressing");
1332         } else {
1333             if (x < 2)
1334                 _nc_warning("terminal lacks cursor column-addressing");
1335             if (y < 2)
1336                 _nc_warning("terminal lacks cursor row-addressing");
1337         }
1338     }
1339
1340     /* it is rare to have an insert-line feature without a matching delete */
1341     ANDMISSING(parm_insert_line, insert_line);
1342     ANDMISSING(parm_delete_line, delete_line);
1343     ANDMISSING(parm_insert_line, parm_delete_line);
1344
1345     /* if we have a parameterized form, then the non-parameterized is easy */
1346     ANDMISSING(parm_down_cursor, cursor_down);
1347     ANDMISSING(parm_up_cursor, cursor_up);
1348     ANDMISSING(parm_left_cursor, cursor_left);
1349     ANDMISSING(parm_right_cursor, cursor_right);
1350
1351     /* Given any of a set of cursor movement, the whole set should be present.
1352      * Technically this is not true (we could use cursor_address to fill in
1353      * unsupported controls), but it is likely.
1354      */
1355     count = 0;
1356     if (PRESENT(parm_down_cursor)) {
1357         list[count++] = parm_down_cursor;
1358     }
1359     if (PRESENT(parm_up_cursor)) {
1360         list[count++] = parm_up_cursor;
1361     }
1362     if (PRESENT(parm_left_cursor)) {
1363         list[count++] = parm_left_cursor;
1364     }
1365     if (PRESENT(parm_right_cursor)) {
1366         list[count++] = parm_right_cursor;
1367     }
1368     if (count == 4) {
1369         check_ansi_cursor(list);
1370     } else if (count != 0) {
1371         EXPECTED(parm_down_cursor);
1372         EXPECTED(parm_up_cursor);
1373         EXPECTED(parm_left_cursor);
1374         EXPECTED(parm_right_cursor);
1375     }
1376
1377     count = 0;
1378     if (PRESENT(cursor_down)) {
1379         list[count++] = cursor_down;
1380     }
1381     if (PRESENT(cursor_up)) {
1382         list[count++] = cursor_up;
1383     }
1384     if (PRESENT(cursor_left)) {
1385         list[count++] = cursor_left;
1386     }
1387     if (PRESENT(cursor_right)) {
1388         list[count++] = cursor_right;
1389     }
1390     if (count == 4) {
1391         check_ansi_cursor(list);
1392     } else if (count != 0) {
1393         count = 0;
1394         if (PRESENT(cursor_down) && strcmp(cursor_down, "\n"))
1395             ++count;
1396         if (PRESENT(cursor_left) && strcmp(cursor_left, "\b"))
1397             ++count;
1398         if (PRESENT(cursor_up) && strlen(cursor_up) > 1)
1399             ++count;
1400         if (PRESENT(cursor_right) && strlen(cursor_right) > 1)
1401             ++count;
1402         if (count) {
1403             EXPECTED(cursor_down);
1404             EXPECTED(cursor_up);
1405             EXPECTED(cursor_left);
1406             EXPECTED(cursor_right);
1407         }
1408     }
1409 }
1410
1411 #define MAX_KP 5
1412 /*
1413  * Do a quick sanity-check for vt100-style keypads to see if the 5-key keypad
1414  * is mapped inconsistently.
1415  */
1416 static void
1417 check_keypad(TERMTYPE *tp)
1418 {
1419     char show[80];
1420
1421     if (VALID_STRING(key_a1) &&
1422         VALID_STRING(key_a3) &&
1423         VALID_STRING(key_b2) &&
1424         VALID_STRING(key_c1) &&
1425         VALID_STRING(key_c3)) {
1426         char final[MAX_KP + 1];
1427         long list[MAX_KP];
1428         int increase = 0;
1429         int j, k, kk;
1430         long last;
1431         long test;
1432
1433         final[0] = keypad_final(key_a1);
1434         final[1] = keypad_final(key_a3);
1435         final[2] = keypad_final(key_b2);
1436         final[3] = keypad_final(key_c1);
1437         final[4] = keypad_final(key_c3);
1438         final[5] = '\0';
1439
1440         /* special case: legacy coding using 1,2,3,0,. on the bottom */
1441         assert(strlen(final) <= MAX_KP);
1442         if (!strcmp(final, "qsrpn"))
1443             return;
1444
1445         list[0] = keypad_index(key_a1);
1446         list[1] = keypad_index(key_a3);
1447         list[2] = keypad_index(key_b2);
1448         list[3] = keypad_index(key_c1);
1449         list[4] = keypad_index(key_c3);
1450
1451         /* check that they're all vt100 keys */
1452         for (j = 0; j < MAX_KP; ++j) {
1453             if (list[j] < 0) {
1454                 return;
1455             }
1456         }
1457
1458         /* check if they're all in increasing order */
1459         for (j = 1; j < MAX_KP; ++j) {
1460             if (list[j] > list[j - 1]) {
1461                 ++increase;
1462             }
1463         }
1464         if (increase != (MAX_KP - 1)) {
1465             show[0] = '\0';
1466
1467             for (j = 0, last = -1; j < MAX_KP; ++j) {
1468                 for (k = 0, kk = -1, test = 100; k < 5; ++k) {
1469                     if (list[k] > last &&
1470                         list[k] < test) {
1471                         test = list[k];
1472                         kk = k;
1473                     }
1474                 }
1475                 last = test;
1476                 assert(strlen(show) < (MAX_KP * 4));
1477                 switch (kk) {
1478                 case 0:
1479                     _nc_STRCAT(show, " ka1", sizeof(show));
1480                     break;
1481                 case 1:
1482                     _nc_STRCAT(show, " ka3", sizeof(show));
1483                     break;
1484                 case 2:
1485                     _nc_STRCAT(show, " kb2", sizeof(show));
1486                     break;
1487                 case 3:
1488                     _nc_STRCAT(show, " kc1", sizeof(show));
1489                     break;
1490                 case 4:
1491                     _nc_STRCAT(show, " kc3", sizeof(show));
1492                     break;
1493                 }
1494             }
1495
1496             _nc_warning("vt100 keypad order inconsistent: %s", show);
1497         }
1498
1499     } else if (VALID_STRING(key_a1) ||
1500                VALID_STRING(key_a3) ||
1501                VALID_STRING(key_b2) ||
1502                VALID_STRING(key_c1) ||
1503                VALID_STRING(key_c3)) {
1504         show[0] = '\0';
1505         if (keypad_index(key_a1) >= 0)
1506             _nc_STRCAT(show, " ka1", sizeof(show));
1507         if (keypad_index(key_a3) >= 0)
1508             _nc_STRCAT(show, " ka3", sizeof(show));
1509         if (keypad_index(key_b2) >= 0)
1510             _nc_STRCAT(show, " kb2", sizeof(show));
1511         if (keypad_index(key_c1) >= 0)
1512             _nc_STRCAT(show, " kc1", sizeof(show));
1513         if (keypad_index(key_c3) >= 0)
1514             _nc_STRCAT(show, " kc3", sizeof(show));
1515         if (*show != '\0')
1516             _nc_warning("vt100 keypad map incomplete:%s", show);
1517     }
1518
1519     /*
1520      * These warnings are useful for consistency checks - it is possible that
1521      * there are real terminals with mismatches in these
1522      */
1523     ANDMISSING(key_ic, key_dc);
1524 }
1525
1526 static void
1527 check_printer(TERMTYPE *tp)
1528 {
1529     PAIRED(enter_doublewide_mode, exit_doublewide_mode);
1530     PAIRED(enter_italics_mode, exit_italics_mode);
1531     PAIRED(enter_leftward_mode, exit_leftward_mode);
1532     PAIRED(enter_micro_mode, exit_micro_mode);
1533     PAIRED(enter_shadow_mode, exit_shadow_mode);
1534     PAIRED(enter_subscript_mode, exit_subscript_mode);
1535     PAIRED(enter_superscript_mode, exit_superscript_mode);
1536     PAIRED(enter_upward_mode, exit_upward_mode);
1537
1538     ANDMISSING(start_char_set_def, stop_char_set_def);
1539
1540     /* if we have a parameterized form, then the non-parameterized is easy */
1541     ANDMISSING(set_bottom_margin_parm, set_bottom_margin);
1542     ANDMISSING(set_left_margin_parm, set_left_margin);
1543     ANDMISSING(set_right_margin_parm, set_right_margin);
1544     ANDMISSING(set_top_margin_parm, set_top_margin);
1545
1546     ANDMISSING(parm_down_micro, micro_down);
1547     ANDMISSING(parm_left_micro, micro_left);
1548     ANDMISSING(parm_right_micro, micro_right);
1549     ANDMISSING(parm_up_micro, micro_up);
1550 }
1551
1552 static bool
1553 uses_SGR_39_49(const char *value)
1554 {
1555     return (strstr(value, "39;49") != 0
1556             || strstr(value, "49;39") != 0);
1557 }
1558
1559 /*
1560  * Check consistency of termcap extensions related to "screen".
1561  */
1562 static void
1563 check_screen(TERMTYPE *tp)
1564 {
1565 #if NCURSES_XNAMES
1566     if (_nc_user_definable) {
1567         int have_XT = tigetflag("XT");
1568         int have_XM = tigetflag("XM");
1569         int have_bce = back_color_erase;
1570         bool have_kmouse = FALSE;
1571         bool use_sgr_39_49 = FALSE;
1572         char *name = _nc_first_name(tp->term_names);
1573
1574         if (!VALID_BOOLEAN(have_bce)) {
1575             have_bce = FALSE;
1576         }
1577         if (!VALID_BOOLEAN(have_XM)) {
1578             have_XM = FALSE;
1579         }
1580         if (!VALID_BOOLEAN(have_XT)) {
1581             have_XT = FALSE;
1582         }
1583         if (VALID_STRING(key_mouse)) {
1584             have_kmouse = !strcmp("\033[M", key_mouse);
1585         }
1586         if (VALID_STRING(orig_colors)) {
1587             use_sgr_39_49 = uses_SGR_39_49(orig_colors);
1588         } else if (VALID_STRING(orig_pair)) {
1589             use_sgr_39_49 = uses_SGR_39_49(orig_pair);
1590         }
1591
1592         if (have_XM && have_XT) {
1593             _nc_warning("Screen's XT capability conflicts with XM");
1594         } else if (have_XT
1595                    && strstr(name, "screen") != 0
1596                    && strchr(name, '.') != 0) {
1597             _nc_warning("Screen's \"screen\" entries should not have XT set");
1598         } else if (have_XT) {
1599             if (!have_kmouse && have_bce) {
1600                 if (VALID_STRING(key_mouse)) {
1601                     _nc_warning("Value of kmous inconsistent with screen's usage");
1602                 } else {
1603                     _nc_warning("Expected kmous capability with XT");
1604                 }
1605             }
1606             if (!have_bce && max_colors > 0)
1607                 _nc_warning("Expected bce capability with XT");
1608             if (!use_sgr_39_49 && have_bce && max_colors > 0)
1609                 _nc_warning("Expected orig_colors capability with XT to have 39/49 parameters");
1610             if (VALID_STRING(to_status_line))
1611                 _nc_warning("\"tsl\" capability is redundant, given XT");
1612         } else {
1613             if (have_kmouse && !have_XM)
1614                 _nc_warning("Expected XT to be set, given kmous");
1615         }
1616     }
1617 #endif
1618 }
1619
1620 /*
1621  * Returns the expected number of parameters for the given capability.
1622  */
1623 static int
1624 expected_params(const char *name)
1625 {
1626 #define DATA(name,count) { { name }, count }
1627     /* *INDENT-OFF* */
1628     static const struct {
1629         const char name[9];
1630         int count;
1631     } table[] = {
1632         DATA( "S0",             1 ),    /* 'screen' extension */
1633         DATA( "birep",          2 ),
1634         DATA( "chr",            1 ),
1635         DATA( "colornm",        1 ),
1636         DATA( "cpi",            1 ),
1637         DATA( "csnm",           1 ),
1638         DATA( "csr",            2 ),
1639         DATA( "cub",            1 ),
1640         DATA( "cud",            1 ),
1641         DATA( "cuf",            1 ),
1642         DATA( "cup",            2 ),
1643         DATA( "cuu",            1 ),
1644         DATA( "cvr",            1 ),
1645         DATA( "cwin",           5 ),
1646         DATA( "dch",            1 ),
1647         DATA( "defc",           3 ),
1648         DATA( "dial",           1 ),
1649         DATA( "dispc",          1 ),
1650         DATA( "dl",             1 ),
1651         DATA( "ech",            1 ),
1652         DATA( "getm",           1 ),
1653         DATA( "hpa",            1 ),
1654         DATA( "ich",            1 ),
1655         DATA( "il",             1 ),
1656         DATA( "indn",           1 ),
1657         DATA( "initc",          4 ),
1658         DATA( "initp",          7 ),
1659         DATA( "lpi",            1 ),
1660         DATA( "mc5p",           1 ),
1661         DATA( "mrcup",          2 ),
1662         DATA( "mvpa",           1 ),
1663         DATA( "pfkey",          2 ),
1664         DATA( "pfloc",          2 ),
1665         DATA( "pfx",            2 ),
1666         DATA( "pfxl",           3 ),
1667         DATA( "pln",            2 ),
1668         DATA( "qdial",          1 ),
1669         DATA( "rcsd",           1 ),
1670         DATA( "rep",            2 ),
1671         DATA( "rin",            1 ),
1672         DATA( "sclk",           3 ),
1673         DATA( "scp",            1 ),
1674         DATA( "scs",            1 ),
1675         DATA( "scsd",           2 ),
1676         DATA( "setab",          1 ),
1677         DATA( "setaf",          1 ),
1678         DATA( "setb",           1 ),
1679         DATA( "setcolor",       1 ),
1680         DATA( "setf",           1 ),
1681         DATA( "sgr",            9 ),
1682         DATA( "sgr1",           6 ),
1683         DATA( "slength",        1 ),
1684         DATA( "slines",         1 ),
1685         DATA( "smgbp",          1 ),    /* 2 if smgtp is not given */
1686         DATA( "smglp",          1 ),
1687         DATA( "smglr",          2 ),
1688         DATA( "smgrp",          1 ),
1689         DATA( "smgtb",          2 ),
1690         DATA( "smgtp",          1 ),
1691         DATA( "tsl",            1 ),
1692         DATA( "u6",             -1 ),
1693         DATA( "vpa",            1 ),
1694         DATA( "wind",           4 ),
1695         DATA( "wingo",          1 ),
1696     };
1697     /* *INDENT-ON* */
1698
1699 #undef DATA
1700
1701     unsigned n;
1702     int result = 0;             /* function-keys, etc., use none */
1703
1704     for (n = 0; n < SIZEOF(table); n++) {
1705         if (!strcmp(name, table[n].name)) {
1706             result = table[n].count;
1707             break;
1708         }
1709     }
1710
1711     return result;
1712 }
1713
1714 /*
1715  * Make a quick sanity check for the parameters which are used in the given
1716  * strings.  If there are no "%p" tokens, then there should be no other "%"
1717  * markers.
1718  */
1719 static void
1720 check_params(TERMTYPE *tp, const char *name, char *value)
1721 {
1722     int expected = expected_params(name);
1723     int actual = 0;
1724     int n;
1725     bool params[NUM_PARM];
1726     char *s = value;
1727
1728 #ifdef set_top_margin_parm
1729     if (!strcmp(name, "smgbp")
1730         && set_top_margin_parm == 0)
1731         expected = 2;
1732 #endif
1733
1734     for (n = 0; n < NUM_PARM; n++)
1735         params[n] = FALSE;
1736
1737     while (*s != 0) {
1738         if (*s == '%') {
1739             if (*++s == '\0') {
1740                 _nc_warning("expected character after %% in %s", name);
1741                 break;
1742             } else if (*s == 'p') {
1743                 if (*++s == '\0' || !isdigit((int) *s)) {
1744                     _nc_warning("expected digit after %%p in %s", name);
1745                     return;
1746                 } else {
1747                     n = (*s - '0');
1748                     if (n > actual)
1749                         actual = n;
1750                     params[n] = TRUE;
1751                 }
1752             }
1753         }
1754         s++;
1755     }
1756
1757     if (params[0]) {
1758         _nc_warning("%s refers to parameter 0 (%%p0), which is not allowed", name);
1759     }
1760     if (value == set_attributes || expected < 0) {
1761         ;
1762     } else if (expected != actual) {
1763         _nc_warning("%s uses %d parameters, expected %d", name,
1764                     actual, expected);
1765         for (n = 1; n < actual; n++) {
1766             if (!params[n])
1767                 _nc_warning("%s omits parameter %d", name, n);
1768         }
1769     }
1770 }
1771
1772 static bool
1773 line_capability(const char *name)
1774 {
1775     bool result = FALSE;
1776     static const char *table[] =
1777     {
1778         "csr",                  /* change_scroll_region          */
1779         "clear",                /* clear_screen                  */
1780         "ed",                   /* clr_eos                       */
1781         "cwin",                 /* create_window                 */
1782         "cup",                  /* cursor_address                */
1783         "cud1",                 /* cursor_down                   */
1784         "home",                 /* cursor_home                   */
1785         "mrcup",                /* cursor_mem_address            */
1786         "ll",                   /* cursor_to_ll                  */
1787         "cuu1",                 /* cursor_up                     */
1788         "dl1",                  /* delete_line                   */
1789         "hd",                   /* down_half_line                */
1790         "flash",                /* flash_screen                  */
1791         "ff",                   /* form_feed                     */
1792         "il1",                  /* insert_line                   */
1793         "nel",                  /* newline                       */
1794         "dl",                   /* parm_delete_line              */
1795         "cud",                  /* parm_down_cursor              */
1796         "indn",                 /* parm_index                    */
1797         "il",                   /* parm_insert_line              */
1798         "rin",                  /* parm_rindex                   */
1799         "cuu",                  /* parm_up_cursor                */
1800         "mc0",                  /* print_screen                  */
1801         "vpa",                  /* row_address                   */
1802         "ind",                  /* scroll_forward                */
1803         "ri",                   /* scroll_reverse                */
1804         "hu",                   /* up_half_line                  */
1805     };
1806     size_t n;
1807     for (n = 0; n < SIZEOF(table); ++n) {
1808         if (!strcmp(name, table[n])) {
1809             result = TRUE;
1810             break;
1811         }
1812     }
1813     return result;
1814 }
1815
1816 static void
1817 check_delays(const char *name, const char *value)
1818 {
1819     const char *p, *q;
1820     const char *mark = 0;
1821
1822     for (p = value; *p != '\0'; ++p) {
1823         if (p[0] == '$' && p[1] == '<') {
1824             const char *base = p + 2;
1825             bool maybe = TRUE;
1826             bool mixed = FALSE;
1827             int proportional = 0;
1828             int mandatory = 0;
1829
1830             for (q = base; *q != '\0'; ++q) {
1831                 if (*q == '>') {
1832                     if (mark == 0)
1833                         mark = q;
1834                     break;
1835                 } else if (*q == '*' || *q == '/') {
1836                     if (*q == '*')
1837                         ++proportional;
1838                     if (*q == '/')
1839                         ++mandatory;
1840                     if (mark == 0)
1841                         mark = q;
1842                 } else if (!(isalnum(UChar(*q)) || strchr("+-.", *q) != 0)) {
1843                     maybe = FALSE;
1844                     break;
1845                 } else if (proportional || mandatory) {
1846                     mixed = TRUE;
1847                 }
1848             }
1849             if (*q == '\0') {
1850                 maybe = FALSE;  /* just an isolated "$<" */
1851             } else if (maybe) {
1852                 float check_f;
1853                 char check_c;
1854                 int rc = sscanf(base, "%f%c", &check_f, &check_c);
1855                 if ((rc != 2) || (check_c != *mark) || mixed) {
1856                     _nc_warning("syntax error in %s delay '%.*s'", name,
1857                                 (int) (q - base), base);
1858                 } else if (*name == 'k') {
1859                     _nc_warning("function-key %s has delay", name);
1860                 } else if (proportional && !line_capability(name)) {
1861                     _nc_warning("non-line capability using proportional delay: %s", name);
1862                 }
1863             } else {
1864                 p = q - 1;      /* restart scan */
1865             }
1866         }
1867     }
1868 }
1869
1870 static char *
1871 check_1_infotocap(const char *name, NCURSES_CONST char *value, int count)
1872 {
1873     int k;
1874     int ignored;
1875     long numbers[1 + NUM_PARM];
1876     char *strings[1 + NUM_PARM];
1877     char *p_is_s[NUM_PARM];
1878     char *result;
1879     char blob[NUM_PARM * 10];
1880     char *next = blob;
1881
1882     *next++ = '\0';
1883     for (k = 1; k <= NUM_PARM; k++) {
1884         numbers[k] = count;
1885         _nc_SPRINTF(next,
1886                     _nc_SLIMIT(sizeof(blob) - (next - blob))
1887                     "XYZ%d", count);
1888         strings[k] = next;
1889         next += strlen(next) + 1;
1890     }
1891
1892     switch (tparm_type(name)) {
1893     case Num_Str:
1894         result = TPARM_2(value, numbers[1], strings[2]);
1895         break;
1896     case Num_Str_Str:
1897         result = TPARM_3(value, numbers[1], strings[2], strings[3]);
1898         break;
1899     case Numbers:
1900     default:
1901         (void) _nc_tparm_analyze(value, p_is_s, &ignored);
1902 #define myParam(n) (p_is_s[n - 1] != 0 ? ((TPARM_ARG) strings[n]) : numbers[n])
1903         result = TPARM_9(value,
1904                          myParam(1),
1905                          myParam(2),
1906                          myParam(3),
1907                          myParam(4),
1908                          myParam(5),
1909                          myParam(6),
1910                          myParam(7),
1911                          myParam(8),
1912                          myParam(9));
1913         break;
1914     }
1915     return result;
1916 }
1917
1918 #define IsDelay(ch) ((ch) == '.' || isdigit(UChar(ch)))
1919
1920 static const char *
1921 parse_delay_value(const char *src, double *delays, int *always)
1922 {
1923     int star = 0;
1924
1925     *delays = 0.0;
1926     if (always)
1927         *always = 0;
1928
1929     while (isdigit(UChar(*src))) {
1930         (*delays) = (*delays) * 10 + (*src++ - '0');
1931     }
1932     if (*src == '.') {
1933         int gotdot = 1;
1934
1935         ++src;
1936         while (isdigit(UChar(*src))) {
1937             gotdot *= 10;
1938             (*delays) += (*src++ - '0') / gotdot;
1939         }
1940     }
1941     while (*src == '*' || *src == '/') {
1942         if (always == 0 && *src == '/')
1943             break;
1944         if (*src++ == '*') {
1945             star = 1;
1946         } else {
1947             *always = 1;
1948         }
1949     }
1950     if (star)
1951         *delays = -(*delays);
1952     return src;
1953 }
1954
1955 static const char *
1956 parse_ti_delay(const char *ti, double *delays)
1957 {
1958     *delays = 0.0;
1959     while (*ti != '\0') {
1960         if (*ti == '\\') {
1961             ++ti;
1962         }
1963         if (ti[0] == '$'
1964             && ti[1] == '<'
1965             && IsDelay(UChar(ti[2]))) {
1966             int ignored;
1967             const char *last = parse_delay_value(ti + 2, delays, &ignored);
1968             if (*last == '>') {
1969                 ti = last;
1970             }
1971         } else {
1972             ++ti;
1973         }
1974     }
1975     return ti;
1976 }
1977
1978 static const char *
1979 parse_tc_delay(const char *tc, double *delays)
1980 {
1981     return parse_delay_value(tc, delays, (int *) 0);
1982 }
1983
1984 /*
1985  * Compare terminfo- and termcap-strings, factoring out delays.
1986  */
1987 static bool
1988 same_ti_tc(const char *ti, const char *tc, bool * embedded)
1989 {
1990     bool same = TRUE;
1991     double ti_delay = 0.0;
1992     double tc_delay = 0.0;
1993     const char *ti_last;
1994
1995     *embedded = FALSE;
1996     ti_last = parse_ti_delay(ti, &ti_delay);
1997     tc = parse_tc_delay(tc, &tc_delay);
1998
1999     while ((ti < ti_last) && *tc) {
2000         if (*ti == '\\' && ispunct(UChar(ti[1]))) {
2001             ++ti;
2002             if ((*ti == '^') && !strncmp(tc, "\\136", 4)) {
2003                 ti += 1;
2004                 tc += 4;
2005                 continue;
2006             }
2007         } else if (ti[0] == '$' && ti[1] == '<') {
2008             double no_delay;
2009             const char *ss = parse_ti_delay(ti, &no_delay);
2010             if (ss != ti) {
2011                 *embedded = TRUE;
2012                 ti = ss;
2013                 continue;
2014             }
2015         }
2016         if (*tc == '\\' && ispunct(UChar(tc[1]))) {
2017             ++tc;
2018         }
2019         if (*ti++ != *tc++) {
2020             same = FALSE;
2021             break;
2022         }
2023     }
2024
2025     if (*embedded) {
2026         if (same) {
2027             same = FALSE;
2028         } else {
2029             *embedded = FALSE;  /* report only one problem */
2030         }
2031     }
2032
2033     return same;
2034 }
2035
2036 /*
2037  * Check terminfo to termcap translation.
2038  */
2039 static void
2040 check_infotocap(TERMTYPE *tp, int i, const char *value)
2041 {
2042     const char *name = ExtStrname(tp, i, strnames);
2043     int params = (((i < (int) SIZEOF(parametrized)) &&
2044                    (i < STRCOUNT))
2045                   ? parametrized[i]
2046                   : ((*value == 'k')
2047                      ? 0
2048                      : has_params(value)));
2049     int to_char = 0;
2050     char *ti_value;
2051     char *tc_value;
2052     bool embedded;
2053
2054     if ((ti_value = _nc_tic_expand(value, TRUE, to_char)) == ABSENT_STRING) {
2055         _nc_warning("tic-expansion of %s failed", name);
2056     } else if ((tc_value = _nc_infotocap(name, ti_value, params)) == ABSENT_STRING) {
2057         _nc_warning("tic-conversion of %s failed", name);
2058     } else if (params > 0) {
2059         int limit = 5;
2060         int count;
2061         bool first = TRUE;
2062
2063         if (!strcmp(name, "setf")
2064             || !strcmp(name, "setb")
2065             || !strcmp(name, "setaf")
2066             || !strcmp(name, "setab")) {
2067             limit = max_colors;
2068         }
2069         for (count = 0; count < limit; ++count) {
2070             char *ti_check = check_1_infotocap(name, ti_value, count);
2071             char *tc_check = check_1_infotocap(name, tc_value, count);
2072
2073             if (strcmp(ti_check, tc_check)) {
2074                 if (first) {
2075                     fprintf(stderr, "check_infotocap(%s)\n", name);
2076                     fprintf(stderr, "...ti '%s'\n", ti_value);
2077                     fprintf(stderr, "...tc '%s'\n", tc_value);
2078                     first = FALSE;
2079                 }
2080                 _nc_warning("tparm-conversion of %s(%d) differs between\n\tterminfo %s\n\ttermcap  %s",
2081                             name, count, ti_check, tc_check);
2082             }
2083         }
2084     } else if (params == 0 && !same_ti_tc(ti_value, tc_value, &embedded)) {
2085         if (embedded) {
2086             _nc_warning("termcap equivalent of %s cannot use embedded delay", name);
2087         } else {
2088             _nc_warning("tic-conversion of %s changed value\n\tfrom %s\n\tto   %s",
2089                         name, ti_value, tc_value);
2090         }
2091     }
2092 }
2093
2094 static char *
2095 skip_delay(char *s)
2096 {
2097     while (*s == '/' || isdigit(UChar(*s)))
2098         ++s;
2099     return s;
2100 }
2101
2102 /*
2103  * Skip a delay altogether, e.g., when comparing a simple string to sgr,
2104  * the latter may have a worst-case delay on the end.
2105  */
2106 static char *
2107 ignore_delays(char *s)
2108 {
2109     int delaying = 0;
2110
2111     do {
2112         switch (*s) {
2113         case '$':
2114             if (delaying == 0)
2115                 delaying = 1;
2116             break;
2117         case '<':
2118             if (delaying == 1)
2119                 delaying = 2;
2120             break;
2121         case '\0':
2122             delaying = 0;
2123             break;
2124         default:
2125             if (delaying) {
2126                 s = skip_delay(s);
2127                 if (*s == '>')
2128                     ++s;
2129                 delaying = 0;
2130             }
2131             break;
2132         }
2133         if (delaying)
2134             ++s;
2135     } while (delaying);
2136     return s;
2137 }
2138
2139 #define DATA(name) { #name }
2140 static const char sgr_names[][11] =
2141 {
2142     DATA(none),
2143     DATA(standout),
2144     DATA(underline),
2145     DATA(reverse),
2146     DATA(blink),
2147     DATA(dim),
2148     DATA(bold),
2149     DATA(invis),
2150     DATA(protect),
2151     DATA(altcharset),
2152     ""
2153 };
2154 #undef DATA
2155
2156 /*
2157  * An sgr string may contain several settings other than the one we're
2158  * interested in, essentially sgr0 + rmacs + whatever.  As long as the
2159  * "whatever" is contained in the sgr string, that is close enough for our
2160  * sanity check.
2161  */
2162 static bool
2163 similar_sgr(int num, char *a, char *b)
2164 {
2165     char *base_a = a;
2166     char *base_b = b;
2167     int delaying = 0;
2168
2169     while (*b != 0) {
2170         while (*a != *b) {
2171             if (*a == 0) {
2172                 if (num < 0) {
2173                     ;
2174                 } else if (b[0] == '$'
2175                            && b[1] == '<') {
2176                     _nc_warning("Did not find delay %s", _nc_visbuf(b));
2177                 } else {
2178                     _nc_warning("checking sgr(%s) %s\n\tcompare to %s\n\tunmatched %s",
2179                                 sgr_names[num], _nc_visbuf2(1, base_a),
2180                                 _nc_visbuf2(2, base_b),
2181                                 _nc_visbuf2(3, b));
2182                 }
2183                 return FALSE;
2184             } else if (delaying) {
2185                 a = skip_delay(a);
2186                 b = skip_delay(b);
2187             } else if ((*b == '0' || (*b == ';')) && *a == 'm') {
2188                 b++;
2189             } else {
2190                 a++;
2191             }
2192         }
2193         switch (*a) {
2194         case '$':
2195             if (delaying == 0)
2196                 delaying = 1;
2197             break;
2198         case '<':
2199             if (delaying == 1)
2200                 delaying = 2;
2201             break;
2202         default:
2203             delaying = 0;
2204             break;
2205         }
2206         a++;
2207         b++;
2208     }
2209     /* ignore delays on the end of the string */
2210     a = ignore_delays(a);
2211     return ((num != 0) || (*a == 0));
2212 }
2213
2214 static char *
2215 check_sgr(TERMTYPE *tp, char *zero, int num, char *cap, const char *name)
2216 {
2217     char *test;
2218
2219     _nc_tparm_err = 0;
2220     test = TPARM_9(set_attributes,
2221                    num == 1,
2222                    num == 2,
2223                    num == 3,
2224                    num == 4,
2225                    num == 5,
2226                    num == 6,
2227                    num == 7,
2228                    num == 8,
2229                    num == 9);
2230     if (test != 0) {
2231         if (PRESENT(cap)) {
2232             if (!similar_sgr(num, test, cap)) {
2233                 _nc_warning("%s differs from sgr(%d)\n\t%s=%s\n\tsgr(%d)=%s",
2234                             name, num,
2235                             name, _nc_visbuf2(1, cap),
2236                             num, _nc_visbuf2(2, test));
2237             }
2238         } else if (_nc_capcmp(test, zero)) {
2239             _nc_warning("sgr(%d) present, but not %s", num, name);
2240         }
2241     } else if (PRESENT(cap)) {
2242         _nc_warning("sgr(%d) missing, but %s present", num, name);
2243     }
2244     if (_nc_tparm_err)
2245         _nc_warning("stack error in sgr(%d) string", num);
2246     return test;
2247 }
2248
2249 #define CHECK_SGR(num,name) check_sgr(tp, zero, num, name, #name)
2250
2251 #ifdef TRACE
2252 /*
2253  * If tic is compiled with TRACE, we'll be able to see the output from the
2254  * DEBUG() macro.  But since it doesn't use traceon(), it always goes to
2255  * the standard error.  Use this function to make it simpler to follow the
2256  * resulting debug traces.
2257  */
2258 static void
2259 show_where(unsigned level)
2260 {
2261     if (_nc_tracing >= DEBUG_LEVEL(level)) {
2262         char my_name[MAX_NAME_SIZE];
2263         _nc_get_type(my_name);
2264         _tracef("\"%s\", line %d, '%s'",
2265                 _nc_get_source(),
2266                 _nc_curr_line, my_name);
2267     }
2268 }
2269
2270 #else
2271 #define show_where(level)       /* nothing */
2272 #endif
2273
2274 typedef struct {
2275     int keycode;
2276     const char *name;
2277     const char *value;
2278 } NAME_VALUE;
2279
2280 static NAME_VALUE *
2281 get_fkey_list(TERMTYPE *tp)
2282 {
2283     NAME_VALUE *result = typeMalloc(NAME_VALUE, NUM_STRINGS(tp) + 1);
2284     const struct tinfo_fkeys *all_fkeys = _nc_tinfo_fkeys;
2285     int used = 0;
2286     unsigned j;
2287
2288     if (result == 0)
2289         failed("get_fkey_list");
2290
2291     for (j = 0; all_fkeys[j].code; j++) {
2292         char *a = tp->Strings[all_fkeys[j].offset];
2293         if (VALID_STRING(a)) {
2294             result[used].keycode = (int) all_fkeys[j].code;
2295             result[used].name = strnames[all_fkeys[j].offset];
2296             result[used].value = a;
2297             ++used;
2298         }
2299     }
2300 #if NCURSES_XNAMES
2301     for (j = STRCOUNT; j < NUM_STRINGS(tp); ++j) {
2302         const char *name = ExtStrname(tp, (int) j, strnames);
2303         if (*name == 'k') {
2304             result[used].keycode = -1;
2305             result[used].name = name;
2306             result[used].value = tp->Strings[j];
2307             ++used;
2308         }
2309     }
2310 #endif
2311     result[used].keycode = 0;
2312     return result;
2313 }
2314
2315 static void
2316 show_fkey_name(NAME_VALUE * data)
2317 {
2318     if (data->keycode > 0) {
2319         fprintf(stderr, " %s", keyname(data->keycode));
2320         fprintf(stderr, " (capability \"%s\")", data->name);
2321     } else {
2322         fprintf(stderr, " capability \"%s\"", data->name);
2323     }
2324 }
2325
2326 /*
2327  * A terminal entry may contain more than one keycode assigned to a given
2328  * string (e.g., KEY_END and KEY_LL).  But curses will only return one (the
2329  * last one assigned).
2330  */
2331 static void
2332 check_conflict(TERMTYPE *tp)
2333 {
2334     bool conflict = FALSE;
2335     unsigned j, k;
2336
2337     if (!(_nc_syntax == SYN_TERMCAP && capdump)) {
2338         char *check = calloc((size_t) (NUM_STRINGS(tp) + 1), sizeof(char));
2339         NAME_VALUE *given = get_fkey_list(tp);
2340
2341         if (check == 0)
2342             failed("check_termtype");
2343
2344         for (j = 0; given[j].keycode; ++j) {
2345             const char *a = given[j].value;
2346             bool first = TRUE;
2347
2348             for (k = j + 1; given[k].keycode; k++) {
2349                 const char *b = given[k].value;
2350                 if (check[k])
2351                     continue;
2352                 if (!_nc_capcmp(a, b)) {
2353                     check[j] = 1;
2354                     check[k] = 1;
2355                     if (first) {
2356                         if (!conflict) {
2357                             _nc_warning("Conflicting key definitions (using the last)");
2358                             conflict = TRUE;
2359                         }
2360                         fprintf(stderr, "...");
2361                         show_fkey_name(given + j);
2362                         fprintf(stderr, " is the same as");
2363                         show_fkey_name(given + k);
2364                         first = FALSE;
2365                     } else {
2366                         fprintf(stderr, ", ");
2367                         show_fkey_name(given + k);
2368                     }
2369                 }
2370             }
2371             if (!first)
2372                 fprintf(stderr, "\n");
2373         }
2374         free(given);
2375         free(check);
2376     }
2377 }
2378
2379 /*
2380  * Exiting a video mode should not duplicate sgr0
2381  */
2382 static void
2383 check_exit_attribute(const char *name, char *test, char *trimmed, char *untrimmed)
2384 {
2385     if (VALID_STRING(test) && (trimmed != 0)) {
2386         if (similar_sgr(-1, trimmed, test) ||
2387             similar_sgr(-1, untrimmed, test)) {
2388             _nc_warning("%s matches exit_attribute_mode", name);
2389         }
2390     }
2391 }
2392
2393 /*
2394  * Returns true if the string looks like a standard SGR string.
2395  */
2396 static bool
2397 is_sgr_string(char *value)
2398 {
2399     bool result = FALSE;
2400
2401     if (VALID_STRING(value)) {
2402         if (value[0] == '\033' && value[1] == '[') {
2403             result = TRUE;
2404             value += 2;
2405         } else if (UChar(value[0]) == 0x9a) {
2406             result = TRUE;
2407             value += 1;
2408         }
2409         if (result) {
2410             int ch;
2411             while ((ch = UChar(*value++)) != '\0') {
2412                 if (isdigit(ch) || ch == ';') {
2413                     ;
2414                 } else if (ch == 'm' && *value == '\0') {
2415                     ;
2416                 } else {
2417                     result = FALSE;
2418                     break;
2419                 }
2420             }
2421         }
2422     }
2423     return result;
2424 }
2425
2426 /*
2427  * Check if the given capability contains a given SGR attribute.
2428  */
2429 static void
2430 check_sgr_param(TERMTYPE *tp, int code, const char *name, char *value)
2431 {
2432     if (VALID_STRING(value)) {
2433         int ncv = ((code != 0) ? (1 << (code - 1)) : 0);
2434         char *test = tgoto(value, 0, 0);
2435         if (is_sgr_string(test)) {
2436             int param = 0;
2437             int count = 0;
2438             int skips = 0;
2439             int color = (value == set_a_foreground ||
2440                          value == set_a_background ||
2441                          value == set_foreground ||
2442                          value == set_background);
2443             while (*test != 0) {
2444                 if (isdigit(UChar(*test))) {
2445                     param = 10 * param + (*test - '0');
2446                     ++count;
2447                 } else {
2448                     if (count) {
2449                         /*
2450                          * Avoid unnecessary warning for xterm 256color codes.
2451                          */
2452                         if (color && (param == 38 || param == 48))
2453                             skips = 3;
2454                         if ((skips-- <= 0) && (param == code))
2455                             break;
2456                     }
2457                     count = 0;
2458                     param = 0;
2459                 }
2460                 ++test;
2461             }
2462             if (count != 0 && param == code) {
2463                 if (code == 0 ||
2464                     no_color_video < 0 ||
2465                     !(no_color_video & ncv)) {
2466                     _nc_warning("\"%s\" SGR-attribute used in %s",
2467                                 sgr_names[code],
2468                                 name);
2469                 }
2470             }
2471         }
2472     }
2473 }
2474
2475 /* other sanity-checks (things that we don't want in the normal
2476  * logic that reads a terminfo entry)
2477  */
2478 static void
2479 check_termtype(TERMTYPE *tp, bool literal)
2480 {
2481     unsigned j;
2482
2483     check_conflict(tp);
2484
2485     for_each_string(j, tp) {
2486         char *a = tp->Strings[j];
2487         if (VALID_STRING(a)) {
2488             check_params(tp, ExtStrname(tp, (int) j, strnames), a);
2489             check_delays(ExtStrname(tp, (int) j, strnames), a);
2490             if (capdump) {
2491                 check_infotocap(tp, (int) j, a);
2492             }
2493         }
2494     }
2495
2496     check_acs(tp);
2497     check_colors(tp);
2498     check_cursor(tp);
2499     check_keypad(tp);
2500     check_printer(tp);
2501     check_screen(tp);
2502
2503     /*
2504      * These may be mismatched because the terminal description relies on
2505      * restoring the cursor visibility by resetting it.
2506      */
2507     ANDMISSING(cursor_invisible, cursor_normal);
2508     ANDMISSING(cursor_visible, cursor_normal);
2509
2510     if (PRESENT(cursor_visible) && PRESENT(cursor_normal)
2511         && !_nc_capcmp(cursor_visible, cursor_normal))
2512         _nc_warning("cursor_visible is same as cursor_normal");
2513
2514     /*
2515      * From XSI & O'Reilly, we gather that sc/rc are required if csr is
2516      * given, because the cursor position after the scrolling operation is
2517      * performed is undefined.
2518      */
2519     ANDMISSING(change_scroll_region, save_cursor);
2520     ANDMISSING(change_scroll_region, restore_cursor);
2521
2522     /*
2523      * If we can clear tabs, we should be able to initialize them.
2524      */
2525     ANDMISSING(clear_all_tabs, set_tab);
2526
2527     if (PRESENT(set_attributes)) {
2528         char *zero = 0;
2529
2530         _nc_tparm_err = 0;
2531         if (PRESENT(exit_attribute_mode)) {
2532             zero = strdup(CHECK_SGR(0, exit_attribute_mode));
2533         } else {
2534             zero = strdup(TPARM_9(set_attributes, 0, 0, 0, 0, 0, 0, 0, 0, 0));
2535         }
2536         if (_nc_tparm_err)
2537             _nc_warning("stack error in sgr(0) string");
2538
2539         if (zero != 0) {
2540             CHECK_SGR(1, enter_standout_mode);
2541             CHECK_SGR(2, enter_underline_mode);
2542             CHECK_SGR(3, enter_reverse_mode);
2543             CHECK_SGR(4, enter_blink_mode);
2544             CHECK_SGR(5, enter_dim_mode);
2545             CHECK_SGR(6, enter_bold_mode);
2546             CHECK_SGR(7, enter_secure_mode);
2547             CHECK_SGR(8, enter_protected_mode);
2548             CHECK_SGR(9, enter_alt_charset_mode);
2549             free(zero);
2550         } else {
2551             _nc_warning("sgr(0) did not return a value");
2552         }
2553     } else if (PRESENT(exit_attribute_mode) &&
2554                set_attributes != CANCELLED_STRING) {
2555         if (_nc_syntax == SYN_TERMINFO)
2556             _nc_warning("missing sgr string");
2557     }
2558 #define CHECK_SGR0(name) check_exit_attribute(#name, name, check_sgr0, exit_attribute_mode)
2559     if (PRESENT(exit_attribute_mode)) {
2560         char *check_sgr0 = _nc_trim_sgr0(tp);
2561
2562         if (check_sgr0 == 0 || *check_sgr0 == '\0') {
2563             _nc_warning("trimmed sgr0 is empty");
2564         } else {
2565             show_where(2);
2566             if (check_sgr0 != exit_attribute_mode) {
2567                 DEBUG(2,
2568                       ("will trim sgr0\n\toriginal sgr0=%s\n\ttrimmed  sgr0=%s",
2569                        _nc_visbuf2(1, exit_attribute_mode),
2570                        _nc_visbuf2(2, check_sgr0)));
2571             } else {
2572                 DEBUG(2,
2573                       ("will not trim sgr0\n\toriginal sgr0=%s",
2574                        _nc_visbuf(exit_attribute_mode)));
2575             }
2576         }
2577         CHECK_SGR0(exit_italics_mode);
2578         CHECK_SGR0(exit_standout_mode);
2579         CHECK_SGR0(exit_underline_mode);
2580         if (check_sgr0 != exit_attribute_mode) {
2581             free(check_sgr0);
2582         }
2583     }
2584 #define CHECK_SGR_PARAM(code, name) check_sgr_param(tp, (int)code, #name, name)
2585     for (j = 0; *sgr_names[j] != '\0'; ++j) {
2586         CHECK_SGR_PARAM(j, set_a_foreground);
2587         CHECK_SGR_PARAM(j, set_a_background);
2588         CHECK_SGR_PARAM(j, set_foreground);
2589         CHECK_SGR_PARAM(j, set_background);
2590     }
2591 #ifdef TRACE
2592     show_where(2);
2593     if (!auto_right_margin) {
2594         DEBUG(2,
2595               ("can write to lower-right directly"));
2596     } else if (PRESENT(enter_am_mode) && PRESENT(exit_am_mode)) {
2597         DEBUG(2,
2598               ("can write to lower-right by suppressing automargin"));
2599     } else if ((PRESENT(enter_insert_mode) && PRESENT(exit_insert_mode))
2600                || PRESENT(insert_character) || PRESENT(parm_ich)) {
2601         DEBUG(2,
2602               ("can write to lower-right by using inserts"));
2603     } else {
2604         DEBUG(2,
2605               ("cannot write to lower-right"));
2606     }
2607 #endif
2608
2609     /*
2610      * Some standard applications (e.g., vi) and some non-curses
2611      * applications (e.g., jove) get confused if we have both ich1 and
2612      * smir/rmir.  Let's be nice and warn about that, too, even though
2613      * ncurses handles it.
2614      */
2615     if ((PRESENT(enter_insert_mode) || PRESENT(exit_insert_mode))
2616         && PRESENT(parm_ich)) {
2617         _nc_warning("non-curses applications may be confused by ich1 with smir/rmir");
2618     }
2619
2620     /*
2621      * Finally, do the non-verbose checks
2622      */
2623     if (save_check_termtype != 0)
2624         save_check_termtype(tp, literal);
2625 }