1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 -fsyntax-only -std=c++11 -triple x86_64-apple-macosx10.6.7 -verify %s 2191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 3191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// Verify that narrowing conversions in initializer lists cause errors in C++0x 4191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// mode. 5191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 6191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinvoid std_example() { 7191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin int x = 999; // x is not a constant expression 8191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin const int y = 999; 9191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin const int z = 99; 10191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin char c1 = x; // OK, though it might narrow (in this case, it does narrow) 116bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines char c2{x}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 126bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines char c3{y}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} expected-warning {{changes value}} 13191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin char c4{z}; // OK: no narrowing needed 14191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin unsigned char uc1 = {5}; // OK: no narrowing needed 156bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unsigned char uc2 = {-1}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 166bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unsigned int ui1 = {-1}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 17191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin signed int si1 = 186bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines { (unsigned int)-1 }; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 196bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines int ii = {2.0}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 206bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines float f1 { x }; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 21191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin float f2 { 7 }; // OK: 7 can be exactly represented as a float 22191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin int f(int); 23191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin int a[] = 24191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin { 2, f(2), f(2.0) }; // OK: the double-to-int conversion is not at the top level 25191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin} 26191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 27191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// Test each rule individually. 28191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 29191591336f639dad1504e863733fb831645c1644Jeffrey Yasskintemplate<typename T> 30191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinstruct Agg { 31191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin T t; 32191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin}; 33191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 344c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smithtemplate<typename T> 354c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smithstruct Convert { 364c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith constexpr Convert(T v) : v(v) {} 374c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith constexpr operator T() const { return v; } 384c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith T v; 394c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith}; 404c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smithtemplate<typename T> Convert<T> ConvertVar(); 414c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith 42191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// C++0x [dcl.init.list]p7: A narrowing conversion is an implicit conversion 43191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// 44191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// * from a floating-point type to an integer type, or 45191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 46191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinvoid float_to_int() { 476bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> a1 = {1.0F}; // expected-error {{type 'float' cannot be narrowed to 'char'}} expected-note {{silence}} 486bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> a2 = {1.0}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 496bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> a3 = {1.0L}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 50191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 51191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin float f = 1.0; 52191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin double d = 1.0; 53191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin long double ld = 1.0; 546bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> a4 = {f}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 556bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> a5 = {d}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 566bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> a6 = {ld}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 574c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith 586bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> ce1 = { Convert<float>(1.0) }; // expected-error {{type 'float' cannot be narrowed to 'char'}} expected-note {{silence}} 596bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> ce2 = { ConvertVar<double>() }; // expected-error {{type 'double' cannot be narrowed to 'char'}} expected-note {{silence}} 600e2c34f92f00628d48968dfea096d36381f494cbStephen Hines 610e2c34f92f00628d48968dfea096d36381f494cbStephen Hines bool b{1.0}; // expected-error {{type 'double' cannot be narrowed to 'bool'}} expected-note {{silence}} 620e2c34f92f00628d48968dfea096d36381f494cbStephen Hines Agg<bool> ab = {0.0}; // expected-error {{type 'double' cannot be narrowed to 'bool'}} expected-note {{silence}} 63191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin} 64191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 65191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// * from long double to double or float, or from double to float, except where 66191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// the source is a constant expression and the actual value after conversion 67191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// is within the range of values that can be represented (even if it cannot be 68191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// represented exactly), or 69191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 70191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinvoid shrink_float() { 71191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // These aren't constant expressions. 72191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin float f = 1.0; 73191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin double d = 1.0; 74191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin long double ld = 1.0; 75191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 76191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Variables. 77191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<float> f1 = {f}; // OK (no-op) 786bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> f2 = {d}; // expected-error {{non-constant-expression cannot be narrowed from type 'double' to 'float'}} expected-note {{silence}} 796bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> f3 = {ld}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 80191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Exact constants. 81191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<float> f4 = {1.0}; // OK (double constant represented exactly) 82191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<float> f5 = {1.0L}; // OK (long double constant represented exactly) 83191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Inexact but in-range constants. 84191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<float> f6 = {0.1}; // OK (double constant in range but rounded) 85191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<float> f7 = {0.1L}; // OK (long double constant in range but rounded) 86191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Out of range constants. 876bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> f8 = {1E50}; // expected-error {{constant expression evaluates to 1.000000e+50 which cannot be narrowed to type 'float'}} expected-note {{silence}} 886bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> f9 = {1E50L}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 89191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // More complex constant expression. 90191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin constexpr long double e40 = 1E40L, e30 = 1E30L, e39 = 1E39L; 91191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<float> f10 = {e40 - 5 * e39 + e30 - 5 * e39}; // OK 92191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 93191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Variables. 94191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<double> d1 = {f}; // OK (widening) 95191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<double> d2 = {d}; // OK (no-op) 966bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<double> d3 = {ld}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 97191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Exact constant. 98191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<double> d4 = {1.0L}; // OK (long double constant represented exactly) 99191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Inexact but in-range constant. 100191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<double> d5 = {0.1L}; // OK (long double constant in range but rounded) 101191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Out of range constant. 1026bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<double> d6 = {1E315L}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 103191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // More complex constant expression. 104191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin constexpr long double e315 = 1E315L, e305 = 1E305L, e314 = 1E314L; 105191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<double> d7 = {e315 - 5 * e314 + e305 - 5 * e314}; // OK 1064c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith 1076bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> ce1 = { Convert<double>(1e300) }; // expected-error {{constant expression evaluates to 1.000000e+300 which cannot be narrowed to type 'float'}} expected-note {{silence}} 1086bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<double> ce2 = { ConvertVar<long double>() }; // expected-error {{non-constant-expression cannot be narrowed from type 'long double' to 'double'}} expected-note {{silence}} 109191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin} 110191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 111191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// * from an integer type or unscoped enumeration type to a floating-point type, 112191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// except where the source is a constant expression and the actual value after 113191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// conversion will fit into the target type and will produce the original 114191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// value when converted back to the original type, or 115191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinvoid int_to_float() { 116191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Not a constant expression. 117191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin char c = 1; 118191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 119191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Variables. Yes, even though all char's will fit into any floating type. 1206bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> f1 = {c}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1216bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<double> f2 = {c}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1226bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<long double> f3 = {c}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 123191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 124191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Constants. 125191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<float> f4 = {12345678}; // OK (exactly fits in a float) 1266bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> f5 = {123456789}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1274c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith 1286bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<float> ce1 = { Convert<int>(123456789) }; // expected-error {{constant expression evaluates to 123456789 which cannot be narrowed to type 'float'}} expected-note {{silence}} 1296bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<double> ce2 = { ConvertVar<long long>() }; // expected-error {{non-constant-expression cannot be narrowed from type 'long long' to 'double'}} expected-note {{silence}} 130191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin} 131191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 132191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// * from an integer type or unscoped enumeration type to an integer type that 133191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// cannot represent all the values of the original type, except where the 134191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// source is a constant expression and the actual value after conversion will 135191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// fit into the target type and will produce the original value when converted 136191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// back to the original type. 137191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinvoid shrink_int() { 138191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Not a constant expression. 139191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin short s = 1; 140191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin unsigned short us = 1; 1416bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> c1 = {s}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1426bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<unsigned short> s1 = {s}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1436bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<short> s2 = {us}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 144191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 145191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // "that cannot represent all the values of the original type" means that the 146191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // validity of the program depends on the relative sizes of integral types. 147191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // This test compiles with -m64, so sizeof(int)<sizeof(long)==sizeof(long 148191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // long). 149191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin long l1 = 1; 1506bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<int> i1 = {l1}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 151191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin long long ll = 1; 152191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<long> l2 = {ll}; // OK 153191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 154191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin // Constants. 155191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<char> c2 = {127}; // OK 1566bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> c3 = {300}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} expected-warning {{changes value}} 157191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 158191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin Agg<int> i2 = {0x7FFFFFFFU}; // OK 1596bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<int> i3 = {0x80000000U}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1606bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<unsigned int> i4 = {-0x80000000L}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1616d0ee8d77b6d37fa0dec1d55aa13429a6608e7a9Jeffrey Yasskin 1626d0ee8d77b6d37fa0dec1d55aa13429a6608e7a9Jeffrey Yasskin // Bool is also an integer type, but conversions to it are a different AST 1636d0ee8d77b6d37fa0dec1d55aa13429a6608e7a9Jeffrey Yasskin // node. 1646d0ee8d77b6d37fa0dec1d55aa13429a6608e7a9Jeffrey Yasskin Agg<bool> b1 = {0}; // OK 1656d0ee8d77b6d37fa0dec1d55aa13429a6608e7a9Jeffrey Yasskin Agg<bool> b2 = {1}; // OK 1666bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<bool> b3 = {-1}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 167b89d5ed785e2eb7dd64aa38d481d939155f62c41Jeffrey Yasskin 168b89d5ed785e2eb7dd64aa38d481d939155f62c41Jeffrey Yasskin // Conversions from pointers to booleans aren't narrowing conversions. 169651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Agg<bool>* ptr = &b1; 170651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines Agg<bool> b = {ptr}; // OK 1714c3fc9b38d3723f73e4ded594cebf38c76f91d93Richard Smith 1726bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<short> ce1 = { Convert<int>(100000) }; // expected-error {{constant expression evaluates to 100000 which cannot be narrowed to type 'short'}} expected-note {{silence}} expected-warning {{changes value from 100000 to -31072}} 1736bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<char> ce2 = { ConvertVar<short>() }; // expected-error {{non-constant-expression cannot be narrowed from type 'short' to 'char'}} expected-note {{silence}} 174cd65f4903dc737d92655a0cf72755c16831ae668Richard Smith 175cd65f4903dc737d92655a0cf72755c16831ae668Richard Smith // Negative -> larger unsigned type. 1766bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unsigned long long ll1 = { -1 }; // expected-error {{ -1 which cannot be narrowed}} expected-note {{silence}} 177cd65f4903dc737d92655a0cf72755c16831ae668Richard Smith unsigned long long ll2 = { 1 }; // OK 1786bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unsigned long long ll3 = { s }; // expected-error {{cannot be narrowed from type 'short'}} expected-note {{silence}} 179cd65f4903dc737d92655a0cf72755c16831ae668Richard Smith unsigned long long ll4 = { us }; // OK 1806bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unsigned long long ll5 = { ll }; // expected-error {{cannot be narrowed from type 'long long'}} expected-note {{silence}} 1816bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<unsigned long long> ll6 = { -1 }; // expected-error {{ -1 which cannot be narrowed}} expected-note {{silence}} 182cd65f4903dc737d92655a0cf72755c16831ae668Richard Smith Agg<unsigned long long> ll7 = { 18446744073709551615ULL }; // OK 1836bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<unsigned long long> ll8 = { __int128(18446744073709551615ULL) + 1 }; // expected-error {{ 18446744073709551616 which cannot be narrowed}} expected-note {{silence}} expected-warning {{changes value}} 184cd65f4903dc737d92655a0cf72755c16831ae668Richard Smith signed char c = 'x'; 1856bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unsigned short usc1 = { c }; // expected-error {{non-constant-expression cannot be narrowed from type 'signed char'}} expected-note {{silence}} 186cd65f4903dc737d92655a0cf72755c16831ae668Richard Smith unsigned short usc2 = { (signed char)'x' }; // OK 1876bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unsigned short usc3 = { (signed char)-1 }; // expected-error {{ -1 which cannot be narrowed}} expected-note {{silence}} 188191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin} 189191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 190191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// Be sure that type- and value-dependent expressions in templates get the error 191191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin// too. 192191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 193191591336f639dad1504e863733fb831645c1644Jeffrey Yasskintemplate<int I, typename T> 194191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinvoid maybe_shrink_int(T t) { 1956bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<short> s1 = {t}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} 1966bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<short> s2 = {I}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} expected-warning {{changes value}} 1976bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<T> t2 = {700}; // expected-error {{ cannot be narrowed }} expected-note {{silence}} expected-warning {{changes value}} 198191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin} 199191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin 200191591336f639dad1504e863733fb831645c1644Jeffrey Yasskinvoid test_template() { 201191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin maybe_shrink_int<15>((int)3); // expected-note {{in instantiation}} 202191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin maybe_shrink_int<70000>((char)3); // expected-note {{in instantiation}} 203191591336f639dad1504e863733fb831645c1644Jeffrey Yasskin} 2049906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskin 2059906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskin 2069906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskin// We don't want qualifiers on the types in the diagnostic. 2079906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskin 2089906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskinvoid test_qualifiers(int i) { 2099906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskin const int j = i; 2106bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines struct {const unsigned char c;} c1 = {j}; // expected-error {{from type 'int' to 'unsigned char' in}} expected-note {{silence}} 2119906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskin // Template arguments make it harder to avoid printing qualifiers: 2126bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines Agg<const unsigned char> c2 = {j}; // expected-error {{from type 'int' to 'const unsigned char' in}} expected-note {{silence}} 2139906149972906e340f512a60f72a8676748f24d8Jeffrey Yasskin} 214f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor 215f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor// Test SFINAE checks. 216f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregortemplate<unsigned> struct Value { }; 217f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor 218f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregortemplate<typename T> 219f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregorint &check_narrowed(Value<sizeof((T){1.1})>); 220f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor 221f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregortemplate<typename T> 222f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregorfloat &check_narrowed(...); 223f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor 224f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregorvoid test_narrowed(Value<sizeof(int)> vi, Value<sizeof(double)> vd) { 225f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor int &ir = check_narrowed<double>(vd); 226f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor float &fr = check_narrowed<int>(vi); 227f3c82c5f5c0321babf054983c29ad84cc90244f7Douglas Gregor} 228