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.266 2019/02/10 02:25:46 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     if (VALID_STRING(acs_chars)) {
1099         const char *boxes = "lmkjtuvwqxn";
1100         char mapped[256];
1101         char missing[256];
1102         const char *p;
1103         char *q;
1104
1105         memset(mapped, 0, sizeof(mapped));
1106         for (p = acs_chars; *p != '\0'; p += 2) {
1107             if (p[1] == '\0') {
1108                 _nc_warning("acsc has odd number of characters");
1109                 break;
1110             }
1111             mapped[UChar(p[0])] = p[1];
1112         }
1113
1114         if (mapped[UChar('I')] && !mapped[UChar('i')]) {
1115             _nc_warning("acsc refers to 'I', which is probably an error");
1116         }
1117
1118         for (p = boxes, q = missing; *p != '\0'; ++p) {
1119             if (!mapped[UChar(p[0])]) {
1120                 *q++ = p[0];
1121             }
1122         }
1123         *q = '\0';
1124
1125         assert(strlen(missing) <= strlen(boxes));
1126         if (*missing != '\0' && strcmp(missing, boxes)) {
1127             _nc_warning("acsc is missing some line-drawing mapping: %s", missing);
1128         }
1129     }
1130 }
1131
1132 static bool
1133 same_color(NCURSES_CONST char *oldcap, NCURSES_CONST char *newcap, int limit)
1134 {
1135     bool result = FALSE;
1136     if (limit > 16)
1137         limit = 16;
1138     if (limit >= 8) {
1139         int n;
1140         int same;
1141         for (n = same = 0; n < limit; ++n) {
1142             char *oldvalue = strdup(TPARM_1(oldcap, n));
1143             char *newvalue = strdup(TPARM_1(newcap, n));
1144             same += !strcmp(oldvalue, newvalue);
1145             free(oldvalue);
1146             free(newvalue);
1147         }
1148         result = (same == limit);
1149     }
1150     return result;
1151 }
1152
1153 /*
1154  * Check if the color capabilities are consistent
1155  */
1156 static void
1157 check_colors(TERMTYPE2 *tp)
1158 {
1159     if ((max_colors > 0) != (max_pairs > 0)
1160         || ((max_colors > max_pairs) && (initialize_pair == 0)))
1161         _nc_warning("inconsistent values for max_colors (%d) and max_pairs (%d)",
1162                     max_colors, max_pairs);
1163
1164     PAIRED(set_foreground, set_background);
1165     PAIRED(set_a_foreground, set_a_background);
1166     PAIRED(set_color_pair, initialize_pair);
1167
1168     if (VALID_STRING(set_foreground)
1169         && VALID_STRING(set_a_foreground)) {
1170         if (!_nc_capcmp(set_foreground, set_a_foreground)) {
1171             _nc_warning("expected setf/setaf to be different");
1172         } else if (same_color(set_foreground, set_a_foreground, max_colors)) {
1173             _nc_warning("setf/setaf are equivalent");
1174         }
1175     }
1176
1177     if (VALID_STRING(set_background)
1178         && VALID_STRING(set_a_background)) {
1179         if (!_nc_capcmp(set_background, set_a_background)) {
1180             _nc_warning("expected setb/setab to be different");
1181         } else if (same_color(set_background, set_a_background, max_colors)) {
1182             _nc_warning("setb/setab are equivalent");
1183         }
1184     }
1185
1186     /* see: has_colors() */
1187     if (VALID_NUMERIC(max_colors) && VALID_NUMERIC(max_pairs)
1188         && ((VALID_STRING(set_foreground)
1189              && VALID_STRING(set_background))
1190             || (VALID_STRING(set_a_foreground)
1191                 && VALID_STRING(set_a_background))
1192             || set_color_pair)) {
1193         if (!VALID_STRING(orig_pair) && !VALID_STRING(orig_colors))
1194             _nc_warning("expected either op/oc string for resetting colors");
1195     }
1196     if (can_change) {
1197         if (!VALID_STRING(initialize_pair) &&
1198             !VALID_STRING(initialize_color)) {
1199             _nc_warning("expected initc or initp because ccc is given");
1200         }
1201     } else {
1202         if (VALID_STRING(initialize_pair) ||
1203             VALID_STRING(initialize_color)) {
1204             _nc_warning("expected ccc because initc is given");
1205         }
1206     }
1207 }
1208
1209 static int
1210 csi_length(const char *value)
1211 {
1212     int result = 0;
1213
1214     if (value[0] == '\033' && value[1] == '[') {
1215         result = 2;
1216     } else if (UChar(value[0]) == 0x9a) {
1217         result = 1;
1218     }
1219     return result;
1220 }
1221
1222 static char
1223 keypad_final(const char *string)
1224 {
1225     char result = '\0';
1226
1227     if (VALID_STRING(string)
1228         && *string++ == '\033'
1229         && *string++ == 'O'
1230         && strlen(string) == 1) {
1231         result = *string;
1232     }
1233
1234     return result;
1235 }
1236
1237 static long
1238 keypad_index(const char *string)
1239 {
1240     char *test;
1241     const char *list = "PQRSwxymtuvlqrsPpn";    /* app-keypad except "Enter" */
1242     int ch;
1243     long result = -1;
1244
1245     if ((ch = keypad_final(string)) != '\0') {
1246         test = (strchr) (list, ch);
1247         if (test != 0)
1248             result = (long) (test - list);
1249     }
1250     return result;
1251 }
1252
1253 /*
1254  * list[] is down, up, left, right
1255  * "left" may be ^H rather than \E[D
1256  * "down" may be ^J rather than \E[B
1257  * But up/right are generally consistently escape sequences for ANSI terminals.
1258  */
1259 static void
1260 check_ansi_cursor(char *list[4])
1261 {
1262     int j, k;
1263     int want;
1264     size_t suffix;
1265     bool skip[4];
1266     bool repeated = FALSE;
1267
1268     for (j = 0; j < 4; ++j) {
1269         skip[j] = FALSE;
1270         for (k = 0; k < j; ++k) {
1271             if (j != k
1272                 && !strcmp(list[j], list[k])) {
1273                 char *value = _nc_tic_expand(list[k], TRUE, 0);
1274                 _nc_warning("repeated cursor control %s\n", value);
1275                 repeated = TRUE;
1276             }
1277         }
1278     }
1279     if (!repeated) {
1280         char *up = list[1];
1281         size_t prefix = (size_t) csi_length(up);
1282
1283         if (prefix) {
1284             suffix = prefix;
1285             while (up[suffix] && isdigit(UChar(up[suffix])))
1286                 ++suffix;
1287         }
1288         if (prefix && up[suffix] == 'A') {
1289             skip[1] = TRUE;
1290             if (!strcmp(list[0], "\n"))
1291                 skip[0] = TRUE;
1292             if (!strcmp(list[2], "\b"))
1293                 skip[2] = TRUE;
1294
1295             for (j = 0; j < 4; ++j) {
1296                 if (skip[j] || strlen(list[j]) == 1)
1297                     continue;
1298                 if (memcmp(list[j], up, prefix)) {
1299                     char *value = _nc_tic_expand(list[j], TRUE, 0);
1300                     _nc_warning("inconsistent prefix for %s\n", value);
1301                     continue;
1302                 }
1303                 if (strlen(list[j]) < suffix) {
1304                     char *value = _nc_tic_expand(list[j], TRUE, 0);
1305                     _nc_warning("inconsistent length for %s, expected %d\n",
1306                                 value, (int) suffix + 1);
1307                     continue;
1308                 }
1309                 want = "BADC"[j];
1310                 if (list[j][suffix] != want) {
1311                     char *value = _nc_tic_expand(list[j], TRUE, 0);
1312                     _nc_warning("inconsistent suffix for %s, expected %c, have %c\n",
1313                                 value, want, list[j][suffix]);
1314                 }
1315             }
1316         }
1317     }
1318 }
1319
1320 #define EXPECTED(name) if (!PRESENT(name)) _nc_warning("expected " #name)
1321 #define UNEXPECTED(name) if (PRESENT(name)) _nc_warning("unexpected " #name ", for %s", why)
1322
1323 static void
1324 check_noaddress(TERMTYPE2 *tp, const char *why)
1325 {
1326     UNEXPECTED(column_address);
1327     UNEXPECTED(cursor_address);
1328     UNEXPECTED(cursor_home);
1329     UNEXPECTED(cursor_mem_address);
1330     UNEXPECTED(cursor_to_ll);
1331     UNEXPECTED(row_address);
1332     UNEXPECTED(row_address);
1333 }
1334
1335 static void
1336 check_cursor(TERMTYPE2 *tp)
1337 {
1338     int count;
1339     char *list[4];
1340
1341     if (hard_copy) {
1342         check_noaddress(tp, "hard_copy");
1343     } else if (generic_type) {
1344         check_noaddress(tp, "generic_type");
1345     } else if (strchr(tp->term_names, '+') == 0) {
1346         int y = 0;
1347         int x = 0;
1348         if (PRESENT(column_address))
1349             ++y;
1350         if (PRESENT(cursor_address))
1351             y = x = 10;
1352         if (PRESENT(cursor_home))
1353             ++y, ++x;
1354         if (PRESENT(cursor_mem_address))
1355             y = x = 10;
1356         if (PRESENT(cursor_to_ll))
1357             ++y, ++x;
1358         if (PRESENT(row_address))
1359             ++x;
1360         if (PRESENT(cursor_down))
1361             ++y;
1362         if (PRESENT(cursor_up))
1363             ++y;
1364         if (PRESENT(cursor_left))
1365             ++x;
1366         if (PRESENT(cursor_right))
1367             ++x;
1368         if (x < 2 && y < 2) {
1369             _nc_warning("terminal lacks cursor addressing");
1370         } else {
1371             if (x < 2)
1372                 _nc_warning("terminal lacks cursor column-addressing");
1373             if (y < 2)
1374                 _nc_warning("terminal lacks cursor row-addressing");
1375         }
1376     }
1377
1378     /* it is rare to have an insert-line feature without a matching delete */
1379     ANDMISSING(parm_insert_line, insert_line);
1380     ANDMISSING(parm_delete_line, delete_line);
1381     ANDMISSING(parm_insert_line, parm_delete_line);
1382
1383     /* if we have a parameterized form, then the non-parameterized is easy */
1384     ANDMISSING(parm_down_cursor, cursor_down);
1385     ANDMISSING(parm_up_cursor, cursor_up);
1386     ANDMISSING(parm_left_cursor, cursor_left);
1387     ANDMISSING(parm_right_cursor, cursor_right);
1388
1389     /* Given any of a set of cursor movement, the whole set should be present.
1390      * Technically this is not true (we could use cursor_address to fill in
1391      * unsupported controls), but it is likely.
1392      */
1393     count = 0;
1394     if (PRESENT(parm_down_cursor)) {
1395         list[count++] = parm_down_cursor;
1396     }
1397     if (PRESENT(parm_up_cursor)) {
1398         list[count++] = parm_up_cursor;
1399     }
1400     if (PRESENT(parm_left_cursor)) {
1401         list[count++] = parm_left_cursor;
1402     }
1403     if (PRESENT(parm_right_cursor)) {
1404         list[count++] = parm_right_cursor;
1405     }
1406     if (count == 4) {
1407         check_ansi_cursor(list);
1408     } else if (count != 0) {
1409         EXPECTED(parm_down_cursor);
1410         EXPECTED(parm_up_cursor);
1411         EXPECTED(parm_left_cursor);
1412         EXPECTED(parm_right_cursor);
1413     }
1414
1415     count = 0;
1416     if (PRESENT(cursor_down)) {
1417         list[count++] = cursor_down;
1418     }
1419     if (PRESENT(cursor_up)) {
1420         list[count++] = cursor_up;
1421     }
1422     if (PRESENT(cursor_left)) {
1423         list[count++] = cursor_left;
1424     }
1425     if (PRESENT(cursor_right)) {
1426         list[count++] = cursor_right;
1427     }
1428     if (count == 4) {
1429         check_ansi_cursor(list);
1430     } else if (count != 0) {
1431         count = 0;
1432         if (PRESENT(cursor_down) && strcmp(cursor_down, "\n"))
1433             ++count;
1434         if (PRESENT(cursor_left) && strcmp(cursor_left, "\b"))
1435             ++count;
1436         if (PRESENT(cursor_up) && strlen(cursor_up) > 1)
1437             ++count;
1438         if (PRESENT(cursor_right) && strlen(cursor_right) > 1)
1439             ++count;
1440         if (count) {
1441             EXPECTED(cursor_down);
1442             EXPECTED(cursor_up);
1443             EXPECTED(cursor_left);
1444             EXPECTED(cursor_right);
1445         }
1446     }
1447 }
1448
1449 #define MAX_KP 5
1450 /*
1451  * Do a quick sanity-check for vt100-style keypads to see if the 5-key keypad
1452  * is mapped inconsistently.
1453  */
1454 static void
1455 check_keypad(TERMTYPE2 *tp)
1456 {
1457     char show[80];
1458
1459     if (VALID_STRING(key_a1) &&
1460         VALID_STRING(key_a3) &&
1461         VALID_STRING(key_b2) &&
1462         VALID_STRING(key_c1) &&
1463         VALID_STRING(key_c3)) {
1464         char final[MAX_KP + 1];
1465         long list[MAX_KP];
1466         int increase = 0;
1467         int j, k, kk;
1468         long last;
1469         long test;
1470
1471         final[0] = keypad_final(key_a1);
1472         final[1] = keypad_final(key_a3);
1473         final[2] = keypad_final(key_b2);
1474         final[3] = keypad_final(key_c1);
1475         final[4] = keypad_final(key_c3);
1476         final[5] = '\0';
1477
1478         /* special case: legacy coding using 1,2,3,0,. on the bottom */
1479         assert(strlen(final) <= MAX_KP);
1480         if (!strcmp(final, "qsrpn"))
1481             return;
1482
1483         list[0] = keypad_index(key_a1);
1484         list[1] = keypad_index(key_a3);
1485         list[2] = keypad_index(key_b2);
1486         list[3] = keypad_index(key_c1);
1487         list[4] = keypad_index(key_c3);
1488
1489         /* check that they're all vt100 keys */
1490         for (j = 0; j < MAX_KP; ++j) {
1491             if (list[j] < 0) {
1492                 return;
1493             }
1494         }
1495
1496         /* check if they're all in increasing order */
1497         for (j = 1; j < MAX_KP; ++j) {
1498             if (list[j] > list[j - 1]) {
1499                 ++increase;
1500             }
1501         }
1502         if (increase != (MAX_KP - 1)) {
1503             show[0] = '\0';
1504
1505             for (j = 0, last = -1; j < MAX_KP; ++j) {
1506                 for (k = 0, kk = -1, test = 100; k < 5; ++k) {
1507                     if (list[k] > last &&
1508                         list[k] < test) {
1509                         test = list[k];
1510                         kk = k;
1511                     }
1512                 }
1513                 last = test;
1514                 assert(strlen(show) < (MAX_KP * 4));
1515                 switch (kk) {
1516                 case 0:
1517                     _nc_STRCAT(show, " ka1", sizeof(show));
1518                     break;
1519                 case 1:
1520                     _nc_STRCAT(show, " ka3", sizeof(show));
1521                     break;
1522                 case 2:
1523                     _nc_STRCAT(show, " kb2", sizeof(show));
1524                     break;
1525                 case 3:
1526                     _nc_STRCAT(show, " kc1", sizeof(show));
1527                     break;
1528                 case 4:
1529                     _nc_STRCAT(show, " kc3", sizeof(show));
1530                     break;
1531                 }
1532             }
1533
1534             _nc_warning("vt100 keypad order inconsistent: %s", show);
1535         }
1536
1537     } else if (VALID_STRING(key_a1) ||
1538                VALID_STRING(key_a3) ||
1539                VALID_STRING(key_b2) ||
1540                VALID_STRING(key_c1) ||
1541                VALID_STRING(key_c3)) {
1542         show[0] = '\0';
1543         if (keypad_index(key_a1) >= 0)
1544             _nc_STRCAT(show, " ka1", sizeof(show));
1545         if (keypad_index(key_a3) >= 0)
1546             _nc_STRCAT(show, " ka3", sizeof(show));
1547         if (keypad_index(key_b2) >= 0)
1548             _nc_STRCAT(show, " kb2", sizeof(show));
1549         if (keypad_index(key_c1) >= 0)
1550             _nc_STRCAT(show, " kc1", sizeof(show));
1551         if (keypad_index(key_c3) >= 0)
1552             _nc_STRCAT(show, " kc3", sizeof(show));
1553         if (*show != '\0')
1554             _nc_warning("vt100 keypad map incomplete:%s", show);
1555     }
1556
1557     /*
1558      * These warnings are useful for consistency checks - it is possible that
1559      * there are real terminals with mismatches in these
1560      */
1561     ANDMISSING(key_ic, key_dc);
1562 }
1563
1564 static void
1565 check_printer(TERMTYPE2 *tp)
1566 {
1567     (void) tp;
1568 #if defined(enter_doublewide_mode) && defined(exit_doublewide_mode)
1569     PAIRED(enter_doublewide_mode, exit_doublewide_mode);
1570 #endif
1571 #if defined(enter_italics_mode) && defined(exit_italics_mode)
1572     PAIRED(enter_italics_mode, exit_italics_mode);
1573 #endif
1574 #if defined(enter_leftward_mode) && defined(exit_leftward_mode)
1575     PAIRED(enter_leftward_mode, exit_leftward_mode);
1576 #endif
1577 #if defined(enter_micro_mode) && defined(exit_micro_mode)
1578     PAIRED(enter_micro_mode, exit_micro_mode);
1579 #endif
1580 #if defined(enter_shadow_mode) && defined(exit_shadow_mode)
1581     PAIRED(enter_shadow_mode, exit_shadow_mode);
1582 #endif
1583 #if defined(enter_subscript_mode) && defined(exit_subscript_mode)
1584     PAIRED(enter_subscript_mode, exit_subscript_mode);
1585 #endif
1586 #if defined(enter_superscript_mode) && defined(exit_superscript_mode)
1587     PAIRED(enter_superscript_mode, exit_superscript_mode);
1588 #endif
1589 #if defined(enter_upward_mode) && defined(exit_upward_mode)
1590     PAIRED(enter_upward_mode, exit_upward_mode);
1591 #endif
1592
1593 #if defined(start_char_set_def) && defined(stop_char_set_def)
1594     ANDMISSING(start_char_set_def, stop_char_set_def);
1595 #endif
1596
1597     /* if we have a parameterized form, then the non-parameterized is easy */
1598 #if defined(set_bottom_margin_parm) && defined(set_bottom_margin)
1599     ANDMISSING(set_bottom_margin_parm, set_bottom_margin);
1600 #endif
1601 #if defined(set_left_margin_parm) && defined(set_left_margin)
1602     ANDMISSING(set_left_margin_parm, set_left_margin);
1603 #endif
1604 #if defined(set_right_margin_parm) && defined(set_right_margin)
1605     ANDMISSING(set_right_margin_parm, set_right_margin);
1606 #endif
1607 #if defined(set_top_margin_parm) && defined(set_top_margin)
1608     ANDMISSING(set_top_margin_parm, set_top_margin);
1609 #endif
1610
1611 #if defined(parm_down_micro) && defined(micro_down)
1612     ANDMISSING(parm_down_micro, micro_down);
1613 #endif
1614 #if defined(parm_left_micro) && defined(micro_left)
1615     ANDMISSING(parm_left_micro, micro_left);
1616 #endif
1617 #if defined(parm_right_micro) && defined(micro_right)
1618     ANDMISSING(parm_right_micro, micro_right);
1619 #endif
1620 #if defined(parm_up_micro) && defined(micro_up)
1621     ANDMISSING(parm_up_micro, micro_up);
1622 #endif
1623 }
1624
1625 static bool
1626 uses_SGR_39_49(const char *value)
1627 {
1628     return (strstr(value, "39;49") != 0
1629             || strstr(value, "49;39") != 0);
1630 }
1631
1632 /*
1633  * Check consistency of termcap extensions related to "screen".
1634  */
1635 static void
1636 check_screen(TERMTYPE2 *tp)
1637 {
1638 #if NCURSES_XNAMES
1639     if (_nc_user_definable) {
1640         int have_XT = tigetflag("XT");
1641         int have_XM = tigetflag("XM");
1642         int have_bce = back_color_erase;
1643         bool have_kmouse = FALSE;
1644         bool use_sgr_39_49 = FALSE;
1645         char *name = _nc_first_name(tp->term_names);
1646         bool is_screen = !strncmp(name, "screen", 6);
1647         bool screen_base = (is_screen
1648                             && strchr(name, '.') == 0);
1649
1650         if (!VALID_BOOLEAN(have_bce)) {
1651             have_bce = FALSE;
1652         }
1653         if (!VALID_BOOLEAN(have_XM)) {
1654             have_XM = FALSE;
1655         }
1656         if (!VALID_BOOLEAN(have_XT)) {
1657             have_XT = FALSE;
1658         }
1659         if (VALID_STRING(key_mouse)) {
1660             have_kmouse = !strcmp("\033[M", key_mouse);
1661         }
1662         if (VALID_STRING(orig_colors)) {
1663             use_sgr_39_49 = uses_SGR_39_49(orig_colors);
1664         } else if (VALID_STRING(orig_pair)) {
1665             use_sgr_39_49 = uses_SGR_39_49(orig_pair);
1666         }
1667
1668         if (have_XM && have_XT) {
1669             _nc_warning("screen's XT capability conflicts with XM");
1670         } else if (have_XT && screen_base) {
1671             _nc_warning("screen's \"screen\" entries should not have XT set");
1672         } else if (have_XT) {
1673             if (!have_kmouse && is_screen) {
1674                 if (VALID_STRING(key_mouse)) {
1675                     _nc_warning("value of kmous inconsistent with screen's usage");
1676                 } else {
1677                     _nc_warning("expected kmous capability with XT");
1678                 }
1679             }
1680             if (!have_bce && max_colors > 0)
1681                 _nc_warning("expected bce capability with XT");
1682             if (!use_sgr_39_49 && have_bce && max_colors > 0)
1683                 _nc_warning("expected orig_colors capability with XT to have 39/49 parameters");
1684             if (VALID_STRING(to_status_line))
1685                 _nc_warning("\"tsl\" capability is redundant, given XT");
1686         } else {
1687             if (have_kmouse
1688                 && !have_XM
1689                 && !screen_base && strchr(name, '+') == 0) {
1690                 _nc_warning("expected XT to be set, given kmous");
1691             }
1692         }
1693     }
1694 #endif
1695 }
1696
1697 /*
1698  * Returns the expected number of parameters for the given capability.
1699  */
1700 static int
1701 expected_params(const char *name)
1702 {
1703 #define DATA(name,count) { { name }, count }
1704     /* *INDENT-OFF* */
1705     static const struct {
1706         const char name[9];
1707         int count;
1708     } table[] = {
1709         DATA( "S0",             1 ),    /* 'screen' extension */
1710         DATA( "birep",          2 ),
1711         DATA( "chr",            1 ),
1712         DATA( "colornm",        1 ),
1713         DATA( "cpi",            1 ),
1714         DATA( "csnm",           1 ),
1715         DATA( "csr",            2 ),
1716         DATA( "cub",            1 ),
1717         DATA( "cud",            1 ),
1718         DATA( "cuf",            1 ),
1719         DATA( "cup",            2 ),
1720         DATA( "cuu",            1 ),
1721         DATA( "cvr",            1 ),
1722         DATA( "cwin",           5 ),
1723         DATA( "dch",            1 ),
1724         DATA( "defc",           3 ),
1725         DATA( "dial",           1 ),
1726         DATA( "dispc",          1 ),
1727         DATA( "dl",             1 ),
1728         DATA( "ech",            1 ),
1729         DATA( "getm",           1 ),
1730         DATA( "hpa",            1 ),
1731         DATA( "ich",            1 ),
1732         DATA( "il",             1 ),
1733         DATA( "indn",           1 ),
1734         DATA( "initc",          4 ),
1735         DATA( "initp",          7 ),
1736         DATA( "lpi",            1 ),
1737         DATA( "mc5p",           1 ),
1738         DATA( "mrcup",          2 ),
1739         DATA( "mvpa",           1 ),
1740         DATA( "pfkey",          2 ),
1741         DATA( "pfloc",          2 ),
1742         DATA( "pfx",            2 ),
1743         DATA( "pfxl",           3 ),
1744         DATA( "pln",            2 ),
1745         DATA( "qdial",          1 ),
1746         DATA( "rcsd",           1 ),
1747         DATA( "rep",            2 ),
1748         DATA( "rin",            1 ),
1749         DATA( "sclk",           3 ),
1750         DATA( "scp",            1 ),
1751         DATA( "scs",            1 ),
1752         DATA( "scsd",           2 ),
1753         DATA( "setab",          1 ),
1754         DATA( "setaf",          1 ),
1755         DATA( "setb",           1 ),
1756         DATA( "setcolor",       1 ),
1757         DATA( "setf",           1 ),
1758         DATA( "sgr",            9 ),
1759         DATA( "sgr1",           6 ),
1760         DATA( "slength",        1 ),
1761         DATA( "slines",         1 ),
1762         DATA( "smgbp",          1 ),    /* 2 if smgtp is not given */
1763         DATA( "smglp",          1 ),
1764         DATA( "smglr",          2 ),
1765         DATA( "smgrp",          1 ),
1766         DATA( "smgtb",          2 ),
1767         DATA( "smgtp",          1 ),
1768         DATA( "tsl",            1 ),
1769         DATA( "u6",             -1 ),
1770         DATA( "vpa",            1 ),
1771         DATA( "wind",           4 ),
1772         DATA( "wingo",          1 ),
1773     };
1774     /* *INDENT-ON* */
1775
1776 #undef DATA
1777
1778     unsigned n;
1779     int result = 0;             /* function-keys, etc., use none */
1780
1781     for (n = 0; n < SIZEOF(table); n++) {
1782         if (!strcmp(name, table[n].name)) {
1783             result = table[n].count;
1784             break;
1785         }
1786     }
1787
1788     return result;
1789 }
1790
1791 typedef struct {
1792     const char *name;
1793     int n_type;
1794     int n_parms;
1795 } USERCAPS;
1796
1797 /*
1798  * These are user-capabilities that happen to be used in ncurses' terminal
1799  * database.
1800  */
1801 static USERCAPS *
1802 lookup_user_capability(const char *name)
1803 {
1804     /* *INDENT-OFF* */
1805 #define DATA(name,type,parms) { name, type, parms }
1806     static USERCAPS table[] = {
1807         DATA( "AX",    BOOLEAN, 0 ),
1808         DATA( "Cr",    STRING,  0 ),
1809         DATA( "Cs",    STRING,  1 ),
1810         DATA( "E0",    STRING,  0 ),
1811         DATA( "E3",    STRING,  0 ),
1812         DATA( "G0",    BOOLEAN, 0 ),
1813         DATA( "Ms",    STRING,  2 ),
1814         DATA( "RGB",   BOOLEAN, 0 ),    /* FIXME can be number or string */
1815         DATA( "S0",    STRING,  1 ),
1816         DATA( "Se",    STRING,  0 ),
1817         DATA( "Smulx", STRING,  1 ),
1818         DATA( "Ss",    STRING,  1 ),
1819         DATA( "TS",    STRING,  0 ),
1820         DATA( "U8",    NUMBER,  0 ),
1821         DATA( "XM",    STRING,  1 ),
1822         DATA( "XT",    BOOLEAN, 0 ),
1823         DATA( "grbom", STRING,  0 ),
1824         DATA( "gsbom", STRING,  0 ),
1825         DATA( "rmxx",  STRING,  0 ),
1826         DATA( "smxx",  STRING,  0 ),
1827         DATA( "xm",    STRING,  9 ),
1828     };
1829 #undef DATA
1830     /* *INDENT-ON* */
1831
1832     size_t n;
1833     USERCAPS *result = 0;
1834     if (*name != 'k') {
1835         for (n = 0; n < SIZEOF(table); ++n) {
1836             if (!strcmp(name, table[n].name)) {
1837                 result = &table[n];
1838                 break;
1839             }
1840         }
1841     }
1842     return result;
1843 }
1844
1845 /*
1846  * If a given name is likely to be a user-capability, return the number of
1847  * parameters it would be used with.  If not, return -1.
1848  *
1849  * ncurses assumes that u6 could be used for getting the cursor-position, but
1850  * that is not implemented.  Make a special case for that, to quiet needless
1851  * warnings.
1852  *
1853  * The other string-capability extensions (see terminfo.src) which could have
1854  * parameters such as "Ss", "%u", are not used by ncurses.  But we check those
1855  * anyway, to validate the terminfo database.
1856  */
1857 static int
1858 is_user_capability(const char *name)
1859 {
1860     int result = -1;
1861     if (name[0] == 'u' &&
1862         (name[1] >= '0' && name[1] <= '9') &&
1863         name[2] == '\0') {
1864         result = (name[1] == '6') ? 2 : 0;
1865     } else if (using_extensions) {
1866         USERCAPS *p = lookup_user_capability(name);
1867         if (p != 0) {
1868             result = p->n_parms;
1869         }
1870     }
1871     return result;
1872 }
1873
1874 /*
1875  * Make a quick sanity check for the parameters which are used in the given
1876  * strings.  If there are no "%p" tokens, then there should be no other "%"
1877  * markers.
1878  */
1879 static void
1880 check_params(TERMTYPE2 *tp, const char *name, char *value, int extended)
1881 {
1882     int expected = expected_params(name);
1883     int actual = 0;
1884     int n;
1885     bool params[NUM_PARM];
1886     char *s = value;
1887
1888 #ifdef set_top_margin_parm
1889     if (!strcmp(name, "smgbp")
1890         && set_top_margin_parm == 0)
1891         expected = 2;
1892 #endif
1893
1894     for (n = 0; n < NUM_PARM; n++)
1895         params[n] = FALSE;
1896
1897     while (*s != 0) {
1898         if (*s == '%') {
1899             if (*++s == '\0') {
1900                 _nc_warning("expected character after %% in %s", name);
1901                 break;
1902             } else if (*s == 'p') {
1903                 if (*++s == '\0' || !isdigit((int) *s)) {
1904                     _nc_warning("expected digit after %%p in %s", name);
1905                     return;
1906                 } else {
1907                     n = (*s - '0');
1908                     if (n > actual)
1909                         actual = n;
1910                     params[n] = TRUE;
1911                 }
1912             }
1913         }
1914         s++;
1915     }
1916
1917     if (extended) {
1918         int check = is_user_capability(name);
1919         if (check != actual) {
1920             _nc_warning("extended %s capability has %d parameters, expected %d",
1921                         name, actual, check);
1922         } else if (debug_level > 1) {
1923             _nc_warning("extended %s capability has %d parameters, as expected",
1924                         name, actual);
1925         }
1926         expected = actual;
1927     }
1928
1929     if (params[0]) {
1930         _nc_warning("%s refers to parameter 0 (%%p0), which is not allowed", name);
1931     }
1932     if (value == set_attributes || expected < 0) {
1933         ;
1934     } else if (expected != actual) {
1935         _nc_warning("%s uses %d parameters, expected %d", name,
1936                     actual, expected);
1937         for (n = 1; n < actual; n++) {
1938             if (!params[n])
1939                 _nc_warning("%s omits parameter %d", name, n);
1940         }
1941     }
1942
1943     /*
1944      * Counting "%p" markers does not account for termcap expressions which
1945      * may not have been fully translated.  Also, tparm does its own analysis.
1946      * Report differences here.
1947      */
1948     if (actual >= 0) {
1949         char *p_is_s[NUM_PARM];
1950         int popcount;
1951         int analyzed = _nc_tparm_analyze(value, p_is_s, &popcount);
1952         if (analyzed < popcount) {
1953             analyzed = popcount;
1954         }
1955         if (actual != analyzed && expected != analyzed) {
1956             int user_cap = is_user_capability(name);
1957             if ((user_cap == analyzed) && using_extensions) {
1958                 ;               /* ignore */
1959             } else if (user_cap >= 0) {
1960                 _nc_warning("tparm will use %d parameters for %s, expected %d",
1961                             analyzed, name, user_cap);
1962             } else {
1963                 _nc_warning("tparm analyzed %d parameters for %s, expected %d",
1964                             analyzed, name, actual);
1965             }
1966         }
1967     }
1968 }
1969
1970 static bool
1971 line_capability(const char *name)
1972 {
1973     bool result = FALSE;
1974     static const char *table[] =
1975     {
1976         "csr",                  /* change_scroll_region          */
1977         "clear",                /* clear_screen                  */
1978         "ed",                   /* clr_eos                       */
1979         "cwin",                 /* create_window                 */
1980         "cup",                  /* cursor_address                */
1981         "cud1",                 /* cursor_down                   */
1982         "home",                 /* cursor_home                   */
1983         "mrcup",                /* cursor_mem_address            */
1984         "ll",                   /* cursor_to_ll                  */
1985         "cuu1",                 /* cursor_up                     */
1986         "dl1",                  /* delete_line                   */
1987         "hd",                   /* down_half_line                */
1988         "flash",                /* flash_screen                  */
1989         "ff",                   /* form_feed                     */
1990         "il1",                  /* insert_line                   */
1991         "nel",                  /* newline                       */
1992         "dl",                   /* parm_delete_line              */
1993         "cud",                  /* parm_down_cursor              */
1994         "indn",                 /* parm_index                    */
1995         "il",                   /* parm_insert_line              */
1996         "rin",                  /* parm_rindex                   */
1997         "cuu",                  /* parm_up_cursor                */
1998         "mc0",                  /* print_screen                  */
1999         "vpa",                  /* row_address                   */
2000         "ind",                  /* scroll_forward                */
2001         "ri",                   /* scroll_reverse                */
2002         "hu",                   /* up_half_line                  */
2003     };
2004     size_t n;
2005     for (n = 0; n < SIZEOF(table); ++n) {
2006         if (!strcmp(name, table[n])) {
2007             result = TRUE;
2008             break;
2009         }
2010     }
2011     return result;
2012 }
2013
2014 /*
2015  * Check for DEC VT100 private mode for reverse video.
2016  */
2017 static const char *
2018 skip_DECSCNM(const char *value, int *flag)
2019 {
2020     *flag = -1;
2021     if (value != 0) {
2022         int skip = csi_length(value);
2023         if (skip > 0 &&
2024             value[skip++] == '?' &&
2025             value[skip++] == '5') {
2026             if (value[skip] == 'h') {
2027                 *flag = 1;
2028             } else if (value[skip] == 'l') {
2029                 *flag = 0;
2030             }
2031             value += skip + 1;
2032         }
2033     }
2034     return value;
2035 }
2036
2037 static void
2038 check_delays(TERMTYPE2 *tp, const char *name, const char *value)
2039 {
2040     const char *p, *q;
2041     const char *first = 0;
2042     const char *last = 0;
2043
2044     for (p = value; *p != '\0'; ++p) {
2045         if (p[0] == '$' && p[1] == '<') {
2046             const char *base = p + 2;
2047             const char *mark = 0;
2048             bool maybe = TRUE;
2049             bool mixed = FALSE;
2050             int proportional = 0;
2051             int mandatory = 0;
2052
2053             first = p;
2054
2055             for (q = base; *q != '\0'; ++q) {
2056                 if (*q == '>') {
2057                     if (mark == 0)
2058                         mark = q;
2059                     break;
2060                 } else if (*q == '*' || *q == '/') {
2061                     if (*q == '*')
2062                         ++proportional;
2063                     if (*q == '/')
2064                         ++mandatory;
2065                     if (mark == 0)
2066                         mark = q;
2067                 } else if (!(isalnum(UChar(*q)) || strchr("+-.", *q) != 0)) {
2068                     maybe = FALSE;
2069                     break;
2070                 } else if (proportional || mandatory) {
2071                     mixed = TRUE;
2072                 }
2073             }
2074             last = *q ? (q + 1) : q;
2075             if (*q == '\0') {
2076                 maybe = FALSE;  /* just an isolated "$<" */
2077             } else if (maybe) {
2078                 float check_f;
2079                 char check_c;
2080                 int rc = sscanf(base, "%f%c", &check_f, &check_c);
2081                 if ((rc != 2) || (check_c != *mark) || mixed) {
2082                     _nc_warning("syntax error in %s delay '%.*s'", name,
2083                                 (int) (q - base), base);
2084                 } else if (*name == 'k') {
2085                     _nc_warning("function-key %s has delay", name);
2086                 } else if (proportional && !line_capability(name)) {
2087                     _nc_warning("non-line capability using proportional delay: %s", name);
2088                 } else if (!xon_xoff &&
2089                            !mandatory &&
2090                            strchr(_nc_first_name(tp->term_names), '+') == 0) {
2091                     _nc_warning("%s in %s is used since no xon/xoff",
2092                                 (proportional
2093                                  ? "proportional delay"
2094                                  : "delay"),
2095                                 name);
2096                 }
2097             } else {
2098                 p = q - 1;      /* restart scan */
2099             }
2100         }
2101     }
2102
2103     if (!strcmp(name, "flash") ||
2104         !strcmp(name, "beep")) {
2105
2106         if (first != 0) {
2107             if (first == value || *last == 0) {
2108                 /*
2109                  * Delay is on one end or the other.
2110                  */
2111                 _nc_warning("expected delay embedded within %s", name);
2112             }
2113         } else {
2114             int flag;
2115
2116             /*
2117              * Check for missing delay when using VT100 reverse-video.
2118              * A real VT100 might not need this, but terminal emulators do.
2119              */
2120             if ((p = skip_DECSCNM(value, &flag)) != 0 &&
2121                 flag > 0 &&
2122                 (q = skip_DECSCNM(p, &flag)) != 0 &&
2123                 flag == 0) {
2124                 _nc_warning("expected a delay in %s", name);
2125             }
2126         }
2127     }
2128 }
2129
2130 static char *
2131 check_1_infotocap(const char *name, NCURSES_CONST char *value, int count)
2132 {
2133     int k;
2134     int ignored;
2135     long numbers[1 + NUM_PARM];
2136     char *strings[1 + NUM_PARM];
2137     char *p_is_s[NUM_PARM];
2138     char *result;
2139     char blob[NUM_PARM * 10];
2140     char *next = blob;
2141
2142     *next++ = '\0';
2143     for (k = 1; k <= NUM_PARM; k++) {
2144         numbers[k] = count;
2145         _nc_SPRINTF(next,
2146                     _nc_SLIMIT(sizeof(blob) - (size_t) (next - blob))
2147                     "XYZ%d", count);
2148         strings[k] = next;
2149         next += strlen(next) + 1;
2150     }
2151
2152     switch (tparm_type(name)) {
2153     case Num_Str:
2154         result = TPARM_2(value, numbers[1], strings[2]);
2155         break;
2156     case Num_Str_Str:
2157         result = TPARM_3(value, numbers[1], strings[2], strings[3]);
2158         break;
2159     case Numbers:
2160     default:
2161         (void) _nc_tparm_analyze(value, p_is_s, &ignored);
2162 #define myParam(n) (p_is_s[n - 1] != 0 ? ((TPARM_ARG) strings[n]) : numbers[n])
2163         result = TPARM_9(value,
2164                          myParam(1),
2165                          myParam(2),
2166                          myParam(3),
2167                          myParam(4),
2168                          myParam(5),
2169                          myParam(6),
2170                          myParam(7),
2171                          myParam(8),
2172                          myParam(9));
2173         break;
2174     }
2175     return strdup(result);
2176 }
2177
2178 #define IsDelay(ch) ((ch) == '.' || isdigit(UChar(ch)))
2179
2180 static const char *
2181 parse_delay_value(const char *src, double *delays, int *always)
2182 {
2183     int star = 0;
2184
2185     *delays = 0.0;
2186     if (always)
2187         *always = 0;
2188
2189     while (isdigit(UChar(*src))) {
2190         (*delays) = (*delays) * 10 + (*src++ - '0');
2191     }
2192     if (*src == '.') {
2193         int gotdot = 1;
2194
2195         ++src;
2196         while (isdigit(UChar(*src))) {
2197             gotdot *= 10;
2198             (*delays) += (*src++ - '0') / gotdot;
2199         }
2200     }
2201     while (*src == '*' || *src == '/') {
2202         if (always == 0 && *src == '/')
2203             break;
2204         if (*src++ == '*') {
2205             star = 1;
2206         } else {
2207             *always = 1;
2208         }
2209     }
2210     if (star)
2211         *delays = -(*delays);
2212     return src;
2213 }
2214
2215 static const char *
2216 parse_ti_delay(const char *ti, double *delays)
2217 {
2218     *delays = 0.0;
2219     while (*ti != '\0') {
2220         if (*ti == '\\') {
2221             ++ti;
2222         }
2223         if (ti[0] == '$'
2224             && ti[1] == '<'
2225             && IsDelay(UChar(ti[2]))) {
2226             int ignored;
2227             const char *last = parse_delay_value(ti + 2, delays, &ignored);
2228             if (*last == '>') {
2229                 ti = last;
2230             }
2231         } else {
2232             ++ti;
2233         }
2234     }
2235     return ti;
2236 }
2237
2238 static const char *
2239 parse_tc_delay(const char *tc, double *delays)
2240 {
2241     return parse_delay_value(tc, delays, (int *) 0);
2242 }
2243
2244 /*
2245  * Compare terminfo- and termcap-strings, factoring out delays.
2246  */
2247 static bool
2248 same_ti_tc(const char *ti, const char *tc, bool * embedded)
2249 {
2250     bool same = TRUE;
2251     double ti_delay = 0.0;
2252     double tc_delay = 0.0;
2253     const char *ti_last;
2254
2255     *embedded = FALSE;
2256     ti_last = parse_ti_delay(ti, &ti_delay);
2257     tc = parse_tc_delay(tc, &tc_delay);
2258
2259     while ((ti < ti_last) && *tc) {
2260         if (*ti == '\\' && ispunct(UChar(ti[1]))) {
2261             ++ti;
2262             if ((*ti == '^') && !strncmp(tc, "\\136", 4)) {
2263                 ti += 1;
2264                 tc += 4;
2265                 continue;
2266             }
2267         } else if (ti[0] == '$' && ti[1] == '<') {
2268             double no_delay;
2269             const char *ss = parse_ti_delay(ti, &no_delay);
2270             if (ss != ti) {
2271                 *embedded = TRUE;
2272                 ti = ss;
2273                 continue;
2274             }
2275         }
2276         if (*tc == '\\' && ispunct(UChar(tc[1]))) {
2277             ++tc;
2278         }
2279         if (*ti++ != *tc++) {
2280             same = FALSE;
2281             break;
2282         }
2283     }
2284
2285     if (*embedded) {
2286         if (same) {
2287             same = FALSE;
2288         } else {
2289             *embedded = FALSE;  /* report only one problem */
2290         }
2291     }
2292
2293     return same;
2294 }
2295
2296 /*
2297  * Check terminfo to termcap translation.
2298  */
2299 static void
2300 check_infotocap(TERMTYPE2 *tp, int i, const char *value)
2301 {
2302     const char *name = ExtStrname(tp, i, strnames);
2303     int params = (((i < (int) SIZEOF(parametrized)) &&
2304                    (i < STRCOUNT))
2305                   ? parametrized[i]
2306                   : ((*value == 'k')
2307                      ? 0
2308                      : has_params(value)));
2309     int to_char = 0;
2310     char *ti_value;
2311     char *tc_value;
2312     bool embedded;
2313
2314     if ((ti_value = _nc_tic_expand(value, TRUE, to_char)) == ABSENT_STRING) {
2315         _nc_warning("tic-expansion of %s failed", name);
2316     } else if ((tc_value = _nc_infotocap(name, ti_value, params)) == ABSENT_STRING) {
2317         _nc_warning("tic-conversion of %s failed", name);
2318     } else if (params > 0) {
2319         int limit = 5;
2320         int count;
2321         bool first = TRUE;
2322
2323         if (!strcmp(name, "setf")
2324             || !strcmp(name, "setb")
2325             || !strcmp(name, "setaf")
2326             || !strcmp(name, "setab")) {
2327             if ((limit = max_colors) > 16)
2328                 limit = 16;
2329         }
2330         for (count = 0; count < limit; ++count) {
2331             char *ti_check = check_1_infotocap(name, ti_value, count);
2332             char *tc_check = check_1_infotocap(name, tc_value, count);
2333
2334             if (strcmp(ti_check, tc_check)) {
2335                 if (first) {
2336                     fprintf(stderr, "check_infotocap(%s)\n", name);
2337                     fprintf(stderr, "...ti '%s'\n", ti_value);
2338                     fprintf(stderr, "...tc '%s'\n", tc_value);
2339                     first = FALSE;
2340                 }
2341                 _nc_warning("tparm-conversion of %s(%d) differs between\n\tterminfo %s\n\ttermcap  %s",
2342                             name, count, ti_check, tc_check);
2343             }
2344             free(ti_check);
2345             free(tc_check);
2346         }
2347     } else if (params == 0 && !same_ti_tc(ti_value, tc_value, &embedded)) {
2348         if (embedded) {
2349             _nc_warning("termcap equivalent of %s cannot use embedded delay", name);
2350         } else {
2351             _nc_warning("tic-conversion of %s changed value\n\tfrom %s\n\tto   %s",
2352                         name, ti_value, tc_value);
2353         }
2354     }
2355 }
2356
2357 static char *
2358 skip_delay(char *s)
2359 {
2360     while (*s == '/' || isdigit(UChar(*s)))
2361         ++s;
2362     return s;
2363 }
2364
2365 /*
2366  * Skip a delay altogether, e.g., when comparing a simple string to sgr,
2367  * the latter may have a worst-case delay on the end.
2368  */
2369 static char *
2370 ignore_delays(char *s)
2371 {
2372     int delaying = 0;
2373
2374     do {
2375         switch (*s) {
2376         case '$':
2377             if (delaying == 0)
2378                 delaying = 1;
2379             break;
2380         case '<':
2381             if (delaying == 1)
2382                 delaying = 2;
2383             break;
2384         case '\0':
2385             delaying = 0;
2386             break;
2387         default:
2388             if (delaying) {
2389                 s = skip_delay(s);
2390                 if (*s == '>')
2391                     ++s;
2392                 delaying = 0;
2393             }
2394             break;
2395         }
2396         if (delaying)
2397             ++s;
2398     } while (delaying);
2399     return s;
2400 }
2401
2402 #define DATA(name) { #name }
2403 static const char sgr_names[][11] =
2404 {
2405     DATA(none),
2406     DATA(standout),
2407     DATA(underline),
2408     DATA(reverse),
2409     DATA(blink),
2410     DATA(dim),
2411     DATA(bold),
2412     DATA(invis),
2413     DATA(protect),
2414     DATA(altcharset),
2415     ""
2416 };
2417 #undef DATA
2418
2419 /*
2420  * An sgr string may contain several settings other than the one we're
2421  * interested in, essentially sgr0 + rmacs + whatever.  As long as the
2422  * "whatever" is contained in the sgr string, that is close enough for our
2423  * sanity check.
2424  */
2425 static bool
2426 similar_sgr(int num, char *a, char *b)
2427 {
2428     char *base_a = a;
2429     char *base_b = b;
2430     int delaying = 0;
2431
2432     while (*b != 0) {
2433         while (*a != *b) {
2434             if (*a == 0) {
2435                 if (num < 0) {
2436                     ;
2437                 } else if (b[0] == '$'
2438                            && b[1] == '<') {
2439                     _nc_warning("did not find delay %s", _nc_visbuf(b));
2440                 } else {
2441                     _nc_warning("checking sgr(%s) %s\n\tcompare to %s\n\tunmatched %s",
2442                                 sgr_names[num], _nc_visbuf2(1, base_a),
2443                                 _nc_visbuf2(2, base_b),
2444                                 _nc_visbuf2(3, b));
2445                 }
2446                 return FALSE;
2447             } else if (delaying) {
2448                 a = skip_delay(a);
2449                 b = skip_delay(b);
2450             } else if ((*b == '0' || (*b == ';')) && *a == 'm') {
2451                 b++;
2452             } else {
2453                 a++;
2454             }
2455         }
2456         switch (*a) {
2457         case '$':
2458             if (delaying == 0)
2459                 delaying = 1;
2460             break;
2461         case '<':
2462             if (delaying == 1)
2463                 delaying = 2;
2464             break;
2465         default:
2466             delaying = 0;
2467             break;
2468         }
2469         a++;
2470         b++;
2471     }
2472     /* ignore delays on the end of the string */
2473     a = ignore_delays(a);
2474     return ((num != 0) || (*a == 0));
2475 }
2476
2477 static char *
2478 check_sgr(TERMTYPE2 *tp, char *zero, int num, char *cap, const char *name)
2479 {
2480     char *test;
2481
2482     _nc_tparm_err = 0;
2483     test = TPARM_9(set_attributes,
2484                    num == 1,
2485                    num == 2,
2486                    num == 3,
2487                    num == 4,
2488                    num == 5,
2489                    num == 6,
2490                    num == 7,
2491                    num == 8,
2492                    num == 9);
2493     if (test != 0) {
2494         if (PRESENT(cap)) {
2495             if (!similar_sgr(num, test, cap)) {
2496                 _nc_warning("%s differs from sgr(%d)\n\t%s=%s\n\tsgr(%d)=%s",
2497                             name, num,
2498                             name, _nc_visbuf2(1, cap),
2499                             num, _nc_visbuf2(2, test));
2500             }
2501         } else if (_nc_capcmp(test, zero)) {
2502             _nc_warning("sgr(%d) present, but not %s", num, name);
2503         }
2504     } else if (PRESENT(cap)) {
2505         _nc_warning("sgr(%d) missing, but %s present", num, name);
2506     }
2507     if (_nc_tparm_err)
2508         _nc_warning("stack error in sgr(%d) string", num);
2509     return test;
2510 }
2511
2512 #define CHECK_SGR(num,name) check_sgr(tp, zero, num, name, #name)
2513
2514 #ifdef TRACE
2515 /*
2516  * If tic is compiled with TRACE, we'll be able to see the output from the
2517  * DEBUG() macro.  But since it doesn't use traceon(), it always goes to
2518  * the standard error.  Use this function to make it simpler to follow the
2519  * resulting debug traces.
2520  */
2521 static void
2522 show_where(unsigned level)
2523 {
2524     if (_nc_tracing >= DEBUG_LEVEL(level)) {
2525         char my_name[MAX_NAME_SIZE];
2526         _nc_get_type(my_name);
2527         _tracef("\"%s\", line %d, '%s'",
2528                 _nc_get_source(),
2529                 _nc_curr_line, my_name);
2530     }
2531 }
2532
2533 #else
2534 #define show_where(level)       /* nothing */
2535 #endif
2536
2537 typedef struct {
2538     int keycode;
2539     const char *name;
2540     const char *value;
2541 } NAME_VALUE;
2542
2543 static NAME_VALUE *
2544 get_fkey_list(TERMTYPE2 *tp)
2545 {
2546     NAME_VALUE *result = typeMalloc(NAME_VALUE, NUM_STRINGS(tp) + 1);
2547     const struct tinfo_fkeys *all_fkeys = _nc_tinfo_fkeys;
2548     int used = 0;
2549     unsigned j;
2550
2551     if (result == 0)
2552         failed("get_fkey_list");
2553
2554     for (j = 0; all_fkeys[j].code; j++) {
2555         char *a = tp->Strings[all_fkeys[j].offset];
2556         if (VALID_STRING(a)) {
2557             result[used].keycode = (int) all_fkeys[j].code;
2558             result[used].name = strnames[all_fkeys[j].offset];
2559             result[used].value = a;
2560             ++used;
2561         }
2562     }
2563 #if NCURSES_XNAMES
2564     for (j = STRCOUNT; j < NUM_STRINGS(tp); ++j) {
2565         const char *name = ExtStrname(tp, (int) j, strnames);
2566         if (*name == 'k') {
2567             result[used].keycode = -1;
2568             result[used].name = name;
2569             result[used].value = tp->Strings[j];
2570             ++used;
2571         }
2572     }
2573 #endif
2574     result[used].keycode = 0;
2575     return result;
2576 }
2577
2578 static void
2579 show_fkey_name(NAME_VALUE * data)
2580 {
2581     if (data->keycode > 0) {
2582         fprintf(stderr, " %s", keyname(data->keycode));
2583         fprintf(stderr, " (capability \"%s\")", data->name);
2584     } else {
2585         fprintf(stderr, " capability \"%s\"", data->name);
2586     }
2587 }
2588
2589 /*
2590  * A terminal entry may contain more than one keycode assigned to a given
2591  * string (e.g., KEY_END and KEY_LL).  But curses will only return one (the
2592  * last one assigned).
2593  */
2594 static void
2595 check_conflict(TERMTYPE2 *tp)
2596 {
2597     bool conflict = FALSE;
2598     unsigned j, k;
2599
2600     if (!(_nc_syntax == SYN_TERMCAP && capdump)) {
2601         char *check = calloc((size_t) (NUM_STRINGS(tp) + 1), sizeof(char));
2602         NAME_VALUE *given = get_fkey_list(tp);
2603
2604         if (check == 0)
2605             failed("check_conflict");
2606
2607         for (j = 0; given[j].keycode; ++j) {
2608             const char *a = given[j].value;
2609             bool first = TRUE;
2610
2611             if (!VALID_STRING(a))
2612                 continue;
2613
2614             for (k = j + 1; given[k].keycode; k++) {
2615                 const char *b = given[k].value;
2616
2617                 if (!VALID_STRING(b))
2618                     continue;
2619                 if (check[k])
2620                     continue;
2621
2622                 if (!_nc_capcmp(a, b)) {
2623                     check[j] = 1;
2624                     check[k] = 1;
2625                     if (first) {
2626                         if (!conflict) {
2627                             _nc_warning("conflicting key definitions (using the last)");
2628                             conflict = TRUE;
2629                         }
2630                         fprintf(stderr, "...");
2631                         show_fkey_name(given + j);
2632                         fprintf(stderr, " is the same as");
2633                         show_fkey_name(given + k);
2634                         first = FALSE;
2635                     } else {
2636                         fprintf(stderr, ", ");
2637                         show_fkey_name(given + k);
2638                     }
2639                 }
2640             }
2641             if (!first)
2642                 fprintf(stderr, "\n");
2643         }
2644 #if NCURSES_XNAMES
2645         if (using_extensions) {
2646             /* *INDENT-OFF* */
2647             static struct {
2648                 const char *xcurses;
2649                 const char *shifted;
2650             } table[] = {
2651                 { "kDC",  NULL },
2652                 { "kDN",  "kind" },
2653                 { "kEND", NULL },
2654                 { "kHOM", NULL },
2655                 { "kLFT", NULL },
2656                 { "kNXT", NULL },
2657                 { "kPRV", NULL },
2658                 { "kRIT", NULL },
2659                 { "kUP",  "kri" },
2660                 { NULL,   NULL },
2661             };
2662             /* *INDENT-ON* */
2663
2664             /*
2665              * SVr4 curses defines the "xcurses" names listed above except for
2666              * the special cases in the "shifted" column.  When using these
2667              * names for xterm's extensions, that was confusing, and resulted
2668              * in adding extended capabilities with "2" (shift) suffix.  This
2669              * check warns about unnecessary use of extensions for this quirk.
2670              */
2671             for (j = 0; given[j].keycode; ++j) {
2672                 const char *find = given[j].name;
2673                 int value;
2674                 char ch;
2675
2676                 if (!VALID_STRING(given[j].value))
2677                     continue;
2678
2679                 for (k = 0; table[k].xcurses; ++k) {
2680                     const char *test = table[k].xcurses;
2681                     size_t size = strlen(test);
2682
2683                     if (!strncmp(find, test, size) && strcmp(find, test)) {
2684                         switch (sscanf(find + size, "%d%c", &value, &ch)) {
2685                         case 1:
2686                             if (value == 2) {
2687                                 _nc_warning("expected '%s' rather than '%s'",
2688                                             (table[k].shifted
2689                                              ? table[k].shifted
2690                                              : test), find);
2691                             } else if (value < 2 || value > 15) {
2692                                 _nc_warning("expected numeric 2..15 '%s'", find);
2693                             }
2694                             break;
2695                         default:
2696                             _nc_warning("expected numeric suffix for '%s'", find);
2697                             break;
2698                         }
2699                         break;
2700                     }
2701                 }
2702             }
2703         }
2704 #endif
2705         free(given);
2706         free(check);
2707     }
2708 }
2709
2710 /*
2711  * Exiting a video mode should not duplicate sgr0
2712  */
2713 static void
2714 check_exit_attribute(const char *name, char *test, char *trimmed, char *untrimmed)
2715 {
2716     if (VALID_STRING(test) && (trimmed != 0)) {
2717         if (similar_sgr(-1, trimmed, test) ||
2718             similar_sgr(-1, untrimmed, test)) {
2719             _nc_warning("%s matches exit_attribute_mode", name);
2720         }
2721     }
2722 }
2723
2724 /*
2725  * Returns true if the string looks like a standard SGR string.
2726  */
2727 static bool
2728 is_sgr_string(char *value)
2729 {
2730     bool result = FALSE;
2731
2732     if (VALID_STRING(value)) {
2733         int skip = csi_length(value);
2734
2735         if (skip) {
2736             int ch;
2737
2738             result = TRUE;
2739             value += skip;
2740             while ((ch = UChar(*value++)) != '\0') {
2741                 if (isdigit(ch) || ch == ';') {
2742                     ;
2743                 } else if (ch == 'm' && *value == '\0') {
2744                     ;
2745                 } else {
2746                     result = FALSE;
2747                     break;
2748                 }
2749             }
2750         }
2751     }
2752     return result;
2753 }
2754
2755 /*
2756  * Check if the given capability contains a given SGR attribute.
2757  */
2758 static void
2759 check_sgr_param(TERMTYPE2 *tp, int code, const char *name, char *value)
2760 {
2761     if (VALID_STRING(value)) {
2762         int ncv = ((code != 0) ? (1 << (code - 1)) : 0);
2763         char *test = tgoto(value, 0, 0);
2764         if (is_sgr_string(test)) {
2765             int param = 0;
2766             int count = 0;
2767             int skips = 0;
2768             int color = (value == set_a_foreground ||
2769                          value == set_a_background ||
2770                          value == set_foreground ||
2771                          value == set_background);
2772             while (*test != 0) {
2773                 if (isdigit(UChar(*test))) {
2774                     param = 10 * param + (*test - '0');
2775                     ++count;
2776                 } else {
2777                     if (count) {
2778                         /*
2779                          * Avoid unnecessary warning for xterm 256color codes.
2780                          */
2781                         if (color && (param == 38 || param == 48))
2782                             skips = 3;
2783                         if ((skips-- <= 0) && (param == code))
2784                             break;
2785                     }
2786                     count = 0;
2787                     param = 0;
2788                 }
2789                 ++test;
2790             }
2791             if (count != 0 && param == code) {
2792                 if (code == 0 ||
2793                     no_color_video < 0 ||
2794                     !(no_color_video & ncv)) {
2795                     _nc_warning("\"%s\" SGR-attribute used in %s",
2796                                 sgr_names[code],
2797                                 name);
2798                 }
2799             }
2800         }
2801     }
2802 }
2803
2804 static int
2805 standard_type(const char *name)
2806 {
2807     int result = -1;
2808     const struct name_table_entry *np;
2809
2810     if ((np = _nc_find_entry(name, _nc_get_hash_table(0))) != 0) {
2811         result = np->nte_type;
2812     }
2813     return result;
2814 }
2815
2816 static const char *
2817 name_of_type(int type)
2818 {
2819     const char *result = "unknown";
2820     switch (type) {
2821     case BOOLEAN:
2822         result = "boolean";
2823         break;
2824     case NUMBER:
2825         result = "number";
2826         break;
2827     case STRING:
2828         result = "string";
2829         break;
2830     }
2831     return result;
2832 }
2833
2834 static void
2835 check_user_capability_type(const char *name, int actual)
2836 {
2837     USERCAPS *p = lookup_user_capability(name);
2838     if (p != 0) {
2839         if (p->n_type != actual)
2840             _nc_warning("expected %s to be %s, but actually %s",
2841                         name,
2842                         name_of_type(p->n_type),
2843                         name_of_type(actual)
2844                 );
2845     } else {
2846         int expected = standard_type(name);
2847         if (expected >= 0) {
2848             _nc_warning("expected %s to be %s, but actually %s",
2849                         name,
2850                         name_of_type(p->n_type),
2851                         name_of_type(expected)
2852                 );
2853         } else if (*name != 'k') {
2854             _nc_warning("undocumented %s capability %s",
2855                         name_of_type(actual),
2856                         name);
2857         }
2858     }
2859 }
2860
2861 /* other sanity-checks (things that we don't want in the normal
2862  * logic that reads a terminfo entry)
2863  */
2864 static void
2865 check_termtype(TERMTYPE2 *tp, bool literal)
2866 {
2867     unsigned j;
2868
2869     check_conflict(tp);
2870
2871     for_each_string(j, tp) {
2872         char *a = tp->Strings[j];
2873         if (VALID_STRING(a)) {
2874             const char *name = ExtStrname(tp, (int) j, strnames);
2875             /*
2876              * If we expect parameters, or if there might be parameters,
2877              * check for consistent number of parameters.
2878              */
2879             if (j >= SIZEOF(parametrized) ||
2880                 is_user_capability(name) >= 0 ||
2881                 parametrized[j] > 0) {
2882                 check_params(tp, name, a, (j >= STRCOUNT));
2883             }
2884             check_delays(tp, ExtStrname(tp, (int) j, strnames), a);
2885             if (capdump) {
2886                 check_infotocap(tp, (int) j, a);
2887             }
2888         }
2889     }
2890 #if NCURSES_XNAMES
2891     /* in extended mode, verify that each extension is expected type */
2892     for_each_ext_boolean(j, tp) {
2893         check_user_capability_type(ExtBoolname(tp, (int) j, strnames), BOOLEAN);
2894     }
2895     for_each_ext_number(j, tp) {
2896         check_user_capability_type(ExtNumname(tp, (int) j, strnames), NUMBER);
2897     }
2898     for_each_ext_string(j, tp) {
2899         check_user_capability_type(ExtStrname(tp, (int) j, strnames), STRING);
2900     }
2901 #endif /* NCURSES_XNAMES */
2902
2903     check_acs(tp);
2904     check_colors(tp);
2905     check_cursor(tp);
2906     check_keypad(tp);
2907     check_printer(tp);
2908     check_screen(tp);
2909
2910     /*
2911      * These may be mismatched because the terminal description relies on
2912      * restoring the cursor visibility by resetting it.
2913      */
2914     ANDMISSING(cursor_invisible, cursor_normal);
2915     ANDMISSING(cursor_visible, cursor_normal);
2916
2917     if (PRESENT(cursor_visible) && PRESENT(cursor_normal)
2918         && !_nc_capcmp(cursor_visible, cursor_normal))
2919         _nc_warning("cursor_visible is same as cursor_normal");
2920
2921     /*
2922      * From XSI & O'Reilly, we gather that sc/rc are required if csr is
2923      * given, because the cursor position after the scrolling operation is
2924      * performed is undefined.
2925      */
2926     ANDMISSING(change_scroll_region, save_cursor);
2927     ANDMISSING(change_scroll_region, restore_cursor);
2928
2929     /*
2930      * If we can clear tabs, we should be able to initialize them.
2931      */
2932     ANDMISSING(clear_all_tabs, set_tab);
2933
2934     if (PRESENT(set_attributes)) {
2935         char *zero = 0;
2936
2937         _nc_tparm_err = 0;
2938         if (PRESENT(exit_attribute_mode)) {
2939             zero = strdup(CHECK_SGR(0, exit_attribute_mode));
2940         } else {
2941             zero = strdup(TPARM_9(set_attributes, 0, 0, 0, 0, 0, 0, 0, 0, 0));
2942         }
2943         if (_nc_tparm_err)
2944             _nc_warning("stack error in sgr(0) string");
2945
2946         if (zero != 0) {
2947             CHECK_SGR(1, enter_standout_mode);
2948             CHECK_SGR(2, enter_underline_mode);
2949             CHECK_SGR(3, enter_reverse_mode);
2950             CHECK_SGR(4, enter_blink_mode);
2951             CHECK_SGR(5, enter_dim_mode);
2952             CHECK_SGR(6, enter_bold_mode);
2953             CHECK_SGR(7, enter_secure_mode);
2954             CHECK_SGR(8, enter_protected_mode);
2955             CHECK_SGR(9, enter_alt_charset_mode);
2956             free(zero);
2957         } else {
2958             _nc_warning("sgr(0) did not return a value");
2959         }
2960     } else if (PRESENT(exit_attribute_mode) &&
2961                set_attributes != CANCELLED_STRING) {
2962         if (_nc_syntax == SYN_TERMINFO)
2963             _nc_warning("missing sgr string");
2964     }
2965 #define CHECK_SGR0(name) check_exit_attribute(#name, name, check_sgr0, exit_attribute_mode)
2966     if (PRESENT(exit_attribute_mode)) {
2967         char *check_sgr0 = _nc_trim_sgr0(tp);
2968
2969         if (check_sgr0 == 0 || *check_sgr0 == '\0') {
2970             _nc_warning("trimmed sgr0 is empty");
2971         } else {
2972             show_where(2);
2973             if (check_sgr0 != exit_attribute_mode) {
2974                 DEBUG(2,
2975                       ("will trim sgr0\n\toriginal sgr0=%s\n\ttrimmed  sgr0=%s",
2976                        _nc_visbuf2(1, exit_attribute_mode),
2977                        _nc_visbuf2(2, check_sgr0)));
2978             } else {
2979                 DEBUG(2,
2980                       ("will not trim sgr0\n\toriginal sgr0=%s",
2981                        _nc_visbuf(exit_attribute_mode)));
2982             }
2983         }
2984 #if defined(exit_italics_mode)
2985         CHECK_SGR0(exit_italics_mode);
2986 #endif
2987         CHECK_SGR0(exit_standout_mode);
2988         CHECK_SGR0(exit_underline_mode);
2989         if (check_sgr0 != exit_attribute_mode) {
2990             free(check_sgr0);
2991         }
2992     }
2993 #define CHECK_SGR_PARAM(code, name) check_sgr_param(tp, (int)code, #name, name)
2994     for (j = 0; *sgr_names[j] != '\0'; ++j) {
2995         CHECK_SGR_PARAM(j, set_a_foreground);
2996         CHECK_SGR_PARAM(j, set_a_background);
2997         CHECK_SGR_PARAM(j, set_foreground);
2998         CHECK_SGR_PARAM(j, set_background);
2999     }
3000 #ifdef TRACE
3001     show_where(2);
3002     if (!auto_right_margin) {
3003         DEBUG(2,
3004               ("can write to lower-right directly"));
3005     } else if (PRESENT(enter_am_mode) && PRESENT(exit_am_mode)) {
3006         DEBUG(2,
3007               ("can write to lower-right by suppressing automargin"));
3008     } else if ((PRESENT(enter_insert_mode) && PRESENT(exit_insert_mode))
3009                || PRESENT(insert_character) || PRESENT(parm_ich)) {
3010         DEBUG(2,
3011               ("can write to lower-right by using inserts"));
3012     } else {
3013         DEBUG(2,
3014               ("cannot write to lower-right"));
3015     }
3016 #endif
3017
3018     /*
3019      * Some standard applications (e.g., vi) and some non-curses
3020      * applications (e.g., jove) get confused if we have both ich1 and
3021      * smir/rmir.  Let's be nice and warn about that, too, even though
3022      * ncurses handles it.
3023      */
3024     if ((PRESENT(enter_insert_mode) || PRESENT(exit_insert_mode))
3025         && PRESENT(parm_ich)) {
3026         _nc_warning("non-curses applications may be confused by ich1 with smir/rmir");
3027     }
3028
3029     /*
3030      * Finally, do the non-verbose checks
3031      */
3032     if (save_check_termtype != 0)
3033         save_check_termtype(tp, literal);
3034 }