/*      $NetBSD: msg_132_ilp32.c,v 1.5 2023/08/08 20:15:11 rillig Exp $ */
# 3 "msg_132_ilp32.c"

// Test for message: conversion from '%s' to '%s' may lose accuracy [132]

/*
* On 32-bit platforms, it is possible to add a 64-bit integer to a 32-bit
* pointer.  The 64-bit integer is then converted to the ptrdiff_t of the
* target platform, which results in the non-obvious conversion from
* 'long long' to either 'long' or 'int', depending on the platform's
* ptrdiff_t.
*/

/* lint1-only-if: ilp32 int */
/* lint1-extra-flags: -a -X 351 */

/*
* Seen in usr.bin/make/var.c, function RegexReplace, in the function call
* SepBuf_AddBytesBetween(buf, wp + m[0].rm_so, wp + m[0].rm_eo).  The
* offsets of regular expression matches have type off_t, which is a 64-bit
* integer.
*
* C11 6.5.6p8 does not explicitly define the meaning of a pointer + an
* overly long integer, it just says "undefined behavior" if the resulting
* pointer would be outside the object.
*/
const char *
array_subscript(const char *p, long long idx)
{
       /* expect+1: warning: conversion from 'long long' to 'int' may lose accuracy [132] */
       return p + idx;
}

/*
* On ILP32 platforms, pointer, long and int have the same size, so there is
* no loss of accuracy.
*/
unsigned int
convert_pointer_to_smaller_integer(void *ptr)
{
       return (unsigned long)(ptr) >> 12;
}

_Bool bool_var;
char char_var;
signed char schar_var;
unsigned char uchar_var;
short short_var;
unsigned short ushort_var;
int int_var;
unsigned int uint_var;
long long_var;
unsigned long ulong_var;
long long llong_var;
unsigned long long ullong_var;

void
convert_all(void)
{
       bool_var = bool_var;
       bool_var = char_var;
       bool_var = schar_var;
       bool_var = uchar_var;
       bool_var = short_var;
       bool_var = ushort_var;
       bool_var = int_var;
       bool_var = uint_var;
       bool_var = long_var;
       bool_var = ulong_var;
       bool_var = llong_var;
       bool_var = ullong_var;

       char_var = bool_var;
       char_var = char_var;
       char_var = schar_var;
       char_var = uchar_var;
       char_var = short_var;
       char_var = ushort_var;
       char_var = int_var;
       char_var = uint_var;
       /* expect+1: warning: conversion from 'long' to 'char' may lose accuracy [132] */
       char_var = long_var;
       /* expect+1: warning: conversion from 'unsigned long' to 'char' may lose accuracy [132] */
       char_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'char' may lose accuracy [132] */
       char_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'char' may lose accuracy [132] */
       char_var = ullong_var;

       schar_var = bool_var;
       schar_var = char_var;
       schar_var = schar_var;
       schar_var = uchar_var;
       schar_var = short_var;
       schar_var = ushort_var;
       schar_var = int_var;
       schar_var = uint_var;
       /* expect+1: warning: conversion from 'long' to 'signed char' may lose accuracy [132] */
       schar_var = long_var;
       /* expect+1: warning: conversion from 'unsigned long' to 'signed char' may lose accuracy [132] */
       schar_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'signed char' may lose accuracy [132] */
       schar_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'signed char' may lose accuracy [132] */
       schar_var = ullong_var;

       uchar_var = bool_var;
       uchar_var = char_var;
       uchar_var = schar_var;
       uchar_var = uchar_var;
       uchar_var = short_var;
       uchar_var = ushort_var;
       uchar_var = int_var;
       uchar_var = uint_var;
       /* expect+1: warning: conversion from 'long' to 'unsigned char' may lose accuracy [132] */
       uchar_var = long_var;
       /* expect+1: warning: conversion from 'unsigned long' to 'unsigned char' may lose accuracy [132] */
       uchar_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'unsigned char' may lose accuracy [132] */
       uchar_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'unsigned char' may lose accuracy [132] */
       uchar_var = ullong_var;

       short_var = bool_var;
       short_var = char_var;
       short_var = schar_var;
       short_var = uchar_var;
       short_var = short_var;
       short_var = ushort_var;
       short_var = int_var;
       short_var = uint_var;
       /* expect+1: warning: conversion from 'long' to 'short' may lose accuracy [132] */
       short_var = long_var;
       /* expect+1: warning: conversion from 'unsigned long' to 'short' may lose accuracy [132] */
       short_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'short' may lose accuracy [132] */
       short_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'short' may lose accuracy [132] */
       short_var = ullong_var;

       ushort_var = bool_var;
       ushort_var = char_var;
       ushort_var = schar_var;
       ushort_var = uchar_var;
       ushort_var = short_var;
       ushort_var = ushort_var;
       ushort_var = int_var;
       ushort_var = uint_var;
       /* expect+1: warning: conversion from 'long' to 'unsigned short' may lose accuracy [132] */
       ushort_var = long_var;
       /* expect+1: warning: conversion from 'unsigned long' to 'unsigned short' may lose accuracy [132] */
       ushort_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'unsigned short' may lose accuracy [132] */
       ushort_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'unsigned short' may lose accuracy [132] */
       ushort_var = ullong_var;

       int_var = bool_var;
       int_var = char_var;
       int_var = schar_var;
       int_var = uchar_var;
       int_var = short_var;
       int_var = ushort_var;
       int_var = int_var;
       int_var = uint_var;
       int_var = long_var;
       int_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'int' may lose accuracy [132] */
       int_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'int' may lose accuracy [132] */
       int_var = ullong_var;

       uint_var = bool_var;
       uint_var = char_var;
       uint_var = schar_var;
       uint_var = uchar_var;
       uint_var = short_var;
       uint_var = ushort_var;
       uint_var = int_var;
       uint_var = uint_var;
       uint_var = long_var;
       uint_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'unsigned int' may lose accuracy [132] */
       uint_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'unsigned int' may lose accuracy [132] */
       uint_var = ullong_var;

       long_var = bool_var;
       long_var = char_var;
       long_var = schar_var;
       long_var = uchar_var;
       long_var = short_var;
       long_var = ushort_var;
       long_var = int_var;
       long_var = uint_var;
       long_var = long_var;
       long_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'long' may lose accuracy [132] */
       long_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'long' may lose accuracy [132] */
       long_var = ullong_var;

       ulong_var = bool_var;
       ulong_var = char_var;
       ulong_var = schar_var;
       ulong_var = uchar_var;
       ulong_var = short_var;
       ulong_var = ushort_var;
       ulong_var = int_var;
       ulong_var = uint_var;
       ulong_var = long_var;
       ulong_var = ulong_var;
       /* expect+1: warning: conversion from 'long long' to 'unsigned long' may lose accuracy [132] */
       ulong_var = llong_var;
       /* expect+1: warning: conversion from 'unsigned long long' to 'unsigned long' may lose accuracy [132] */
       ulong_var = ullong_var;

       llong_var = bool_var;
       llong_var = char_var;
       llong_var = schar_var;
       llong_var = uchar_var;
       llong_var = short_var;
       llong_var = ushort_var;
       llong_var = int_var;
       llong_var = uint_var;
       llong_var = long_var;
       llong_var = ulong_var;
       llong_var = llong_var;
       llong_var = ullong_var;

       ullong_var = bool_var;
       ullong_var = char_var;
       ullong_var = schar_var;
       ullong_var = uchar_var;
       ullong_var = short_var;
       ullong_var = ushort_var;
       ullong_var = int_var;
       ullong_var = uint_var;
       ullong_var = long_var;
       ullong_var = ulong_var;
       ullong_var = llong_var;
       ullong_var = ullong_var;
}

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.