Home | History | Annotate | Line # | Download | only in lint1
msg_338.c revision 1.8
      1  1.8  rillig /*	$NetBSD: msg_338.c,v 1.8 2022/06/17 06:59:16 rillig Exp $	*/
      2  1.1  rillig # 3 "msg_338.c"
      3  1.1  rillig 
      4  1.1  rillig // Test for message: option '%c' should be handled in the switch [338]
      5  1.1  rillig 
      6  1.1  rillig int getopt(int, char *const *, const char *);
      7  1.1  rillig extern char *optarg;
      8  1.1  rillig 
      9  1.1  rillig int
     10  1.1  rillig main(int argc, char **argv)
     11  1.1  rillig {
     12  1.1  rillig 	int o;
     13  1.1  rillig 
     14  1.8  rillig 	/* expect+2: warning: option 'c' should be handled in the switch [338] */
     15  1.8  rillig 	/* expect+1: warning: option 'd' should be handled in the switch [338] */
     16  1.8  rillig 	while ((o = getopt(argc, argv, "a:bc:d")) != -1) {
     17  1.1  rillig 		switch (o) {
     18  1.1  rillig 		case 'a':
     19  1.1  rillig 			break;
     20  1.1  rillig 		case 'b':
     21  1.1  rillig 			/*
     22  1.1  rillig 			 * The following while loop must not finish the check
     23  1.1  rillig 			 * for the getopt options.
     24  1.1  rillig 			 */
     25  1.1  rillig 			while (optarg[0] != '\0')
     26  1.1  rillig 				optarg++;
     27  1.1  rillig 			break;
     28  1.8  rillig 		case 'e':
     29  1.8  rillig 			/* expect-1: warning: option 'e' should be listed in the options string [339] */
     30  1.1  rillig 			break;
     31  1.8  rillig 		case 'f':
     32  1.8  rillig 			/* expect-1: warning: option 'f' should be listed in the options string [339] */
     33  1.1  rillig 			/*
     34  1.1  rillig 			 * The case labels in nested switch statements are
     35  1.1  rillig 			 * ignored by the check for getopt options.
     36  1.1  rillig 			 */
     37  1.1  rillig 			switch (optarg[0]) {
     38  1.1  rillig 			case 'X':
     39  1.1  rillig 				break;
     40  1.1  rillig 			}
     41  1.1  rillig 			break;
     42  1.1  rillig 		case '?':
     43  1.1  rillig 		default:
     44  1.1  rillig 			break;
     45  1.1  rillig 		}
     46  1.1  rillig 	}
     47  1.1  rillig 
     48  1.2  rillig 	/* A while loop that is not related to getopt is simply skipped. */
     49  1.2  rillig 	while (o != 0) {
     50  1.2  rillig 		switch (o) {
     51  1.2  rillig 		case '?':
     52  1.2  rillig 			o = ':';
     53  1.2  rillig 		}
     54  1.2  rillig 	}
     55  1.2  rillig 
     56  1.1  rillig 	return 0;
     57  1.1  rillig }
     58  1.4  rillig 
     59  1.4  rillig void usage(void);
     60  1.4  rillig 
     61  1.5  rillig /*
     62  1.5  rillig  * Before ckgetopt.c 1.11 from 2021-08-23, lint wrongly warned about a
     63  1.5  rillig  * missing '?' in the switch statement, even though it was there.
     64  1.5  rillig  *
     65  1.5  rillig  * Seen in usr.bin/ftp/main.c 1.127 from 2020-07-18.
     66  1.5  rillig  */
     67  1.4  rillig int
     68  1.4  rillig question_option(int argc, char **argv)
     69  1.4  rillig {
     70  1.4  rillig 	int c;
     71  1.4  rillig 
     72  1.4  rillig 	while ((c = getopt(argc, argv, "?x")) != -1) {
     73  1.4  rillig 		switch (c) {
     74  1.4  rillig 		case 'x':
     75  1.4  rillig 			break;
     76  1.4  rillig 		case '?':
     77  1.4  rillig 			usage();
     78  1.4  rillig 			return 0;
     79  1.4  rillig 		default:
     80  1.4  rillig 			usage();
     81  1.4  rillig 			return 1;
     82  1.4  rillig 		}
     83  1.4  rillig 	}
     84  1.4  rillig 	return 0;
     85  1.4  rillig }
     86  1.6  rillig 
     87  1.6  rillig /*
     88  1.6  rillig  * If the first character of the options string is ':', getopt does not print
     89  1.6  rillig  * its own error messages. Getopt returns ':' if an option is missing its
     90  1.6  rillig  * argument; that is handled by the 'default:' already.
     91  1.6  rillig  */
     92  1.6  rillig int
     93  1.6  rillig suppress_errors(int argc, char **argv)
     94  1.6  rillig {
     95  1.6  rillig 	int c;
     96  1.6  rillig 
     97  1.6  rillig 	/* expect+1: warning: option 'o' should be handled in the switch [338] */
     98  1.6  rillig 	while ((c = getopt(argc, argv, ":b:o")) != -1) {
     99  1.6  rillig 		switch (c) {
    100  1.6  rillig 		case 'b':
    101  1.6  rillig 			return 'b';
    102  1.6  rillig 		default:
    103  1.6  rillig 			usage();
    104  1.6  rillig 		}
    105  1.6  rillig 	}
    106  1.6  rillig 	return 0;
    107  1.6  rillig }
    108  1.6  rillig 
    109  1.6  rillig /*
    110  1.6  rillig  * If the first character of the options string is ':', getopt returns ':'
    111  1.6  rillig  * if an option is missing its argument. This condition can be handled
    112  1.6  rillig  * separately from '?', which getopt returns for unknown options.
    113  1.6  rillig  */
    114  1.6  rillig int
    115  1.6  rillig missing_argument(int argc, char **argv)
    116  1.6  rillig {
    117  1.6  rillig 	int c;
    118  1.6  rillig 
    119  1.6  rillig 	/* expect+1: warning: option 'o' should be handled in the switch [338] */
    120  1.6  rillig 	while ((c = getopt(argc, argv, ":b:o")) != -1) {
    121  1.6  rillig 		switch (c) {
    122  1.6  rillig 		case 'b':
    123  1.6  rillig 			return 'b';
    124  1.6  rillig 		case ':':
    125  1.6  rillig 			return 'm';
    126  1.6  rillig 		default:
    127  1.6  rillig 			usage();
    128  1.6  rillig 		}
    129  1.6  rillig 	}
    130  1.6  rillig 	return 0;
    131  1.6  rillig }
    132  1.6  rillig 
    133  1.6  rillig /*
    134  1.6  rillig  * Getopt only returns ':' if ':' is the first character in the options
    135  1.6  rillig  * string. Everywhere else, a ':' marks the preceding option as having a
    136  1.6  rillig  * required argument. In theory, if the options string contained "a::x",
    137  1.6  rillig  * that could be interpreted as '-a argument', followed by '-:' and '-x',
    138  1.6  rillig  * but nobody does that.
    139  1.6  rillig  */
    140  1.6  rillig int
    141  1.6  rillig unreachable_colon(int argc, char **argv)
    142  1.6  rillig {
    143  1.6  rillig 	int c;
    144  1.6  rillig 
    145  1.6  rillig 	/* expect+1: warning: option 'b' should be handled in the switch [338] */
    146  1.6  rillig 	while ((c = getopt(argc, argv, "b:")) != -1) {
    147  1.6  rillig 		switch (c) {
    148  1.7  rillig 		/* expect+1: warning: option ':' should be listed in the options string [339] */
    149  1.6  rillig 		case ':':
    150  1.6  rillig 			return 'm';
    151  1.6  rillig 		default:
    152  1.6  rillig 			usage();
    153  1.6  rillig 		}
    154  1.6  rillig 	}
    155  1.6  rillig 	return 0;
    156  1.6  rillig }
    157