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