Single- and zero-element initializer lists to scalars are list-initializations. Fixes PR12118.

llvm-svn: 151666
This commit is contained in:
Sebastian Redl 2012-02-28 23:36:38 +00:00
parent 42e94d11a1
commit 12edeb0899
2 changed files with 43 additions and 0 deletions

View File

@ -4404,6 +4404,7 @@ TryListConversion(Sema &S, InitListExpr *From, QualType ToType,
Result.setStandard();
Result.Standard.setAsIdentityConversion();
}
Result.setListInitializationSequence();
return Result;
}

View File

@ -3,6 +3,38 @@
struct one { char c[1]; };
struct two { char c[2]; };
namespace std {
typedef decltype(sizeof(int)) size_t;
// libc++'s implementation
template <class _E>
class initializer_list
{
const _E* __begin_;
size_t __size_;
initializer_list(const _E* __b, size_t __s)
: __begin_(__b),
__size_(__s)
{}
public:
typedef _E value_type;
typedef const _E& reference;
typedef const _E& const_reference;
typedef size_t size_type;
typedef const _E* iterator;
typedef const _E* const_iterator;
initializer_list() : __begin_(nullptr), __size_(0) {}
size_t size() const {return __size_;}
const _E* begin() const {return __begin_;}
const _E* end() const {return __begin_ + __size_;}
};
}
namespace integral {
void initialization() {
@ -65,3 +97,13 @@ namespace integral {
new int({0}); // expected-error {{cannot initialize}}
}
}
namespace PR12118 {
void test() {
one f(std::initializer_list<int>);
two f(int);
// to initializer_list is preferred
static_assert(sizeof(f({0})) == sizeof(one), "bad overload");
}
}