clang/test/SemaCXX/warn-absolute-value.cpp

   1 // RUN: %clang_cc1 -triple i686-pc-linux-gnu -fsyntax-only -verify %s -Wabsolute-value -std=c++11
   2 // RUN: %clang_cc1 -triple i686-pc-linux-gnu -fsyntax-only %s -Wabsolute-value -fdiagnostics-parseable-fixits -std=c++11 2>&1 | FileCheck %s
   3
   4 extern "C" {
   5 int abs(int);
   6 long int labs(long int);
   7 long long int llabs(long long int);
   8
   9 float fabsf(float);
  10 double fabs(double);
  11 long double fabsl(long double);
  12
  13 float cabsf(float _Complex);
  14 double cabs(double _Complex);
  15 long double cabsl(long double _Complex);
  16 }
  17
  18 namespace std {
  19
  20 inline namespace __1 {
  21 int abs(int);
  22 long int abs(long int);
  23 long long int abs(long long int);
  24 }
  25
  26 float abs(float);
  27 double abs(double);
  28 long double abs(long double);
  29
  30 template <typename T>
  31 double abs(T);
  32
  33 }
  34
  35 void test_int(int x) {
  36   (void)std::abs(x);
  37
  38   (void)abs(x);
  39   (void)labs(x);
  40   (void)llabs(x);
  41
  42   (void)fabsf(x);
  43   // expected-warning@-1 {{using floating point absolute value function 'fabsf' when argument is of integer type}}
  44   // expected-note@-2 {{use function 'std::abs' instead}}
  45   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
  46   (void)fabs(x);
  47   // expected-warning@-1 {{using floating point absolute value function 'fabs' when argument is of integer type}}
  48   // expected-note@-2 {{use function 'std::abs' instead}}
  49   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
  50   (void)fabsl(x);
  51   // expected-warning@-1 {{using floating point absolute value function 'fabsl' when argument is of integer type}}
  52   // expected-note@-2 {{use function 'std::abs' instead}}
  53   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
  54
  55   (void)cabsf(x);
  56   // expected-warning@-1 {{using complex absolute value function 'cabsf' when argument is of integer type}}
  57   // expected-note@-2 {{use function 'std::abs' instead}}
  58   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
  59   (void)cabs(x);
  60   // expected-warning@-1 {{using complex absolute value function 'cabs' when argument is of integer type}}
  61   // expected-note@-2 {{use function 'std::abs' instead}}
  62   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
  63   (void)cabsl(x);
  64   // expected-warning@-1 {{using complex absolute value function 'cabsl' when argument is of integer type}}
  65   // expected-note@-2 {{use function 'std::abs' instead}}
  66   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
  67
  68   (void)__builtin_abs(x);
  69   (void)__builtin_labs(x);
  70   (void)__builtin_llabs(x);
  71
  72   (void)__builtin_fabsf(x);
  73   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabsf' when argument is of integer type}}
  74   // expected-note@-2 {{use function 'std::abs' instead}}
  75   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
  76   (void)__builtin_fabs(x);
  77   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabs' when argument is of integer type}}
  78   // expected-note@-2 {{use function 'std::abs' instead}}
  79   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
  80   (void)__builtin_fabsl(x);
  81   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabsl' when argument is of integer type}}
  82   // expected-note@-2 {{use function 'std::abs' instead}}
  83   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
  84
  85   (void)__builtin_cabsf(x);
  86   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsf' when argument is of integer type}}
  87   // expected-note@-2 {{use function 'std::abs' instead}}
  88   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
  89   (void)__builtin_cabs(x);
  90   // expected-warning@-1 {{using complex absolute value function '__builtin_cabs' when argument is of integer type}}
  91   // expected-note@-2 {{use function 'std::abs' instead}}
  92   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
  93   (void)__builtin_cabsl(x);
  94   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsl' when argument is of integer type}}
  95   // expected-note@-2 {{use function 'std::abs' instead}}
  96   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
  97 }
  98
  99 void test_long(long x) {
 100   (void)std::abs(x);
 101
 102   (void)abs(x);  // no warning - int and long are same length for this target
 103   (void)labs(x);
 104   (void)llabs(x);
 105
 106   (void)fabsf(x);
 107   // expected-warning@-1 {{using floating point absolute value function 'fabsf' when argument is of integer type}}
 108   // expected-note@-2 {{use function 'std::abs' instead}}
 109   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 110   (void)fabs(x);
 111   // expected-warning@-1 {{using floating point absolute value function 'fabs' when argument is of integer type}}
 112   // expected-note@-2 {{use function 'std::abs' instead}}
 113   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 114   (void)fabsl(x);
 115   // expected-warning@-1 {{using floating point absolute value function 'fabsl' when argument is of integer type}}
 116   // expected-note@-2 {{use function 'std::abs' instead}}
 117   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 118
 119   (void)cabsf(x);
 120   // expected-warning@-1 {{using complex absolute value function 'cabsf' when argument is of integer type}}
 121   // expected-note@-2 {{use function 'std::abs' instead}}
 122   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 123   (void)cabs(x);
 124   // expected-warning@-1 {{using complex absolute value function 'cabs' when argument is of integer type}}
 125   // expected-note@-2 {{use function 'std::abs' instead}}
 126   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 127   (void)cabsl(x);
 128   // expected-warning@-1 {{using complex absolute value function 'cabsl' when argument is of integer type}}
 129   // expected-note@-2 {{use function 'std::abs' instead}}
 130   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 131
 132   (void)__builtin_abs(x);  // no warning - int and long are same length for
 133                            // this target
 134   (void)__builtin_labs(x);
 135   (void)__builtin_llabs(x);
 136
 137   (void)__builtin_fabsf(x);
 138   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabsf' when argument is of integer type}}
 139   // expected-note@-2 {{use function 'std::abs' instead}}
 140   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 141   (void)__builtin_fabs(x);
 142   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabs' when argument is of integer type}}
 143   // expected-note@-2 {{use function 'std::abs' instead}}
 144   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 145   (void)__builtin_fabsl(x);
 146   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabsl' when argument is of integer type}}
 147   // expected-note@-2 {{use function 'std::abs' instead}}
 148   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 149
 150   (void)__builtin_cabsf(x);
 151   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsf' when argument is of integer type}}
 152   // expected-note@-2 {{use function 'std::abs' instead}}
 153   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 154   (void)__builtin_cabs(x);
 155   // expected-warning@-1 {{using complex absolute value function '__builtin_cabs' when argument is of integer type}}
 156   // expected-note@-2 {{use function 'std::abs' instead}}
 157   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 158   (void)__builtin_cabsl(x);
 159   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsl' when argument is of integer type}}
 160   // expected-note@-2 {{use function 'std::abs' instead}}
 161   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 162 }
 163
 164 void test_long_long(long long x) {
 165   (void)std::abs(x);
 166
 167   (void)abs(x);
 168   // expected-warning@-1{{absolute value function 'abs' given an argument of type 'long long' but has parameter of type 'int' which may cause truncation of value}}
 169   // expected-note@-2{{use function 'std::abs' instead}}
 170   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:12}:"std::abs"
 171   (void)labs(x);
 172   // expected-warning@-1{{absolute value function 'labs' given an argument of type 'long long' but has parameter of type 'long' which may cause truncation of value}}
 173   // expected-note@-2{{use function 'std::abs' instead}}
 174   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 175   (void)llabs(x);
 176
 177   (void)fabsf(x);
 178   // expected-warning@-1 {{using floating point absolute value function 'fabsf' when argument is of integer type}}
 179   // expected-note@-2 {{use function 'std::abs' instead}}
 180   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 181   (void)fabs(x);
 182   // expected-warning@-1 {{using floating point absolute value function 'fabs' when argument is of integer type}}
 183   // expected-note@-2 {{use function 'std::abs' instead}}
 184   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 185   (void)fabsl(x);
 186   // expected-warning@-1 {{using floating point absolute value function 'fabsl' when argument is of integer type}}
 187   // expected-note@-2 {{use function 'std::abs' instead}}
 188   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 189
 190   (void)cabsf(x);
 191   // expected-warning@-1 {{using complex absolute value function 'cabsf' when argument is of integer type}}
 192   // expected-note@-2 {{use function 'std::abs' instead}}
 193   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 194   (void)cabs(x);
 195   // expected-warning@-1 {{using complex absolute value function 'cabs' when argument is of integer type}}
 196   // expected-note@-2 {{use function 'std::abs' instead}}
 197   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 198   (void)cabsl(x);
 199   // expected-warning@-1 {{using complex absolute value function 'cabsl' when argument is of integer type}}
 200   // expected-note@-2 {{use function 'std::abs' instead}}
 201   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 202
 203   (void)__builtin_abs(x);
 204   // expected-warning@-1{{absolute value function '__builtin_abs' given an argument of type 'long long' but has parameter of type 'int' which may cause truncation of value}}
 205   // expected-note@-2{{use function 'std::abs' instead}}
 206   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:22}:"std::abs"
 207   (void)__builtin_labs(x);
 208   // expected-warning@-1{{absolute value function '__builtin_labs' given an argument of type 'long long' but has parameter of type 'long' which may cause truncation of value}}
 209   // expected-note@-2{{use function 'std::abs' instead}}
 210   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 211   (void)__builtin_llabs(x);
 212
 213   (void)__builtin_fabsf(x);
 214   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabsf' when argument is of integer type}}
 215   // expected-note@-2 {{use function 'std::abs' instead}}
 216   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 217   (void)__builtin_fabs(x);
 218   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabs' when argument is of integer type}}
 219   // expected-note@-2 {{use function 'std::abs' instead}}
 220   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 221   (void)__builtin_fabsl(x);
 222   // expected-warning@-1 {{using floating point absolute value function '__builtin_fabsl' when argument is of integer type}}
 223   // expected-note@-2 {{use function 'std::abs' instead}}
 224   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 225
 226   (void)__builtin_cabsf(x);
 227   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsf' when argument is of integer type}}
 228   // expected-note@-2 {{use function 'std::abs' instead}}
 229   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 230   (void)__builtin_cabs(x);
 231   // expected-warning@-1 {{using complex absolute value function '__builtin_cabs' when argument is of integer type}}
 232   // expected-note@-2 {{use function 'std::abs' instead}}
 233   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 234   (void)__builtin_cabsl(x);
 235   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsl' when argument is of integer type}}
 236   // expected-note@-2 {{use function 'std::abs' instead}}
 237   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 238 }
 239
 240 void test_float(float x) {
 241   (void)std::abs(x);
 242
 243   (void)abs(x);
 244   // expected-warning@-1 {{using integer absolute value function 'abs' when argument is of floating point type}}
 245   // expected-note@-2 {{use function 'std::abs' instead}}
 246   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:12}:"std::abs"
 247   (void)labs(x);
 248   // expected-warning@-1 {{using integer absolute value function 'labs' when argument is of floating point type}}
 249   // expected-note@-2 {{use function 'std::abs' instead}}
 250   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 251   (void)llabs(x);
 252   // expected-warning@-1 {{using integer absolute value function 'llabs' when argument is of floating point type}}
 253   // expected-note@-2 {{use function 'std::abs' instead}}
 254   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 255
 256   (void)fabsf(x);
 257   (void)fabs(x);
 258   (void)fabsl(x);
 259
 260   (void)cabsf(x);
 261   // expected-warning@-1 {{using complex absolute value function 'cabsf' when argument is of floating point type}}
 262   // expected-note@-2 {{use function 'std::abs' instead}}
 263   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 264   (void)cabs(x);
 265   // expected-warning@-1 {{using complex absolute value function 'cabs' when argument is of floating point type}}
 266   // expected-note@-2 {{use function 'std::abs' instead}}
 267   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 268   (void)cabsl(x);
 269   // expected-warning@-1 {{using complex absolute value function 'cabsl' when argument is of floating point type}}
 270   // expected-note@-2 {{use function 'std::abs' instead}}
 271   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 272
 273   (void)__builtin_abs(x);
 274   // expected-warning@-1 {{using integer absolute value function '__builtin_abs' when argument is of floating point type}}
 275   // expected-note@-2 {{use function 'std::abs' instead}}
 276   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:22}:"std::abs"
 277   (void)__builtin_labs(x);
 278   // expected-warning@-1 {{using integer absolute value function '__builtin_labs' when argument is of floating point type}}
 279   // expected-note@-2 {{use function 'std::abs' instead}}
 280   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 281   (void)__builtin_llabs(x);
 282   // expected-warning@-1 {{using integer absolute value function '__builtin_llabs' when argument is of floating point type}}
 283   // expected-note@-2 {{use function 'std::abs' instead}}
 284   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 285
 286   (void)__builtin_fabsf(x);
 287   (void)__builtin_fabs(x);
 288   (void)__builtin_fabsl(x);
 289
 290   (void)__builtin_cabsf(x);
 291   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsf' when argument is of floating point type}}
 292   // expected-note@-2 {{use function 'std::abs' instead}}
 293   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 294   (void)__builtin_cabs(x);
 295   // expected-warning@-1 {{using complex absolute value function '__builtin_cabs' when argument is of floating point type}}
 296   // expected-note@-2 {{use function 'std::abs' instead}}
 297   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 298   (void)__builtin_cabsl(x);
 299   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsl' when argument is of floating point type}}
 300   // expected-note@-2 {{use function 'std::abs' instead}}
 301   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 302 }
 303
 304 void test_double(double x) {
 305   (void)std::abs(x);
 306
 307   (void)abs(x);
 308   // expected-warning@-1 {{using integer absolute value function 'abs' when argument is of floating point type}}
 309   // expected-note@-2 {{use function 'std::abs' instead}}
 310   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:12}:"std::abs"
 311   (void)labs(x);
 312   // expected-warning@-1 {{using integer absolute value function 'labs' when argument is of floating point type}}
 313   // expected-note@-2 {{use function 'std::abs' instead}}
 314   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 315   (void)llabs(x);
 316   // expected-warning@-1 {{using integer absolute value function 'llabs' when argument is of floating point type}}
 317   // expected-note@-2 {{use function 'std::abs' instead}}
 318   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 319
 320   (void)fabsf(x);
 321   // expected-warning@-1{{absolute value function 'fabsf' given an argument of type 'double' but has parameter of type 'float' which may cause truncation of value}}
 322   // expected-note@-2{{use function 'std::abs' instead}}
 323   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 324   (void)fabs(x);
 325   (void)fabsl(x);
 326
 327   (void)cabsf(x);
 328   // expected-warning@-1 {{using complex absolute value function 'cabsf' when argument is of floating point type}}
 329   // expected-note@-2 {{use function 'std::abs' instead}}
 330   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 331   (void)cabs(x);
 332   // expected-warning@-1 {{using complex absolute value function 'cabs' when argument is of floating point type}}
 333   // expected-note@-2 {{use function 'std::abs' instead}}
 334   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 335   (void)cabsl(x);
 336   // expected-warning@-1 {{using complex absolute value function 'cabsl' when argument is of floating point type}}
 337   // expected-note@-2 {{use function 'std::abs' instead}}
 338   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 339
 340   (void)__builtin_abs(x);
 341   // expected-warning@-1 {{using integer absolute value function '__builtin_abs' when argument is of floating point type}}
 342   // expected-note@-2 {{use function 'std::abs' instead}}
 343   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:22}:"std::abs"
 344   (void)__builtin_labs(x);
 345   // expected-warning@-1 {{using integer absolute value function '__builtin_labs' when argument is of floating point type}}
 346   // expected-note@-2 {{use function 'std::abs' instead}}
 347   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 348   (void)__builtin_llabs(x);
 349   // expected-warning@-1 {{using integer absolute value function '__builtin_llabs' when argument is of floating point type}}
 350   // expected-note@-2 {{use function 'std::abs' instead}}
 351   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 352
 353   (void)__builtin_fabsf(x);
 354   // expected-warning@-1{{absolute value function '__builtin_fabsf' given an argument of type 'double' but has parameter of type 'float' which may cause truncation of value}}
 355   // expected-note@-2{{use function 'std::abs' instead}}
 356   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 357   (void)__builtin_fabs(x);
 358   (void)__builtin_fabsl(x);
 359
 360   (void)__builtin_cabsf(x);
 361   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsf' when argument is of floating point type}}
 362   // expected-note@-2 {{use function 'std::abs' instead}}
 363   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 364   (void)__builtin_cabs(x);
 365   // expected-warning@-1 {{using complex absolute value function '__builtin_cabs' when argument is of floating point type}}
 366   // expected-note@-2 {{use function 'std::abs' instead}}
 367   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 368   (void)__builtin_cabsl(x);
 369   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsl' when argument is of floating point type}}
 370   // expected-note@-2 {{use function 'std::abs' instead}}
 371   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 372 }
 373
 374 void test_long_double(long double x) {
 375   (void)std::abs(x);
 376
 377   (void)abs(x);
 378   // expected-warning@-1 {{using integer absolute value function 'abs' when argument is of floating point type}}
 379   // expected-note@-2 {{use function 'std::abs' instead}}
 380   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:12}:"std::abs"
 381   (void)labs(x);
 382   // expected-warning@-1 {{using integer absolute value function 'labs' when argument is of floating point type}}
 383   // expected-note@-2 {{use function 'std::abs' instead}}
 384   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 385   (void)llabs(x);
 386   // expected-warning@-1 {{using integer absolute value function 'llabs' when argument is of floating point type}}
 387   // expected-note@-2 {{use function 'std::abs' instead}}
 388   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 389
 390   (void)fabsf(x);
 391   // expected-warning@-1{{absolute value function 'fabsf' given an argument of type 'long double' but has parameter of type 'float' which may cause truncation of value}}
 392   // expected-note@-2{{use function 'std::abs' instead}}
 393   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 394   (void)fabs(x);
 395   // expected-warning@-1{{absolute value function 'fabs' given an argument of type 'long double' but has parameter of type 'double' which may cause truncation of value}}
 396   // expected-note@-2{{use function 'std::abs' instead}}
 397   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 398   (void)fabsl(x);
 399
 400   (void)cabsf(x);
 401   // expected-warning@-1 {{using complex absolute value function 'cabsf' when argument is of floating point type}}
 402   // expected-note@-2 {{use function 'std::abs' instead}}
 403   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 404   (void)cabs(x);
 405   // expected-warning@-1 {{using complex absolute value function 'cabs' when argument is of floating point type}}
 406   // expected-note@-2 {{use function 'std::abs' instead}}
 407   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"std::abs"
 408   (void)cabsl(x);
 409   // expected-warning@-1 {{using complex absolute value function 'cabsl' when argument is of floating point type}}
 410   // expected-note@-2 {{use function 'std::abs' instead}}
 411   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"std::abs"
 412
 413   (void)__builtin_abs(x);
 414   // expected-warning@-1 {{using integer absolute value function '__builtin_abs' when argument is of floating point type}}
 415   // expected-note@-2 {{use function 'std::abs' instead}}
 416   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:22}:"std::abs"
 417   (void)__builtin_labs(x);
 418   // expected-warning@-1 {{using integer absolute value function '__builtin_labs' when argument is of floating point type}}
 419   // expected-note@-2 {{use function 'std::abs' instead}}
 420   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 421   (void)__builtin_llabs(x);
 422   // expected-warning@-1 {{using integer absolute value function '__builtin_llabs' when argument is of floating point type}}
 423   // expected-note@-2 {{use function 'std::abs' instead}}
 424   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 425
 426   (void)__builtin_fabsf(x);
 427   // expected-warning@-1{{absolute value function '__builtin_fabsf' given an argument of type 'long double' but has parameter of type 'float' which may cause truncation of value}}
 428   // expected-note@-2{{use function 'std::abs' instead}}
 429   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 430   (void)__builtin_fabs(x);
 431   // expected-warning@-1{{absolute value function '__builtin_fabs' given an argument of type 'long double' but has parameter of type 'double' which may cause truncation of value}}
 432   // expected-note@-2{{use function 'std::abs' instead}}
 433   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 434   (void)__builtin_fabsl(x);
 435
 436   (void)__builtin_cabsf(x);
 437   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsf' when argument is of floating point type}}
 438   // expected-note@-2 {{use function 'std::abs' instead}}
 439   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 440   (void)__builtin_cabs(x);
 441   // expected-warning@-1 {{using complex absolute value function '__builtin_cabs' when argument is of floating point type}}
 442   // expected-note@-2 {{use function 'std::abs' instead}}
 443   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"std::abs"
 444   (void)__builtin_cabsl(x);
 445   // expected-warning@-1 {{using complex absolute value function '__builtin_cabsl' when argument is of floating point type}}
 446   // expected-note@-2 {{use function 'std::abs' instead}}
 447   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"std::abs"
 448 }
 449
 450 void test_complex_float(_Complex float x) {
 451   (void)cabsf(x);
 452   (void)cabs(x);
 453   (void)cabsl(x);
 454
 455   (void)__builtin_cabsf(x);
 456   (void)__builtin_cabs(x);
 457   (void)__builtin_cabsl(x);
 458 }
 459
 460 void test_complex_double(_Complex double x) {
 461   (void)cabsf(x);
 462   // expected-warning@-1 {{absolute value function 'cabsf' given an argument of type '_Complex double' but has parameter of type '_Complex float' which may cause truncation of value}}
 463   // expected-note@-2 {{use function 'cabs' instead}}
 464   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"cabs"
 465   (void)cabs(x);
 466   (void)cabsl(x);
 467
 468
 469   (void)__builtin_cabsf(x);
 470   // expected-warning@-1 {{absolute value function '__builtin_cabsf' given an argument of type '_Complex double' but has parameter of type '_Complex float' which may cause truncation of value}}
 471   // expected-note@-2 {{use function '__builtin_cabs' instead}}
 472   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"__builtin_cabs"
 473   (void)__builtin_cabs(x);
 474   (void)__builtin_cabsl(x);
 475 }
 476
 477 void test_complex_long_double(_Complex long double x) {
 478   (void)cabsf(x);
 479   // expected-warning@-1 {{absolute value function 'cabsf' given an argument of type '_Complex long double' but has parameter of type '_Complex float' which may cause truncation of value}}
 480   // expected-note@-2 {{use function 'cabsl' instead}}
 481   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:"cabsl"
 482   (void)cabs(x);
 483   // expected-warning@-1 {{absolute value function 'cabs' given an argument of type '_Complex long double' but has parameter of type '_Complex double' which may cause truncation of value}}
 484   // expected-note@-2 {{use function 'cabsl' instead}}
 485   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:"cabsl"
 486   (void)cabsl(x);
 487
 488   (void)__builtin_cabsf(x);
 489   // expected-warning@-1 {{absolute value function '__builtin_cabsf' given an argument of type '_Complex long double' but has parameter of type '_Complex float' which may cause truncation of value}}
 490   // expected-note@-2 {{use function '__builtin_cabsl' instead}}
 491   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:"__builtin_cabsl"
 492   (void)__builtin_cabs(x);
 493   // expected-warning@-1 {{absolute value function '__builtin_cabs' given an argument of type '_Complex long double' but has parameter of type '_Complex double' which may cause truncation of value}}
 494   // expected-note@-2 {{use function '__builtin_cabsl' instead}}
 495   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:"__builtin_cabsl"
 496   (void)__builtin_cabsl(x);
 497 }
 498
 499 void test_unsigned_int(unsigned int x) {
 500   (void)std::abs(x);
 501   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 502   // expected-note@-2 {{remove the call to 'std::abs' since unsigned values cannot be negative}}
 503   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:17}:""
 504
 505   (void)abs(x);
 506   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 507   // expected-note@-2 {{remove the call to 'abs' since unsigned values cannot be negative}}
 508   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:12}:""
 509   (void)labs(x);
 510   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 511   // expected-note@-2 {{remove the call to 'labs' since unsigned values cannot be negative}}
 512   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:""
 513   (void)llabs(x);
 514   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 515   // expected-note@-2 {{remove the call to 'llabs' since unsigned values cannot be negative}}
 516   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 517
 518   (void)fabsf(x);
 519   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 520   // expected-note@-2 {{remove the call to 'fabsf' since unsigned values cannot be negative}}
 521   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 522   (void)fabs(x);
 523   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 524   // expected-note@-2 {{remove the call to 'fabs' since unsigned values cannot be negative}}
 525   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:""
 526   (void)fabsl(x);
 527   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 528   // expected-note@-2 {{remove the call to 'fabsl' since unsigned values cannot be negative}}
 529   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 530
 531   (void)cabsf(x);
 532   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 533   // expected-note@-2 {{remove the call to 'cabsf' since unsigned values cannot be negative}}
 534   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 535   (void)cabs(x);
 536   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 537   // expected-note@-2 {{remove the call to 'cabs' since unsigned values cannot be negative}}
 538   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:""
 539   (void)cabsl(x);
 540   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 541   // expected-note@-2 {{remove the call to 'cabsl' since unsigned values cannot be negative}}
 542   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 543
 544   (void)__builtin_abs(x);
 545   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 546   // expected-note@-2 {{remove the call to '__builtin_abs' since unsigned values cannot be negative}}
 547   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:22}:""
 548   (void)__builtin_labs(x);
 549   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 550   // expected-note@-2 {{remove the call to '__builtin_labs' since unsigned values cannot be negative}}
 551   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:""
 552   (void)__builtin_llabs(x);
 553   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 554   // expected-note@-2 {{remove the call to '__builtin_llabs' since unsigned values cannot be negative}}
 555   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 556
 557   (void)__builtin_fabsf(x);
 558   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 559   // expected-note@-2 {{remove the call to '__builtin_fabsf' since unsigned values cannot be negative}}
 560   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 561   (void)__builtin_fabs(x);
 562   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 563   // expected-note@-2 {{remove the call to '__builtin_fabs' since unsigned values cannot be negative}}
 564   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:""
 565   (void)__builtin_fabsl(x);
 566   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 567   // expected-note@-2 {{remove the call to '__builtin_fabsl' since unsigned values cannot be negative}}
 568   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 569
 570   (void)__builtin_cabsf(x);
 571   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 572   // expected-note@-2 {{remove the call to '__builtin_cabsf' since unsigned values cannot be negative}}
 573   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 574   (void)__builtin_cabs(x);
 575   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 576   // expected-note@-2 {{remove the call to '__builtin_cabs' since unsigned values cannot be negative}}
 577   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:""
 578   (void)__builtin_cabsl(x);
 579   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned int' has no effect}}
 580   // expected-note@-2 {{remove the call to '__builtin_cabsl' since unsigned values cannot be negative}}
 581   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 582 }
 583
 584 void test_unsigned_long(unsigned long x) {
 585   (void)std::abs(x);
 586   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 587   // expected-note@-2 {{remove the call to 'std::abs' since unsigned values cannot be negative}}
 588   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:17}:""
 589
 590   (void)abs(x);
 591   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 592   // expected-note@-2 {{remove the call to 'abs' since unsigned values cannot be negative}}
 593   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:12}:""
 594   (void)labs(x);
 595   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 596   // expected-note@-2 {{remove the call to 'labs' since unsigned values cannot be negative}}
 597   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:""
 598   (void)llabs(x);
 599   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 600   // expected-note@-2 {{remove the call to 'llabs' since unsigned values cannot be negative}}
 601   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 602
 603   (void)fabsf(x);
 604   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 605   // expected-note@-2 {{remove the call to 'fabsf' since unsigned values cannot be negative}}
 606   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 607   (void)fabs(x);
 608   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 609   // expected-note@-2 {{remove the call to 'fabs' since unsigned values cannot be negative}}
 610   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:""
 611   (void)fabsl(x);
 612   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 613   // expected-note@-2 {{remove the call to 'fabsl' since unsigned values cannot be negative}}
 614   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 615
 616   (void)cabsf(x);
 617   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 618   // expected-note@-2 {{remove the call to 'cabsf' since unsigned values cannot be negative}}
 619   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 620   (void)cabs(x);
 621   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 622   // expected-note@-2 {{remove the call to 'cabs' since unsigned values cannot be negative}}
 623   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:13}:""
 624   (void)cabsl(x);
 625   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 626   // expected-note@-2 {{remove the call to 'cabsl' since unsigned values cannot be negative}}
 627   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:14}:""
 628
 629   (void)__builtin_abs(x);
 630   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 631   // expected-note@-2 {{remove the call to '__builtin_abs' since unsigned values cannot be negative}}
 632   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:22}:""
 633   (void)__builtin_labs(x);
 634   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 635   // expected-note@-2 {{remove the call to '__builtin_labs' since unsigned values cannot be negative}}
 636   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:""
 637   (void)__builtin_llabs(x);
 638   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 639   // expected-note@-2 {{remove the call to '__builtin_llabs' since unsigned values cannot be negative}}
 640   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 641
 642   (void)__builtin_fabsf(x);
 643   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 644   // expected-note@-2 {{remove the call to '__builtin_fabsf' since unsigned values cannot be negative}}
 645   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 646   (void)__builtin_fabs(x);
 647   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 648   // expected-note@-2 {{remove the call to '__builtin_fabs' since unsigned values cannot be negative}}
 649   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:""
 650   (void)__builtin_fabsl(x);
 651   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 652   // expected-note@-2 {{remove the call to '__builtin_fabsl' since unsigned values cannot be negative}}
 653   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 654
 655   (void)__builtin_cabsf(x);
 656   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 657   // expected-note@-2 {{remove the call to '__builtin_cabsf' since unsigned values cannot be negative}}
 658   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 659   (void)__builtin_cabs(x);
 660   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 661   // expected-note@-2 {{remove the call to '__builtin_cabs' since unsigned values cannot be negative}}
 662   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:23}:""
 663   (void)__builtin_cabsl(x);
 664   // expected-warning@-1 {{taking the absolute value of unsigned type 'unsigned long' has no effect}}
 665   // expected-note@-2 {{remove the call to '__builtin_cabsl' since unsigned values cannot be negative}}
 666   // CHECK: fix-it:"{{.*}}":{[[@LINE-3]]:9-[[@LINE-3]]:24}:""
 667 }
 668