1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3void* operator new (__SIZE_TYPE__ size, void* ptr);
4void* operator new[](__SIZE_TYPE__ size, void* ptr);
5
6typedef int __attribute__((address_space(1))) int_1;
7
8void test_new(void *p) {
9  (void)new int_1; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
10  (void)new __attribute__((address_space(1))) int; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
11  (void)new int_1 [5]; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
12  (void)new __attribute__((address_space(1))) int [5]; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
13
14  // Placement new
15  (void)new (p) int_1; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
16  (void)new (p) __attribute__((address_space(1))) int; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
17  (void)new (p) int_1 [5]; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
18  (void)new (p) __attribute__((address_space(1))) int [5]; // expected-error{{'new' cannot allocate objects of type 'int' in address space '1'}}
19}
20
21void test_delete(int_1 *ip1) {
22  delete ip1; // expected-error{{'delete' cannot delete objects of type 'int' in address space '1'}}
23  delete [] ip1; // expected-error{{'delete' cannot delete objects of type 'int' in address space '1'}}
24}
25