Home | History | Annotate | Line # | Download | only in lint1
msg_259.c revision 1.11 
      1  1.11  rillig /*	$NetBSD: msg_259.c,v 1.11 2021/08/21 11:50:57 rillig Exp $	*/
      2   1.1  rillig # 3 "msg_259.c"
      3   1.1  rillig 
      4   1.6  rillig // Test for message: argument #%d is converted from '%s' to '%s' due to prototype [259]
      5   1.1  rillig 
      6  1.11  rillig /* lint1-only-if: lp64 */
      7   1.2  rillig /* lint1-extra-flags: -h */
      8   1.2  rillig 
      9   1.2  rillig void farg_char(char);
     10   1.2  rillig void farg_int(int);
     11   1.2  rillig void farg_long(long);
     12   1.2  rillig 
     13   1.2  rillig void
     14   1.2  rillig example(char c, int i, long l)
     15   1.2  rillig {
     16   1.2  rillig 	farg_char(c);
     17   1.2  rillig 	farg_int(c);
     18   1.9  rillig 	/* No warning 259 on LP64, only on ILP32 */
     19   1.9  rillig 	farg_long(c);
     20   1.9  rillig 
     21   1.2  rillig 	farg_char(i);		/* XXX: why no warning? */
     22   1.2  rillig 	farg_int(i);
     23   1.9  rillig 	/* No warning 259 on LP64, only on ILP32 */
     24   1.9  rillig 	farg_long(i);
     25   1.9  rillig 
     26   1.2  rillig 	farg_char(l);		/* XXX: why no warning? */
     27   1.9  rillig 	/* expect+1: from 'long' to 'int' due to prototype [259] */
     28   1.9  rillig 	farg_int(l);
     29   1.2  rillig 	farg_long(l);
     30   1.2  rillig }
     31  1.10  rillig 
     32  1.10  rillig void farg_unsigned_int(unsigned int);
     33  1.10  rillig void farg_unsigned_long(unsigned long);
     34  1.10  rillig void farg_unsigned_long_long(unsigned long long);
     35  1.10  rillig 
     36  1.10  rillig /*
     37  1.10  rillig  * Converting a signed integer type to its corresponding unsigned integer
     38  1.10  rillig  * type (C99 6.2.5p6) is usually not a problem.  A common case where it
     39  1.10  rillig  * occurs is when the difference of two pointers is converted to size_t.
     40  1.10  rillig  */
     41  1.10  rillig void
     42  1.10  rillig convert_to_corresponding_unsigned(int i, long l, long long ll)
     43  1.10  rillig {
     44  1.10  rillig 	/* TODO: don't warn here. */
     45  1.10  rillig 	/* expect+1: warning: argument #1 is converted from 'int' to 'unsigned int' due to prototype [259] */
     46  1.10  rillig 	farg_unsigned_int(i);
     47  1.10  rillig 
     48  1.10  rillig 	/* TODO: don't warn here. */
     49  1.10  rillig 	/* expect+1: warning: argument #1 is converted from 'long' to 'unsigned long' due to prototype [259] */
     50  1.10  rillig 	farg_unsigned_long(l);
     51  1.10  rillig 
     52  1.10  rillig 	/* TODO: don't warn here. */
     53  1.10  rillig 	/* expect+1: warning: argument #1 is converted from 'long long' to 'unsigned long long' due to prototype [259] */
     54  1.10  rillig 	farg_unsigned_long_long(ll);
     55  1.10  rillig }
     56