clang/test/Sema/warn-double-promotion.c

   1 // RUN: %clang_cc1 -triple x86_64-apple-darwin -verify -fsyntax-only %s -Wdouble-promotion
   2
   3 float ReturnFloatFromDouble(double d) {
   4   return d;
   5 }
   6
   7 float ReturnFloatFromLongDouble(long double ld) {
   8   return ld;
   9 }
  10
  11 double ReturnDoubleFromLongDouble(long double ld) {
  12   return ld;
  13 }
  14
  15 double ReturnDoubleFromFloat(float f) {
  16   return f;  //expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
  17 }
  18
  19 long double ReturnLongDoubleFromFloat(float f) {
  20   return f;  //expected-warning{{implicit conversion increases floating-point precision: 'float' to 'long double'}}
  21 }
  22
  23 long double ReturnLongDoubleFromDouble(double d) {
  24   return d;  //expected-warning{{implicit conversion increases floating-point precision: 'double' to 'long double'}}
  25 }
  26
  27 void Assignment(float f, double d, long double ld) {
  28   d = f;  //expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
  29   ld = f; //expected-warning{{implicit conversion increases floating-point precision: 'float' to 'long double'}}
  30   ld = d; //expected-warning{{implicit conversion increases floating-point precision: 'double' to 'long double'}}
  31   f = d;
  32   f = ld;
  33   d = ld;
  34 }
  35
  36 extern void DoubleParameter(double);
  37 extern void LongDoubleParameter(long double);
  38
  39 void ArgumentPassing(float f, double d) {
  40   DoubleParameter(f); // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
  41   LongDoubleParameter(f); // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'long double'}}
  42   LongDoubleParameter(d); // expected-warning{{implicit conversion increases floating-point precision: 'double' to 'long double'}}
  43 }
  44
  45 void BinaryOperator(float f, double d, long double ld) {
  46   f = f * d; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
  47   f = d * f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
  48   f = f * ld; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'long double'}}
  49   f = ld * f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'long double'}}
  50   d = d * ld; // expected-warning{{implicit conversion increases floating-point precision: 'double' to 'long double'}}
  51   d = ld * d; // expected-warning{{implicit conversion increases floating-point precision: 'double' to 'long double'}}
  52 }
  53
  54 void MultiplicationAssignment(float f, double d, long double ld) {
  55   d *= f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
  56   ld *= f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'long double'}}
  57   ld *= d; // expected-warning{{implicit conversion increases floating-point precision: 'double' to 'long double'}}
  58
  59   // FIXME: These cases should produce warnings as above.
  60   f *= d;
  61   f *= ld;
  62   d *= ld;
  63 }
  64
  65 // FIXME: As with a binary operator, the operands to the conditional operator are
  66 // converted to a common type and should produce a warning.
  67 void ConditionalOperator(float f, double d, long double ld, int i) {
  68   f = i ? f : d;
  69   f = i ? d : f;
  70   f = i ? f : ld;
  71   f = i ? ld : f;
  72   d = i ? d : ld;
  73   d = i ? ld : d;
  74 }