Home | History | Annotate | Line # | Download | only in lint1
msg_222.c revision 1.3
      1  1.3  rillig /*	$NetBSD: msg_222.c,v 1.3 2021/08/27 20:49:25 rillig Exp $	*/
      2  1.1  rillig # 3 "msg_222.c"
      3  1.1  rillig 
      4  1.1  rillig // Test for message: conversion of negative constant to unsigned type [222]
      5  1.1  rillig 
      6  1.3  rillig /* expect+1: warning: initialization of unsigned with negative constant [221] */
      7  1.3  rillig unsigned int global = -1;
      8  1.3  rillig 
      9  1.3  rillig void take_unsigned_int(unsigned int);
     10  1.3  rillig 
     11  1.3  rillig void
     12  1.3  rillig function(void)
     13  1.3  rillig {
     14  1.3  rillig 	/* expect+1: warning: initialization of unsigned with negative constant [221] */
     15  1.3  rillig 	unsigned int local = -1;
     16  1.3  rillig 
     17  1.3  rillig 	/* expect+1: warning: conversion of negative constant to unsigned type, arg #1 [296] */
     18  1.3  rillig 	take_unsigned_int(-1);
     19  1.3  rillig 
     20  1.3  rillig 	if (local & -1)
     21  1.3  rillig 		return;
     22  1.3  rillig 
     23  1.3  rillig 	/* expect+1: warning: comparison of unsigned int with negative constant, op < [162] */
     24  1.3  rillig 	if (local < -1)
     25  1.3  rillig 		return;
     26  1.3  rillig 
     27  1.3  rillig 	local &= -1;
     28  1.3  rillig 
     29  1.3  rillig 	/* expect+1: warning: conversion of negative constant to unsigned type [222] */
     30  1.3  rillig 	local += -1;
     31  1.3  rillig }
     32