blob: b809cd3fadcccd4d383b0179d13171d20abe1bf9 [file] [log] [blame]
Douglas Gregor5666d362011-04-15 19:46:20 +00001// 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}