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
|
// RUN: %target-typecheck-verify-swift
//////////////////////////////////////////////////////////////////////////////////////////////////
/////// Comparison with '.nan' static property instead of using '.isNaN' instance property ///////
//////////////////////////////////////////////////////////////////////////////////////////////////
// One side is '.nan' and the other isn't.
// Using '==' or '!=' for comparison should suggest using '.isNaN'.
let double: Double = 0.0
_ = double == .nan // expected-warning {{comparison with '.nan' using '==' is always false, use 'double.isNaN' to check if 'double' is not a number}}
_ = double != .nan // expected-warning {{comparison with '.nan' using '!=' is always true, use '!double.isNaN' to check if 'double' is a number}}
_ = 0.0 == .nan // // expected-warning {{comparison with '.nan' using '==' is always false, use '0.0.isNaN' to check if '0.0' is not a number}}
// One side is '.nan' and the other isn't. Using '>=', '>', '<', '<=' for comparison:
// We can't suggest using '.isNaN' here.
_ = 0.0 >= .nan // expected-warning {{comparison with '.nan' using '>=' is always false}}
_ = .nan > 1.1 // expected-warning {{comparison with '.nan' using '>' is always false}}
_ = .nan < 2.2 // expected-warning {{comparison with '.nan' using '<' is always false}}
_ = 3.3 <= .nan // expected-warning {{comparison with '.nan' using '<=' is always false}}
// Both sides are '.nan':
// We can't suggest using '.isNaN' here.
_ = Double.nan == Double.nan // expected-warning {{'.nan' == '.nan' is always false}}
_ = Double.nan != Double.nan // expected-warning {{'.nan' != '.nan' is always true}}
_ = Double.nan < Double.nan // expected-warning {{'.nan' < '.nan' is always false}}
_ = Double.nan <= Double.nan // expected-warning {{'.nan' <= '.nan' is always false}}
_ = Double.nan > Double.nan // expected-warning {{'.nan' > '.nan' is always false}}
_ = Double.nan >= Double.nan // expected-warning {{'.nan' >= '.nan' is always false}}
|
