msg_243.c revision 1.6
11.6Srillig/*	$NetBSD: msg_243.c,v 1.6 2023/07/09 12:04:08 rillig Exp $	*/
21.1Srillig# 3 "msg_243.c"
31.1Srillig
41.6Srillig// Test for message: operator '%s' assumes that '%s' is ordered [243]
51.1Srillig
61.5Srillig/* lint1-extra-flags: -eP -X 351 */
71.2Srillig
81.2Srilligenum color {
91.2Srillig	RED, GREEN, BLUE
101.2Srillig};
111.2Srillig
121.2Srilligvoid eval(_Bool);
131.2Srillig
141.2Srillig/* TODO: There should be a way to declare an enum type as "ordered ok". */
151.2Srillig
161.2Srilligvoid
171.2Srilligexample(enum color a, enum color b)
181.2Srillig{
191.6Srillig	/* expect+1: warning: operator '<' assumes that 'enum color' is ordered [243] */
201.3Srillig	eval(a < b);
211.6Srillig	/* expect+1: warning: operator '<=' assumes that 'enum color' is ordered [243] */
221.3Srillig	eval(a <= b);
231.6Srillig	/* expect+1: warning: operator '>' assumes that 'enum color' is ordered [243] */
241.3Srillig	eval(a > b);
251.6Srillig	/* expect+1: warning: operator '>=' assumes that 'enum color' is ordered [243] */
261.3Srillig	eval(a >= b);
271.2Srillig	eval(a == b);
281.2Srillig	eval(a != b);
291.2Srillig}
30