clang/test/Frontend/fixed_point_errors.c

   1 // RUN: %clang_cc1 -verify -ffixed-point %s
   2 // RUN: %clang_cc1 -verify -ffixed-point %s -fexperimental-new-constant-interpreter
   3
   4 /* We do not yet support long long. No recommended bit widths are given for this
   5  * size. */
   6
   7 long long _Accum longlong_accum;              // expected-error{{'long long _Accum' is invalid}}
   8 unsigned long long _Accum u_longlong_accum;   // expected-error{{'long long _Accum' is invalid}}
   9 long long _Fract longlong_fract;              // expected-error{{'long long _Fract' is invalid}}
  10 unsigned long long _Fract u_longlong_fract;   // expected-error{{'long long _Fract' is invalid}}
  11
  12 _Sat long long _Accum sat_longlong_accum;             // expected-error{{'long long _Accum' is invalid}}
  13 _Sat unsigned long long _Accum sat_u_longlong_accum;  // expected-error{{'long long _Accum' is invalid}}
  14 _Sat long long _Fract sat_longlong_fract;             // expected-error{{'long long _Fract' is invalid}}
  15 _Sat unsigned long long _Fract sat_u_longlong_fract;  // expected-error{{'long long _Fract' is invalid}}
  16
  17
  18 /* Although _Complex types work with floating point numbers, the extension
  19  * provides no info for complex fixed point types. */
  20
  21 _Complex signed short _Accum cmplx_s_short_accum;   // expected-error{{'_Complex _Accum' is invalid}}
  22 _Complex signed _Accum cmplx_s_accum;               // expected-error{{'_Complex _Accum' is invalid}}
  23 _Complex signed long _Accum cmplx_s_long_accum;     // expected-error{{'_Complex _Accum' is invalid}}
  24 _Complex unsigned short _Accum cmplx_u_short_accum; // expected-error{{'_Complex _Accum' is invalid}}
  25 _Complex unsigned _Accum cmplx_u_accum;             // expected-error{{'_Complex _Accum' is invalid}}
  26 _Complex unsigned long _Accum cmplx_u_long_accum;   // expected-error{{'_Complex _Accum' is invalid}}
  27 _Complex short _Accum cmplx_s_short_accum;          // expected-error{{'_Complex _Accum' is invalid}}
  28 _Complex _Accum cmplx_s_accum;                      // expected-error{{'_Complex _Accum' is invalid}}
  29 _Complex long _Accum cmplx_s_long_accum;            // expected-error{{'_Complex _Accum' is invalid}}
  30
  31 _Complex signed short _Fract cmplx_s_short_fract;   // expected-error{{'_Complex _Fract' is invalid}}
  32 _Complex signed _Fract cmplx_s_fract;               // expected-error{{'_Complex _Fract' is invalid}}
  33 _Complex signed long _Fract cmplx_s_long_fract;     // expected-error{{'_Complex _Fract' is invalid}}
  34 _Complex unsigned short _Fract cmplx_u_short_fract; // expected-error{{'_Complex _Fract' is invalid}}
  35 _Complex unsigned _Fract cmplx_u_fract;             // expected-error{{'_Complex _Fract' is invalid}}
  36 _Complex unsigned long _Fract cmplx_u_long_fract;   // expected-error{{'_Complex _Fract' is invalid}}
  37 _Complex short _Fract cmplx_s_short_fract;          // expected-error{{'_Complex _Fract' is invalid}}
  38 _Complex _Fract cmplx_s_fract;                      // expected-error{{'_Complex _Fract' is invalid}}
  39 _Complex long _Fract cmplx_s_long_fract;            // expected-error{{'_Complex _Fract' is invalid}}
  40
  41 _Complex _Sat signed short _Accum cmplx_sat_s_short_accum;   // expected-error{{'_Complex _Accum' is invalid}}
  42 _Complex _Sat signed _Accum cmplx_sat_s_accum;               // expected-error{{'_Complex _Accum' is invalid}}
  43 _Complex _Sat signed long _Accum cmplx_sat_s_long_accum;     // expected-error{{'_Complex _Accum' is invalid}}
  44 _Complex _Sat unsigned short _Accum cmplx_sat_u_short_accum; // expected-error{{'_Complex _Accum' is invalid}}
  45 _Complex _Sat unsigned _Accum cmplx_sat_u_accum;             // expected-error{{'_Complex _Accum' is invalid}}
  46 _Complex _Sat unsigned long _Accum cmplx_sat_u_long_accum;   // expected-error{{'_Complex _Accum' is invalid}}
  47 _Complex _Sat short _Accum cmplx_sat_s_short_accum;          // expected-error{{'_Complex _Accum' is invalid}}
  48 _Complex _Sat _Accum cmplx_sat_s_accum;                      // expected-error{{'_Complex _Accum' is invalid}}
  49 _Complex _Sat long _Accum cmplx_sat_s_long_accum;            // expected-error{{'_Complex _Accum' is invalid}}
  50
  51 _Complex signed short _Fract cmplx_sat_s_short_fract;   // expected-error{{'_Complex _Fract' is invalid}}
  52 _Complex signed _Fract cmplx_sat_s_fract;               // expected-error{{'_Complex _Fract' is invalid}}
  53 _Complex signed long _Fract cmplx_sat_s_long_fract;     // expected-error{{'_Complex _Fract' is invalid}}
  54 _Complex unsigned short _Fract cmplx_sat_u_short_fract; // expected-error{{'_Complex _Fract' is invalid}}
  55 _Complex unsigned _Fract cmplx_sat_u_fract;             // expected-error{{'_Complex _Fract' is invalid}}
  56 _Complex unsigned long _Fract cmplx_sat_u_long_fract;   // expected-error{{'_Complex _Fract' is invalid}}
  57 _Complex short _Fract cmplx_sat_s_short_fract;          // expected-error{{'_Complex _Fract' is invalid}}
  58 _Complex _Fract cmplx_sat_s_fract;                      // expected-error{{'_Complex _Fract' is invalid}}
  59 _Complex long _Fract cmplx_sat_s_long_fract;            // expected-error{{'_Complex _Fract' is invalid}}
  60
  61 /* Bad combinations */
  62 float _Accum f_accum;     // expected-error{{cannot combine with previous 'float' declaration specifier}}
  63 double _Accum d_accum;    // expected-error{{cannot combine with previous 'double' declaration specifier}}
  64 _Bool _Accum b_accum;     // expected-error{{cannot combine with previous '_Bool' declaration specifier}}
  65 char _Accum c_accum;      // expected-error{{cannot combine with previous 'char' declaration specifier}}
  66 int _Accum i_accum;       // expected-error{{cannot combine with previous 'int' declaration specifier}}
  67
  68 float _Fract f_fract;     // expected-error{{cannot combine with previous 'float' declaration specifier}}
  69 double _Fract d_fract;    // expected-error{{cannot combine with previous 'double' declaration specifier}}
  70 _Bool _Fract b_fract;     // expected-error{{cannot combine with previous '_Bool' declaration specifier}}
  71 char _Fract c_fract;      // expected-error{{cannot combine with previous 'char' declaration specifier}}
  72 int _Fract i_fract;       // expected-error{{cannot combine with previous 'int' declaration specifier}}
  73
  74 /* Bad saturated combinations */
  75 _Sat float f;             // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'float'}}
  76 _Sat double d;            // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'double'}}
  77 _Sat _Bool b;             // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not '_Bool'}}
  78 _Sat char c;              // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'char'}}
  79 _Sat int i;               // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'int'}}
  80 _Sat _Sat _Fract fract;   // expected-warning{{duplicate '_Sat' declaration specifier}}
  81
  82
  83 /* Literals that cannot fit into types */
  84 signed short _Accum s_short_accum = 256.0hk;            // expected-error{{this value is too large for this fixed point type}}
  85 unsigned short _Accum u_short_accum = 256.0uhk;         // expected-error{{this value is too large for this fixed point type}}
  86 signed _Accum s_accum = 65536.0k;                       // expected-error{{this value is too large for this fixed point type}}
  87 unsigned _Accum u_accum = 65536.0uk;                    // expected-error{{this value is too large for this fixed point type}}
  88 signed long _Accum s_long_accum = 4294967296.0lk;       // expected-error{{this value is too large for this fixed point type}}
  89 unsigned long _Accum u_long_accum = 4294967296.0ulk;    // expected-error{{this value is too large for this fixed point type}}
  90
  91 // Large values from decimal exponents
  92 short _Accum          short_accum_exp   = 2.56e2hk;           // expected-error{{this value is too large for this fixed point type}}
  93 _Accum                accum_exp         = 6.5536e4k;          // expected-error{{this value is too large for this fixed point type}}
  94 long _Accum           long_accum_exp    = 4.294967296e9lk;    // expected-error{{this value is too large for this fixed point type}}
  95 unsigned short _Accum u_short_accum_exp = 2.56e2uhk;          // expected-error{{this value is too large for this fixed point type}}
  96 unsigned _Accum       u_accum_exp       = 6.5536e4uk;         // expected-error{{this value is too large for this fixed point type}}
  97 unsigned long _Accum  u_long_accum_exp  = 4.294967296e9ulk;   // expected-error{{this value is too large for this fixed point type}}
  98
  99 // Large value from hexidecimal exponents
 100 short _Accum          short_accum_hex_exp   = 0x1p8hk;        // expected-error{{this value is too large for this fixed point type}}
 101 _Accum                accum_hex_exp         = 0x1p16k;        // expected-error{{this value is too large for this fixed point type}}
 102 long _Accum           long_accum_hex_exp    = 0x1p32lk;       // expected-error{{this value is too large for this fixed point type}}
 103 unsigned short _Accum u_short_accum_hex_exp = 0x1p8uhk;       // expected-error{{this value is too large for this fixed point type}}
 104 unsigned _Accum       u_accum_hex_exp       = 0x1p16uk;       // expected-error{{this value is too large for this fixed point type}}
 105 unsigned long _Accum  u_long_accum_hex_exp  = 0x1p32ulk;      // expected-error{{this value is too large for this fixed point type}}
 106
 107 // Very large exponent
 108 _Accum x = 1e1000000000000000000000000000000000k;   // expected-error{{this value is too large for this fixed point type}}
 109
 110 /* Although _Fract's cannot equal 1, _Fract literals written as 1 are allowed
 111  * and the underlying value represents the max value for that _Fract type. */
 112 short _Fract          short_fract_above_1    = 1.1hr;   // expected-error{{this value is too large for this fixed point type}}
 113 _Fract                fract_above_1          = 1.1r;    // expected-error{{this value is too large for this fixed point type}}
 114 long _Fract           long_fract_above_1     = 1.1lr;   // expected-error{{this value is too large for this fixed point type}}
 115 unsigned short _Fract u_short_fract_above_1  = 1.1uhr;  // expected-error{{this value is too large for this fixed point type}}
 116 unsigned _Fract       u_fract_above_1        = 1.1ur;   // expected-error{{this value is too large for this fixed point type}}
 117 unsigned long _Fract  u_long_fract_above_1   = 1.1ulr;  // expected-error{{this value is too large for this fixed point type}}
 118
 119 short _Fract          short_fract_hex_exp   = 0x0.fp1hr;      // expected-error{{this value is too large for this fixed point type}}
 120 _Fract                fract_hex_exp         = 0x0.fp1r;       // expected-error{{this value is too large for this fixed point type}}
 121 long _Fract           long_fract_hex_exp    = 0x0.fp1lr;      // expected-error{{this value is too large for this fixed point type}}
 122 unsigned short _Fract u_short_fract_hex_exp = 0x0.fp1uhr;     // expected-error{{this value is too large for this fixed point type}}
 123 unsigned _Fract       u_fract_hex_exp       = 0x0.fp1ur;      // expected-error{{this value is too large for this fixed point type}}
 124 unsigned long _Fract  u_long_fract_hex_exp  = 0x0.fp1ulr;     // expected-error{{this value is too large for this fixed point type}}
 125
 126 /* Do not allow typedef to be used with typedef'd types */
 127 typedef short _Fract shortfract_t;
 128 typedef short _Accum shortaccum_t;
 129 typedef _Fract fract_t;
 130 typedef _Accum accum_t;
 131 typedef long _Fract longfract_t;
 132 typedef long _Accum longaccum_t;
 133 _Sat shortfract_t td_sat_short_fract;       // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}}
 134 _Sat shortaccum_t td_sat_short_accum;       // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}}
 135 _Sat fract_t td_sat_fract;                  // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}}
 136 _Sat accum_t td_sat_accum;                  // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}}
 137 _Sat longfract_t td_sat_long_fract;         // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}}
 138 _Sat longaccum_t td_sat_long_accum;         // expected-error{{'_Sat' specifier is only valid on '_Fract' or '_Accum', not 'type-name'}}
 139
 140 /* Bad suffixes  */
 141 _Accum fk = 1.0fk; // expected-error{{invalid suffix 'fk' on fixed-point constant}}
 142 _Accum kk = 1.0kk; // expected-error{{invalid suffix 'kk' on fixed-point constant}}
 143 _Accum rk = 1.0rk; // expected-error{{invalid suffix 'rk' on fixed-point constant}}
 144 _Accum rk = 1.0rr; // expected-error{{invalid suffix 'rr' on fixed-point constant}}
 145 _Accum qk = 1.0qr; // expected-error{{invalid suffix 'qr' on fixed-point constant}}
 146
 147 /* Using wrong exponent notation */
 148 _Accum dec_with_hex_exp1 = 0.1p10k;    // expected-error{{invalid suffix 'p10k' on fixed-point constant}}
 149 _Accum dec_with_hex_exp2 = 0.1P10k;    // expected-error{{invalid suffix 'P10k' on fixed-point constant}}
 150 _Accum hex_with_dex_exp1 = 0x0.1e10k;  // expected-error{{hexadecimal floating constant requires an exponent}}
 151 _Accum hex_with_dex_exp2 = 0x0.1E10k;  // expected-error{{hexadecimal floating constant requires an exponent}}
 152
 153 void CheckSuffixOnIntegerLiterals(void) {
 154   _Accum short_acc_int;
 155   _Accum acc_int;
 156   _Accum long_acc_int;
 157
 158   _Accum u_short_acc_int;
 159   _Accum u_acc_int;
 160   _Accum u_long_acc_int;
 161
 162   _Fract short_fract_int;
 163   _Fract fract_int;
 164   _Fract long_fract_int;
 165
 166   _Fract u_short_fract_int;
 167   _Fract u_fract_int;
 168   _Fract u_long_fract_int;
 169
 170   // Decimal integer literals (non-zero)
 171   short_acc_int = 10hk; // expected-error{{invalid suffix 'hk' on integer constant}}
 172   acc_int = 10k;        // expected-error{{invalid suffix 'k' on integer constant}}
 173   long_acc_int = 10lk;  // expected-error{{invalid suffix 'lk' on integer constant}}
 174
 175   u_short_acc_int = 10uhk; // expected-error{{invalid suffix 'uhk' on integer constant}}
 176   u_acc_int = 10uk;        // expected-error{{invalid suffix 'uk' on integer constant}}
 177   u_long_acc_int = 10ulk;  // expected-error{{invalid suffix 'ulk' on integer constant}}
 178
 179   short_fract_int = 10hr; // expected-error{{invalid suffix 'hr' on integer constant}}
 180   fract_int = 10r;        // expected-error{{invalid suffix 'r' on integer constant}}
 181   long_fract_int = 10lr;  // expected-error{{invalid suffix 'lr' on integer constant}}
 182
 183   u_short_fract_int = 10uhr; // expected-error{{invalid suffix 'uhr' on integer constant}}
 184   u_fract_int = 10ur;        // expected-error{{invalid suffix 'ur' on integer constant}}
 185   u_long_fract_int = 10ulr;  // expected-error{{invalid suffix 'ulr' on integer constant}}
 186
 187   // Decimal integer literals (0)
 188   short_acc_int = 0hk; // expected-error{{invalid suffix 'hk' on integer constant}}
 189   acc_int = 0k;        // expected-error{{invalid suffix 'k' on integer constant}}
 190   long_acc_int = 0lk;  // expected-error{{invalid suffix 'lk' on integer constant}}
 191
 192   // Decimal integer literals (large number)
 193   acc_int = 999999999999999999k;   // expected-error{{invalid suffix 'k' on integer constant}}
 194   fract_int = 999999999999999999r; // expected-error{{invalid suffix 'r' on integer constant}}
 195
 196   // Octal integer literals
 197   short_acc_int = 010hk; // expected-error{{invalid suffix 'hk' on integer constant}}
 198   acc_int = 010k;        // expected-error{{invalid suffix 'k' on integer constant}}
 199   long_acc_int = 010lk;  // expected-error{{invalid suffix 'lk' on integer constant}}
 200
 201   u_short_acc_int = 010uhk; // expected-error{{invalid suffix 'uhk' on integer constant}}
 202   u_acc_int = 010uk;        // expected-error{{invalid suffix 'uk' on integer constant}}
 203   u_long_acc_int = 010ulk;  // expected-error{{invalid suffix 'ulk' on integer constant}}
 204
 205   short_fract_int = 010hr; // expected-error{{invalid suffix 'hr' on integer constant}}
 206   fract_int = 010r;        // expected-error{{invalid suffix 'r' on integer constant}}
 207   long_fract_int = 010lr;  // expected-error{{invalid suffix 'lr' on integer constant}}
 208
 209   u_short_fract_int = 010uhr; // expected-error{{invalid suffix 'uhr' on integer constant}}
 210   u_fract_int = 010ur;        // expected-error{{invalid suffix 'ur' on integer constant}}
 211   u_long_fract_int = 010ulr;  // expected-error{{invalid suffix 'ulr' on integer constant}}
 212
 213   // Hexadecimal integer literals
 214   short_acc_int = 0x10hk; // expected-error{{invalid suffix 'hk' on integer constant}}
 215   acc_int = 0x10k;        // expected-error{{invalid suffix 'k' on integer constant}}
 216   long_acc_int = 0x10lk;  // expected-error{{invalid suffix 'lk' on integer constant}}
 217
 218   u_short_acc_int = 0x10uhk; // expected-error{{invalid suffix 'uhk' on integer constant}}
 219   u_acc_int = 0x10uk;        // expected-error{{invalid suffix 'uk' on integer constant}}
 220   u_long_acc_int = 0x10ulk;  // expected-error{{invalid suffix 'ulk' on integer constant}}
 221
 222   short_fract_int = 0x10hr; // expected-error{{invalid suffix 'hr' on integer constant}}
 223   fract_int = 0x10r;        // expected-error{{invalid suffix 'r' on integer constant}}
 224   long_fract_int = 0x10lr;  // expected-error{{invalid suffix 'lr' on integer constant}}
 225
 226   u_short_fract_int = 0x10uhr; // expected-error{{invalid suffix 'uhr' on integer constant}}
 227   u_fract_int = 0x10ur;        // expected-error{{invalid suffix 'ur' on integer constant}}
 228   u_long_fract_int = 0x10ulr;  // expected-error{{invalid suffix 'ulr' on integer constant}}
 229
 230   // Using auto
 231   auto auto_fract = 0r;  // expected-error{{invalid suffix 'r' on integer constant}}
 232                          // expected-error@-1{{type specifier missing, defaults to 'int'}}
 233   auto auto_accum = 0k;  // expected-error{{invalid suffix 'k' on integer constant}}
 234                          // expected-error@-1{{type specifier missing, defaults to 'int'}}
 235 }
 236
 237 // Ok conversions
 238 int i_const = -2.5hk;
 239 _Sat short _Accum sat_sa_const2 = 256.0k;
 240 _Sat unsigned short _Accum sat_usa_const = -1.0hk;
 241 short _Accum sa_const3 = 2;
 242 short _Accum sa_const4 = -2;
 243
 244 // Overflow
 245 short _Accum sa_const = 256.0k;   // expected-warning{{implicit conversion from 256.0 cannot fit within the range of values for 'short _Accum'}}
 246 short _Fract sf_const = 1.0hk;    // expected-warning{{implicit conversion from 1.0 cannot fit within the range of values for 'short _Fract'}}
 247 unsigned _Accum ua_const = -1.0k; // expected-warning{{implicit conversion from -1.0 cannot fit within the range of values for 'unsigned _Accum'}}
 248 short _Accum sa_const2 = 128.0k + 128.0k; // expected-warning{{implicit conversion from 256.0 cannot fit within the range of values for 'short _Accum'}}
 249 short s_const = 65536.0lk;                // expected-warning{{implicit conversion from 65536.0 cannot fit within the range of values for 'short'}}
 250 unsigned u_const = -2.5hk;                // expected-warning{{implicit conversion from -2.5 cannot fit within the range of values for 'unsigned int'}}
 251 char c_const = 256.0uk;                   // expected-warning{{implicit conversion from 256.0 cannot fit within the range of values for 'char'}}
 252 short _Accum sa_const5 = 256;             // expected-warning{{implicit conversion from 256 cannot fit within the range of values for 'short _Accum'}}
 253 unsigned short _Accum usa_const2 = -2;    // expected-warning{{implicit conversion from -2 cannot fit within the range of values for 'unsigned short _Accum'}}
 254
 255 short _Accum add_ovf1 = 255.0hk + 20.0hk;                     // expected-warning {{overflow in expression; result is -237.0 with type 'short _Accum'}}
 256 short _Accum add_ovf2 = 10 + 0.5hr;                           // expected-warning {{overflow in expression; result is 0.5 with type 'short _Fract'}}
 257 short _Accum sub_ovf1 = 16.0uhk - 32.0uhk;                    // expected-warning {{overflow in expression; result is 240.0 with type 'unsigned short _Accum'}}
 258 short _Accum sub_ovf2 = -255.0hk - 20;                        // expected-warning {{overflow in expression; result is 237.0 with type 'short _Accum'}}
 259 short _Accum mul_ovf1 = 200.0uhk * 10.0uhk;                   // expected-warning {{overflow in expression; result is 208.0 with type 'unsigned short _Accum'}}
 260 short _Accum mul_ovf2 = (-0.5hr - 0.5hr) * (-0.5hr - 0.5hr);  // expected-warning {{overflow in expression; result is -1.0 with type 'short _Fract'}}
 261 short _Accum div_ovf1 = 255.0hk / 0.5hk;                      // expected-warning {{overflow in expression; result is -2.0 with type 'short _Accum'}}
 262
 263 short _Accum shl_ovf1 = 255.0hk << 8;           // expected-warning {{overflow in expression; result is -256.0 with type 'short _Accum'}}
 264 short _Fract shl_ovf2 = -0.25hr << 3;           // expected-warning {{overflow in expression; result is 0.0 with type 'short _Fract'}}
 265 unsigned short _Accum shl_ovf3 = 100.5uhk << 3; // expected-warning {{overflow in expression; result is 36.0 with type 'unsigned short _Accum'}}
 266 short _Fract shl_ovf4 = 0.25hr << 2;            // expected-warning {{overflow in expression; result is -1.0 with type 'short _Fract'}}
 267
 268 _Accum shl_bw1 = 0.000091552734375k << 32;                   // expected-warning {{shift count >= width of type}} \
 269                                                                  expected-warning {{overflow in expression; result is -65536.0 with type '_Accum'}}
 270 unsigned _Fract shl_bw2 = 0.65ur << 16;                      // expected-warning {{shift count >= width of type}} \
 271                                                                  expected-warning {{overflow in expression; result is 0.0 with type 'unsigned _Fract'}}
 272 _Sat short _Accum shl_bw3 = (_Sat short _Accum)80.0hk << 17; // expected-warning {{shift count >= width of type}}
 273 short _Accum shr_bw1 = 1.0hk >> 17;                          // expected-warning {{shift count >= width of type}}
 274
 275 _Accum shl_neg1 = 25.5k << -5;  // expected-warning {{shift count is negative}} \
 276                                                               // expected-warning {{overflow in expression; result is 0.0 with type '_Accum'}}
 277 _Accum shr_neg1 = 8.75k >> -9;  // expected-warning {{shift count is negative}}
 278 _Fract shl_neg2 = 0.25r << -17; // expected-warning {{shift count is negative}} \
 279                                                               // expected-warning {{overflow in expression; result is 0.0 with type '_Fract'}}
 280
 281 // No warnings for saturation
 282 short _Fract add_sat  = (_Sat short _Fract)0.5hr + 0.5hr;
 283 short _Accum sub_sat  = (_Sat short _Accum)-200.0hk - 80.0hk;
 284 short _Accum mul_sat  = (_Sat short _Accum)80.0hk * 10.0hk;
 285 short _Fract div_sat  = (_Sat short _Fract)0.9hr / 0.1hr;
 286 short _Accum shl_sat = (_Sat short _Accum)200.0hk << 5;
 287
 288 // Division by zero
 289 short _Accum div_zero = 4.5k / 0.0lr;  // expected-error {{initializer element is not a compile-time constant}}