1 // RUN: %clang_cc1 -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 } 75
