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