69cd776e1e
arguments. * Adds 'nonnull' and 'dereferenceable(N)' to 'this' pointer arguments * Gates 'nonnull' on -f(no-)delete-null-pointer-checks * Introduces this-nonnull.cpp and microsoft-abi-this-nullable.cpp tests to explicitly test the behavior of this change * Refactors hundreds of over-constrained clang tests to permit these attributes, where needed * Updates Clang12 patch notes mentioning this change Reviewed-by: rsmith, jdoerfert Differential Revision: https://reviews.llvm.org/D17993
61 lines
1.9 KiB
C++
61 lines
1.9 KiB
C++
// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s
|
|
|
|
struct Field {
|
|
Field();
|
|
~Field();
|
|
};
|
|
|
|
struct Base {
|
|
Base();
|
|
~Base();
|
|
};
|
|
|
|
struct A : Base {
|
|
A();
|
|
~A();
|
|
|
|
virtual void f();
|
|
|
|
Field field;
|
|
};
|
|
|
|
// CHECK-LABEL: define void @_ZN1AC2Ev(%struct.A* {{[^,]*}} %this) unnamed_addr
|
|
// CHECK: call void @_ZN4BaseC2Ev(
|
|
// CHECK: store i32 (...)** bitcast (i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTV1A, i32 0, inrange i32 0, i32 2) to i32 (...)**)
|
|
// CHECK: call void @_ZN5FieldC1Ev(
|
|
// CHECK: ret void
|
|
A::A() { }
|
|
|
|
// CHECK-LABEL: define void @_ZN1AD2Ev(%struct.A* {{[^,]*}} %this) unnamed_addr
|
|
// CHECK: store i32 (...)** bitcast (i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTV1A, i32 0, inrange i32 0, i32 2) to i32 (...)**)
|
|
// CHECK: call void @_ZN5FieldD1Ev(
|
|
// CHECK: call void @_ZN4BaseD2Ev(
|
|
// CHECK: ret void
|
|
A::~A() { }
|
|
|
|
struct B : Base {
|
|
virtual void f();
|
|
|
|
Field field;
|
|
};
|
|
|
|
void f() { B b; }
|
|
|
|
// CHECK-LABEL: define linkonce_odr void @_ZN1BC1Ev(%struct.B* {{[^,]*}} %this) unnamed_addr
|
|
// CHECK: call void @_ZN1BC2Ev(
|
|
|
|
// CHECK-LABEL: define linkonce_odr void @_ZN1BD1Ev(%struct.B* {{[^,]*}} %this) unnamed_addr
|
|
// CHECK: call void @_ZN1BD2Ev(
|
|
|
|
// CHECK-LABEL: define linkonce_odr void @_ZN1BC2Ev(%struct.B* {{[^,]*}} %this) unnamed_addr
|
|
// CHECK: call void @_ZN4BaseC2Ev(
|
|
// CHECK: store i32 (...)** bitcast (i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTV1B, i32 0, inrange i32 0, i32 2) to i32 (...)**)
|
|
// CHECK: call void @_ZN5FieldC1Ev
|
|
// CHECK: ret void
|
|
|
|
// CHECK-LABEL: define linkonce_odr void @_ZN1BD2Ev(%struct.B* {{[^,]*}} %this) unnamed_addr
|
|
// CHECK: store i32 (...)** bitcast (i8** getelementptr inbounds ({ [3 x i8*] }, { [3 x i8*] }* @_ZTV1B, i32 0, inrange i32 0, i32 2) to i32 (...)**)
|
|
// CHECK: call void @_ZN5FieldD1Ev(
|
|
// CHECK: call void @_ZN4BaseD2Ev(
|
|
// CHECK: ret void
|