platform_lp64.c revision 1.9
1 1.9 rillig /* $NetBSD: platform_lp64.c,v 1.9 2024/03/09 17:34:01 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 1.8 rillig 48 1.9 rillig unsigned char u8; 49 1.9 rillig unsigned long long u64; 50 1.9 rillig unsigned char u8_buf[20]; 51 1.9 rillig unsigned long long u64_buf[20]; 52 1.8 rillig 53 1.8 rillig void 54 1.8 rillig array_index(void) 55 1.8 rillig { 56 1.8 rillig 57 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 16777215 [168] */ 58 1.9 rillig u8 += u8_buf[0x00ffffff]; 59 1.8 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483647 [168] */ 60 1.9 rillig u8 += u8_buf[0x7fffffff]; 61 1.8 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483648 [168] */ 62 1.9 rillig u8 += u8_buf[2147483648]; 63 1.8 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483648 [168] */ 64 1.9 rillig u8 += u8_buf[0x80000000]; 65 1.8 rillig /* expect+1: warning: array subscript cannot be > 19: 4294967295 [168] */ 66 1.9 rillig u8 += u8_buf[0xffffffff]; 67 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483648 [168] */ 68 1.9 rillig u8 += u8_buf[0x80000000]; 69 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 4294967295 [168] */ 70 1.9 rillig u8 += u8_buf[0xffffffff]; 71 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 72057594037927935 [168] */ 72 1.9 rillig u8 += u8_buf[0x00ffffffffffffff]; 73 1.9 rillig /* expect+1: warning: array subscript cannot be negative: -1 [167] */ 74 1.9 rillig u8 += u8_buf[0xffffffffffffffff]; 75 1.9 rillig 76 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 16777215 [168] */ 77 1.9 rillig u64 += u64_buf[0x00ffffff]; 78 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483647 [168] */ 79 1.9 rillig u64 += u64_buf[0x7fffffff]; 80 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483648 [168] */ 81 1.9 rillig u64 += u64_buf[2147483648]; 82 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483648 [168] */ 83 1.9 rillig u64 += u64_buf[0x80000000]; 84 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 4294967295 [168] */ 85 1.9 rillig u64 += u64_buf[0xffffffff]; 86 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 2147483648 [168] */ 87 1.9 rillig u64 += u64_buf[0x80000000]; 88 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 4294967295 [168] */ 89 1.9 rillig u64 += u64_buf[0xffffffff]; 90 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 72057594037927935 [168] */ 91 1.9 rillig u64 += u64_buf[0x00ffffffffffffff]; 92 1.9 rillig /* expect+1: warning: array subscript cannot be > 19: 1152921504606846975 [168] */ 93 1.9 rillig u64 += u64_buf[0x0fffffffffffffff]; 94 1.9 rillig // FIXME: integer overflow 95 1.9 rillig //u64 += u64_buf[0x1fffffffffffffff]; 96 1.9 rillig // FIXME: integer overflow 97 1.9 rillig //u64 += u64_buf[0x3fffffffffffffff]; 98 1.9 rillig // FIXME: integer overflow 99 1.9 rillig //u64 += u64_buf[0x7fffffffffffffff]; 100 1.8 rillig /* expect+1: warning: array subscript cannot be negative: -1 [167] */ 101 1.9 rillig u64 += u64_buf[0xffffffffffffffff]; 102 1.8 rillig } 103
Indexes created Fri Sep 26 20:09:58 GMT 2025