Home | History | Annotate | Line # | Download | only in lint1
platform_lp64.c revision 1.7
      1  1.7  rillig /*	$NetBSD: platform_lp64.c,v 1.7 2023/07/08 12:45:43 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.6  rillig __int128_t s128;
     17  1.6  rillig __uint128_t u128;
     18  1.4  rillig 
     19  1.4  rillig void
     20  1.4  rillig convert_between_int_and_long(void)
     21  1.4  rillig {
     22  1.4  rillig 	/* expect+1: warning: conversion from 'long' to 'int' may lose accuracy [132] */
     23  1.4  rillig 	s32 = sl32;
     24  1.4  rillig 	sl32 = s32;
     25  1.4  rillig 	/* expect+1: warning: conversion from 'unsigned long' to 'unsigned int' may lose accuracy [132] */
     26  1.4  rillig 	u32 = ul32;
     27  1.4  rillig 	ul32 = u32;
     28  1.4  rillig }
     29  1.4  rillig 
     30  1.1  rillig void to_size_t(typeof(sizeof(int)));
     31  1.1  rillig 
     32  1.1  rillig void
     33  1.1  rillig convert_unsigned_char_to_size_t(unsigned char uc)
     34  1.1  rillig {
     35  1.1  rillig 	/* no warning, unlike platform_int */
     36  1.1  rillig 	to_size_t(uc);
     37  1.1  rillig }
     38  1.6  rillig 
     39  1.6  rillig void
     40  1.6  rillig convert_128(void)
     41  1.6  rillig {
     42  1.7  rillig 	/* expect+1: warning: conversion from '__int128_t' to 'int' may lose accuracy [132] */
     43  1.6  rillig 	s32 = s128;
     44  1.7  rillig 	/* expect+1: warning: conversion from '__uint128_t' to 'unsigned int' may lose accuracy [132] */
     45  1.6  rillig 	u32 = u128;
     46  1.6  rillig }
     47