Training courses

Kernel and Embedded Linux

Bootlin training courses

Embedded Linux, kernel,
Yocto Project, Buildroot, real-time,
graphics, boot time, debugging...

Bootlin logo

Elixir Cross Referencer

Open Menu /tests/usr.bin/xlint/lint1/msg_241.c 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
/*	$NetBSD: msg_241.c,v 1.10 2023/03/28 14:44:35 rillig Exp $	*/
# 3 "msg_241.c"

// Test for message: dubious operation on enum, op '%s' [241]
//
// As of February 2021, the option -e is not enabled by default in
// share/mk/sys.mk, therefore this message is neither well-known nor
// well-tested.

/* lint1-extra-flags: -e -X 351 */

/*
 * Enums are a possible implementation of bit-sets.
 */
enum color {
	RED	= 1 << 0,
	GREEN	= 1 << 1,
	BLUE	= 1 << 2
};

extern void sink_bool(_Bool);
extern void sink_int(int);
extern void sink_color(enum color);

void
example(void)
{
	enum color c = RED;

	/* expect+1: warning: dubious operation on enum, op '!' [241] */
	sink_bool(!c);
	/* expect+1: warning: dubious operation on enum, op '~' [241] */
	sink_color(~c);
	/* expect+1: warning: dubious operation on enum, op '++x' [241] */
	++c;
	/* expect+1: warning: dubious operation on enum, op '--x' [241] */
	--c;
	/* expect+1: warning: dubious operation on enum, op 'x++' [241] */
	c++;
	/* expect+1: warning: dubious operation on enum, op 'x--' [241] */
	c--;
	/* expect+1: warning: dubious operation on enum, op '+' [241] */
	sink_color(+c);
	/* expect+1: warning: dubious operation on enum, op '-' [241] */
	sink_color(-c);
	/* expect+1: warning: dubious operation on enum, op '*' [241] */
	sink_color(c * c);
	/* expect+1: warning: dubious operation on enum, op '/' [241] */
	sink_color(c / c);
	/* expect+1: warning: dubious operation on enum, op '%' [241] */
	sink_color(c % c);
	/* expect+1: warning: dubious operation on enum, op '+' [241] */
	sink_color(c + c);
	/* expect+1: warning: dubious operation on enum, op '-' [241] */
	sink_color(c - c);
	/* expect+1: warning: dubious operation on enum, op '<<' [241] */
	sink_color(c << c);
	/* expect+1: warning: dubious operation on enum, op '>>' [241] */
	sink_color(c >> c);

	sink_bool(c < c);
	sink_bool(c <= c);
	sink_bool(c > c);
	sink_bool(c >= c);
	sink_bool(c == c);
	sink_bool(c != c);

	/* expect+1: warning: dubious operation on enum, op '&' [241] */
	sink_color(c & c);
	/* expect+1: warning: dubious operation on enum, op '^' [241] */
	sink_color(c ^ c);
	/* expect+1: warning: dubious operation on enum, op '|' [241] */
	sink_color(c | c);

	/* expect+1: warning: dubious operation on enum, op '&&' [241] */
	sink_bool(c && c);
	/* expect+1: warning: dubious operation on enum, op '||' [241] */
	sink_bool(c || c);
	sink_color(c ? c : BLUE);

	c = GREEN;
	/* expect+1: warning: dubious operation on enum, op '*=' [241] */
	c *= c;
	/* expect+1: warning: dubious operation on enum, op '/=' [241] */
	c /= c;
	/* expect+1: warning: dubious operation on enum, op '%=' [241] */
	c %= c;
	/* expect+1: warning: dubious operation on enum, op '+=' [241] */
	c += c;
	/* expect+1: warning: dubious operation on enum, op '-=' [241] */
	c -= c;
	/* expect+1: warning: dubious operation on enum, op '<<=' [241] */
	c <<= c;
	/* expect+1: warning: dubious operation on enum, op '>>=' [241] */
	c >>= c;
	/* expect+1: warning: dubious operation on enum, op '&=' [241] */
	c &= c;
	/* expect+1: warning: dubious operation on enum, op '^=' [241] */
	c ^= c;
	/* expect+1: warning: dubious operation on enum, op '|=' [241] */
	c |= c;

	/* The cast to unsigned is required by GCC at WARNS=6. */
	/* expect+1: warning: dubious operation on enum, op '&=' [241] */
	c &= ~(unsigned)GREEN;
}

void
cover_typeok_enum(enum color c, int i)
{
	/* expect+2: warning: dubious operation on enum, op '*' [241] */
	/* expect+1: warning: combination of 'enum color' and 'int', op '>' [242] */
	if (c * i > 5)
		return;
}

const char *
color_name(enum color c)
{
	static const char *name[] = {
	    [RED] = "red",
	    [GREEN] = "green",
	    [BLUE] = "blue",
	};

	if (c == RED)
		return *(c + name); /* unusual but allowed */
	if (c == GREEN)
		return c[name]; /* even more unusual */
	return name[c];
}