Home | History | Annotate | Line # | Download | only in lint1 
      1  1.6  rillig /*	$NetBSD: msg_196.c,v 1.6 2025/02/27 06:48:29 rillig Exp $	*/
      2  1.1  rillig # 3 "msg_196.c"
      3  1.1  rillig 
      4  1.5  rillig // Test for message: case label is converted from '%s' to '%s' [196]
      5  1.1  rillig 
      6  1.4  rillig /* lint1-extra-flags: -X 351 */
      7  1.4  rillig 
      8  1.6  rillig // C23 6.8.5.3p5 says: [...] The constant expression in each case label is
      9  1.5  rillig // converted to the promoted type of the controlling expression. [...]
     10  1.5  rillig 
     11  1.4  rillig void
     12  1.4  rillig switch_int_unsigned(int x)
     13  1.4  rillig {
     14  1.4  rillig 	switch (x) {
     15  1.5  rillig 		/* expect+1: warning: case label is converted from 'unsigned int' to 'int' [196] */
     16  1.4  rillig 	case (unsigned int)-1:
     17  1.5  rillig 		/* expect+1: warning: case label is converted from 'unsigned int' to 'int' [196] */
     18  1.4  rillig 	case -2U:
     19  1.5  rillig 		/* expect+1: warning: case label is converted from 'unsigned long long' to 'int' [196] */
     20  1.4  rillig 	case 0x1000200030004000ULL:
     21  1.4  rillig 		return;
     22  1.4  rillig 	}
     23  1.4  rillig }
     24