1  /* PR c/48956: Test for diagnostics for implicit conversions involving complex
       2     types.  See also Wconversion-complex-c99.c.
       3  
       4     These tests cover integer complex values (which are GNU extensions).  */
       5  
       6  /* { dg-do compile } */
       7  /* { dg-skip-if "doubles are floats,ints are 16bits" { "avr-*-*" } } */
       8  /* { dg-options " -std=gnu99 -Wconversion " } */
       9  /* { dg-require-effective-target int32plus } */
      10  /* { dg-require-effective-target double64plus } */
      11  
      12  #include <limits.h>
      13  
      14  void fsi (int);
      15  void fui (unsigned);
      16  void ffloat (float);
      17  int vsi;
      18  unsigned int vui;
      19  float vfloat;
      20  
      21  void fsic (int _Complex);
      22  void fuic (unsigned _Complex);
      23  void ffloatc (float _Complex);
      24  int _Complex vsic;
      25  unsigned _Complex vuic;
      26  float _Complex vfloatc;
      27  
      28  /* Check implicit conversions of float complex-domain values to integer
      29     complex-domain types.  */
      30  void
      31  var_float_to_int (void)
      32  {
      33    double _Complex doublec = 0.;
      34  
      35    fsic (doublec); /* { dg-warning "conversion" } */
      36    fuic (doublec); /* { dg-warning "conversion" } */
      37  
      38    vsic = doublec; /* { dg-warning "conversion" } */
      39    vuic = doublec; /* { dg-warning "conversion" } */
      40  }
      41  
      42  /* Check implicit conversions of integer complex-domain values to integer
      43     real-domain types.  */
      44  void
      45  var_complex_to_real (void)
      46  {
      47    int _Complex ic = 0;
      48    unsigned _Complex uc = 0;
      49    unsigned long long _Complex ullc = 0;
      50  
      51    fsic (ic);
      52    fuic (uc);
      53    vsic = ic;
      54    vuic = uc;
      55  
      56    fsi (ic); /* { dg-warning "conversion" } */
      57    vsi = ic; /* { dg-warning "conversion" } */
      58    fui (uc); /* { dg-warning "conversion" } */
      59    vui = uc; /* { dg-warning "conversion" } */
      60  
      61    fuic (ullc); /* { dg-warning "conversion" } */
      62    vuic = ullc; /* { dg-warning "conversion" } */
      63  
      64    fui (ic); /* { dg-warning "conversion" } */
      65    vui = ic; /* { dg-warning "conversion" } */
      66  }
      67  
      68  /* Check implicit conversions of float complex-domain constants to integer
      69     types.  */
      70  void
      71  const_float_to_int (void)
      72  {
      73    fsic (1. - 1.i);
      74    fuic (1. + 1.i);
      75    vsic = 1. - 1.i;
      76    vuic = 1. + 1.i;
      77  
      78    fsic (0.5 + 0.i); /* { dg-warning "conversion" } */
      79    vsic = 0.5 + 0.i; /* { dg-warning "conversion" } */
      80    fuic (0.5 + 0.i); /* { dg-warning "conversion" } */
      81  }
      82  
      83  /* Check implicit conversions of integer complex-domain constants to integer
      84     types.  */
      85  void
      86  const_complex_int_to_real_int (void)
      87  {
      88    fsi (-1 + 0i);
      89    fui (1 + 0i);
      90    vsi = -1 + 0i;
      91    vui = 1 + 0i;
      92  
      93    fui (1 + 1i); /* { dg-warning "conversion" } */
      94    vui = 1 + 1i; /* { dg-warning "conversion" } */
      95  
      96    fui (UINT_MAX + 1ull + 0i); /* { dg-warning "conversion" } */
      97    vui = UINT_MAX + 1ull + 0i; /* { dg-warning "conversion" } */
      98  
      99    ffloat (UINT_MAX + 0i); /* { dg-warning "conversion" } */
     100    vfloat = UINT_MAX + 0i; /* { dg-warning "conversion" } */
     101  }
     102  
     103  void
     104  const_complex_int_narrowing (void)
     105  {
     106    fsic (1 - 1i);
     107    fuic (1 + 1i);
     108    vsic = 1 - 1i;
     109    vuic = 1 + 1i;
     110  
     111    fuic (UINT_MAX + 1ull + 1i); /* { dg-warning "conversion" } */
     112    fuic ((UINT_MAX + 1ull) * 1i); /* { dg-warning "conversion" } */
     113    fuic ((UINT_MAX + 1ull) + (UINT_MAX + 1ull) * 1i); /* { dg-warning "conversion" } */
     114  
     115    vuic = (UINT_MAX + 1ull) * 1i; /* { dg-warning "conversion" } */
     116    vuic = (UINT_MAX + 1ull) + 1i; /* { dg-warning "conversion" } */
     117    vuic = (UINT_MAX + 1ull) + (UINT_MAX + 1ull) * 1i; /* { dg-warning "conversion" } */
     118  
     119    ffloatc (UINT_MAX * 1i); /* { dg-warning "conversion" } */
     120    ffloatc (UINT_MAX + 1i); /* { dg-warning "conversion" } */
     121    ffloatc (UINT_MAX + UINT_MAX * 1i); /* { dg-warning "conversion" } */
     122  
     123    vfloatc = UINT_MAX * 1i; /* { dg-warning "conversion" } */
     124    vfloatc = UINT_MAX + 1i; /* { dg-warning "conversion" } */
     125    vfloatc = UINT_MAX + UINT_MAX * 1i; /* { dg-warning "conversion" } */
     126  }
     127