Home | History | Annotate | Line # | Download | only in lint1
platform_lp64.c revision 1.5
      1  1.5  rillig /*	$NetBSD: platform_lp64.c,v 1.5 2023/03/28 14:44:35 rillig Exp $	*/
      2  1.1  rillig # 3 "platform_lp64.c"
      3  1.1  rillig 
      4  1.1  rillig /*
      5  1.1  rillig  * Test features that only apply to platforms that have 32-bit int and 64-bit
      6  1.1  rillig  * long and pointer types.
      7  1.1  rillig  */
      8  1.1  rillig 
      9  1.1  rillig /* lint1-only-if: lp64 */
     10  1.5  rillig /* lint1-extra-flags: -c -h -a -p -b -r -z -X 351 */
     11  1.1  rillig 
     12  1.4  rillig int s32;
     13  1.4  rillig unsigned int u32;
     14  1.4  rillig long sl32;
     15  1.4  rillig unsigned long ul32;
     16  1.4  rillig 
     17  1.4  rillig void
     18  1.4  rillig convert_between_int_and_long(void)
     19  1.4  rillig {
     20  1.4  rillig 	/* expect+1: warning: conversion from 'long' to 'int' may lose accuracy [132] */
     21  1.4  rillig 	s32 = sl32;
     22  1.4  rillig 	sl32 = s32;
     23  1.4  rillig 	/* expect+1: warning: conversion from 'unsigned long' to 'unsigned int' may lose accuracy [132] */
     24  1.4  rillig 	u32 = ul32;
     25  1.4  rillig 	ul32 = u32;
     26  1.4  rillig }
     27  1.4  rillig 
     28  1.1  rillig void to_size_t(typeof(sizeof(int)));
     29  1.1  rillig 
     30  1.1  rillig void
     31  1.1  rillig convert_unsigned_char_to_size_t(unsigned char uc)
     32  1.1  rillig {
     33  1.1  rillig 	/* no warning, unlike platform_int */
     34  1.1  rillig 	to_size_t(uc);
     35  1.1  rillig }
     36