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 var_float_to_int(void)31var_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 var_complex_to_real(void)45var_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 const_float_to_int(void)71const_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 const_complex_int_to_real_int(void)86const_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 const_complex_int_narrowing(void)104const_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 128