Clang Project

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