1*67e74705SXin Li // RUN: %clang_cc1 -std=c++98 %s -triple x86_64-linux-gnu -emit-llvm -o - -fexceptions -fcxx-exceptions -pedantic-errors | FileCheck %s 2*67e74705SXin Li // RUN: %clang_cc1 -std=c++11 %s -triple x86_64-linux-gnu -emit-llvm -o - -fexceptions -fcxx-exceptions -pedantic-errors | FileCheck %s 3*67e74705SXin Li // RUN: %clang_cc1 -std=c++14 %s -triple x86_64-linux-gnu -emit-llvm -o - -fexceptions -fcxx-exceptions -pedantic-errors | FileCheck %s 4*67e74705SXin Li // RUN: %clang_cc1 -std=c++1z %s -triple x86_64-linux-gnu -emit-llvm -o - -fexceptions -fcxx-exceptions -pedantic-errors | FileCheck %s 5*67e74705SXin Li 6*67e74705SXin Li // dr1748: 3.7 7*67e74705SXin Li 8*67e74705SXin Li // FIXME: __SIZE_TYPE__ expands to 'long long' on some targets. 9*67e74705SXin Li __extension__ typedef __SIZE_TYPE__ size_t; 10*67e74705SXin Li 11*67e74705SXin Li void *operator new(size_t, void *); 12*67e74705SXin Li void *operator new[](size_t, void *); 13*67e74705SXin Li 14*67e74705SXin Li struct X { X(); }; 15*67e74705SXin Li 16*67e74705SXin Li // The reserved placement allocation functions get inlined 17*67e74705SXin Li // even if we can't see their definitions. They do not 18*67e74705SXin Li // perform a null check. 19*67e74705SXin Li 20*67e74705SXin Li // CHECK-LABEL: define {{.*}} @_Z1fPv( 21*67e74705SXin Li // CHECK-NOT: call 22*67e74705SXin Li // CHECK-NOT: icmp{{.*}} null 23*67e74705SXin Li // CHECK-NOT: br i1 24*67e74705SXin Li // CHECK: call void @_ZN1XC1Ev( 25*67e74705SXin Li // CHECK: } f(void * p)26*67e74705SXin LiX *f(void *p) { return new (p) X; } 27*67e74705SXin Li 28*67e74705SXin Li // CHECK-LABEL: define {{.*}} @_Z1gPv( 29*67e74705SXin Li // CHECK-NOT: call 30*67e74705SXin Li // CHECK-NOT: icmp{{.*}} null 31*67e74705SXin Li // CHECK-NOT: br i1 32*67e74705SXin Li // CHECK: call void @_ZN1XC1Ev( 33*67e74705SXin Li // CHECK: br i1 34*67e74705SXin Li // CHECK: } g(void * p)35*67e74705SXin LiX *g(void *p) { return new (p) X[5]; } 36