blob: d7bec4c73e5baebd28d13a6c5c69fbbbd417edc8 [file] [log] [blame]
Chandler Carrutha5b93322011-02-17 11:05:49 +00001// RUN: %clang_cc1 -fsyntax-only -Wliteral-conversion -verify %s
2
3void foo(int y);
4
5// Warn when a literal float or double is assigned or bound to an integer.
6void test0() {
7 // Float
David Blaikiebe0ee872012-05-15 16:56:36 +00008 int y0 = 1.2222F; // expected-warning {{implicit conversion from 'float' to 'int' changes value from 1.2222 to 1}}
9 int y1 = (1.2222F); // expected-warning {{implicit conversion from 'float' to 'int' changes value from 1.2222 to 1}}
10 int y2 = (((1.2222F))); // expected-warning {{implicit conversion from 'float' to 'int' changes value from 1.2222 to 1}}
11 int y3 = 12E-1F; // expected-warning {{implicit conversion from 'float' to 'int' changes value from 1.2 to 1}}
12 int y4 = 1.23E1F; // expected-warning {{implicit conversion from 'float' to 'int' changes value from 12.3 to 12}}
Chandler Carrutha5b93322011-02-17 11:05:49 +000013 // Double
David Blaikiebe0ee872012-05-15 16:56:36 +000014 int y5 = 1.2222; // expected-warning {{implicit conversion from 'double' to 'int' changes value from 1.2222 to 1}}
15 int y6 = 12E-1; // expected-warning {{implicit conversion from 'double' to 'int' changes value from 1.2 to 1}}
16 int y7 = 1.23E1; // expected-warning {{implicit conversion from 'double' to 'int' changes value from 12.3 to 12}}
17 int y8 = (1.23E1); // expected-warning {{implicit conversion from 'double' to 'int' changes value from 12.3 to 12}}
Chandler Carrutha5b93322011-02-17 11:05:49 +000018
19 // Test assignment to an existing variable.
David Blaikiebe0ee872012-05-15 16:56:36 +000020 y8 = 2.22F; // expected-warning {{implicit conversion from 'float' to 'int' changes value from 2.22 to 2}}
Chandler Carrutha5b93322011-02-17 11:05:49 +000021
22 // Test direct initialization.
David Blaikiebe0ee872012-05-15 16:56:36 +000023 int y9(1.23F); // expected-warning {{implicit conversion from 'float' to 'int' changes value from 1.23 to 1}}
Chandler Carrutha5b93322011-02-17 11:05:49 +000024
25 // Test passing a literal floating-point value to a function that takes an integer.
David Blaikiebe0ee872012-05-15 16:56:36 +000026 foo(1.2F); // expected-warning {{implicit conversion from 'float' to 'int' changes value from 1.2 to 1}}
Chandler Carrutha5b93322011-02-17 11:05:49 +000027
David Blaikiebe0ee872012-05-15 16:56:36 +000028 int y10 = -1.2F; // expected-warning {{implicit conversion from 'float' to 'int' changes value from 1.2 to 1}}
Chandler Carrutha5b93322011-02-17 11:05:49 +000029
David Blaikiebe0ee872012-05-15 16:56:36 +000030 // -Wliteral-conversion does NOT catch const values.
Chandler Carrutha5b93322011-02-17 11:05:49 +000031 // (-Wconversion DOES catch them.)
32 static const float sales_tax_rate = .095F;
33 int z = sales_tax_rate;
34 foo(sales_tax_rate);
35
36 // Expressions, such as those that indicate rounding-down, should NOT produce warnings.
37 int x = 24 * 0.5;
38 int y = (24*60*60) * 0.25;
39 int pennies = 123.45 * 100;
40}