gcc/testsuite/c-c++-common/Wfloat-conversion.c

   1 /* Test for diagnostics for Wconversion for floating-point.  */
   2
   3 /* { dg-do compile } */
   4 /* { dg-options "-std=c99 -Wfloat-conversion" { target c } } */
   5 /* { dg-options "-Wfloat-conversion" { target c++ } } */
   6 /* { dg-require-effective-target large_double } */
   7 /* { dg-require-effective-target int32plus } */
   8 /* { dg-require-effective-target double64plus } */
   9 #include <limits.h>
  10
  11 float  vfloat;
  12 double vdouble;
  13 long double vlongdouble;
  14 int bar;
  15
  16 void fsi (signed int x);
  17 void fui (unsigned int x);
  18 void ffloat (float f);
  19 void fdouble (double d);
  20 void flongdouble (long double ld);
  21
  22 void h (void)
  23 {
  24   unsigned int ui = 3;
  25   int   si = 3;
  26   unsigned char uc = 3;
  27   signed char sc = 3;
  28   float f = 0;
  29   double d = 0;
  30   long double ld = 0;
  31
  32   ffloat (3.1); /* { dg-warning "conversion from .double. to .float. changes value" } */
  33   vfloat = 3.1; /* { dg-warning "conversion from .double. to .float. changes value" } */
  34   ffloat (3.1L); /* { dg-warning "conversion from .long double. to .float. changes value" } */
  35   vfloat = 3.1L;  /* { dg-warning "conversion from .long double. to .float. changes value" } */
  36   fdouble (3.1L); /* { dg-warning "conversion from .long double. to .double. changes value" "" { target large_long_double } } */
  37   vdouble = 3.1L; /* { dg-warning "conversion from .long double. to .double. changes value" "" { target large_long_double } } */
  38   ffloat (vdouble); /* { dg-warning "conversion from .double. to .float. may change value" } */
  39   vfloat = vdouble; /* { dg-warning "conversion from .double. to .float. may change value" } */
  40   ffloat (vlongdouble); /* { dg-warning "conversion from .long double. to .float. may change value" } */
  41   vfloat = vlongdouble; /* { dg-warning "conversion from .long double. to .float. may change value" } */
  42   fdouble (vlongdouble); /* { dg-warning "conversion from .long double. to .double. may change value" "" { target large_long_double } } */
  43   vdouble = vlongdouble; /* { dg-warning "conversion from .long double. to .double. may change value" "" { target large_long_double } } */
  44
  45   fsi (3.1f); /* { dg-warning "conversion from .float. to .int. changes value" } */
  46   si = 3.1f; /* { dg-warning "conversion from .float. to .int. changes value" } */
  47   fsi (3.1);  /* { dg-warning "conversion from .double. to .int. changes value" } */
  48   si = 3.1;  /* { dg-warning "conversion from .double. to .int. changes value" } */
  49   fsi (d);    /* { dg-warning "conversion from .double. to .int. may change value" } */
  50   si = d;    /* { dg-warning "conversion from .double. to .int. may change value" } */
  51   ffloat (INT_MAX);  /* { dg-warning "conversion from .int. to .float. changes value" } */
  52   vfloat = INT_MAX;  /* { dg-warning "conversion from .int. to .float. changes value" } */
  53   ffloat (16777217); /* { dg-warning "conversion from .int. to .float. changes value from .16777217." } */
  54   vfloat = 16777217; /* { dg-warning "conversion from .int. to .float. changes value from .16777217." } */
  55
  56   sc = bar != 0 ? 2.1 : 10; /* { dg-warning "conversion from .double. to .signed char. changes the value of .2\.1" } */
  57   uc = bar != 0 ? 2.1 : 10; /* { dg-warning "conversion from .double. to .unsigned char. changes the value of .2\.1" } */
  58 }