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
|
// RUN: %clang_cc1 -fsyntax-only -Wfloat-equal -verify %s
int f1(float x, float y) {
return x == y; // expected-warning {{comparing floating point with ==}}
}
int f2(float x, float y) {
return x != y; // expected-warning {{comparing floating point with ==}}
}
int f3(float x) {
return x == x; // no-warning
}
// 0.0 can be represented exactly, so don't warn.
int f4(float x) {
return x == 0.0; // no-warning {{comparing}}
}
int f5(float x) {
return x == __builtin_inf(); // no-warning
}
// The literal is a double that can't be represented losslessly as a float.
int tautological_FP_compare(float x) {
return x == 3.14159; // expected-warning {{floating-point comparison is always false}}
}
int tautological_FP_compare_inverse(float x) {
return x != 3.14159; // expected-warning {{floating-point comparison is always true}}
}
// The literal is a double that can be represented losslessly as a long double,
// but this might not be the comparison what was intended.
int not_tautological_FP_compare(long double f) {
return f == 0.1; // expected-warning {{comparing floating point with ==}}
}
int tautological_FP_compare_commute(float f) {
return 0.3 == f; // expected-warning {{floating-point comparison is always false}}
}
int tautological_FP_compare_commute_inverse(float f) {
return 0.3 != f; // expected-warning {{floating-point comparison is always true}}
}
int tautological_FP_compare_explicit_upcast(float f) {
return 0.3 == (double) f; // expected-warning {{floating-point comparison is always false}}
}
int tautological_FP_compare_explicit_downcast(double d) {
return 0.3 == (float) d; // expected-warning {{floating-point comparison is always false}}
}
int tautological_FP_compare_ignore_parens(float f) {
return f == (0.3); // expected-warning {{floating-point comparison is always false}}
}
#define CST 0.3
int tautological_FP_compare_macro(float f) {
return f == CST; // expected-warning {{floating-point comparison is always false}}
}
|
