1// RUN: %clang_cc1 -fsyntax-only -verify %s -triple=i686-pc-linux-gnu -std=c++11 2 3using size_t = decltype(sizeof(0)); 4struct noreturn_t {} constexpr noreturn = {}; 5 6void *operator new [[noreturn]] (size_t, noreturn_t); 7void operator delete [[noreturn]] (void*, noreturn_t); 8 9void good_news() 10{ 11 auto p = new int[2][[]]; 12 auto q = new int[[]][2]; 13 auto r = new int*[[]][2][[]]; 14 auto s = new (int(*[[]])[2][[]]); 15} 16 17void bad_news(int *ip) 18{ 19 // attribute-specifiers can go almost anywhere in a new-type-id... 20 auto r = new int[[]{return 1;}()][2]; // expected-error {{expected ']'}} 21 auto s = new int*[[]{return 1;}()][2]; // expected-error {{expected ']'}} 22 // ... but not here: 23 auto t = new (int(*)[[]]); // expected-error {{an attribute list cannot appear here}} 24 auto u = new (int(*)[[]{return 1;}()][2]); // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}} \ 25 expected-error {{variably modified type}} \ 26 expected-error {{a lambda expression may not appear inside of a constant expression}} 27} 28 29void good_deletes() 30{ 31 delete [&]{ return (int*)0; }(); 32} 33 34void bad_deletes() 35{ 36 // 'delete []' is always array delete, per [expr.delete]p1. 37 // FIXME: Give a better diagnostic. 38 delete []{ return (int*)0; }(); // expected-error {{expected expression}} 39} 40