Mercurial > hg > CbC > CbC_llvm

annotate clang/test/CodeGenCXX/stack-reuse-miscompile.cpp @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 0572611fdcc8
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -triple armv7l-unknown-linux-gnueabihf -emit-llvm -O1 -disable-llvm-passes -std=c++03 %s -o - | FileCheck %s --implicit-check-not=llvm.lifetime
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 class S {
anatofuz
parents:
diff changeset
4 char *ptr;
anatofuz
parents:
diff changeset
5 unsigned int len;
anatofuz
parents:
diff changeset
6 };
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 class T {
anatofuz
parents:
diff changeset
9 S left;
anatofuz
parents:
diff changeset
10 S right;
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 public:
anatofuz
parents:
diff changeset
13 T(const char s[]);
anatofuz
parents:
diff changeset
14 T(S);
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 T concat(const T &Suffix) const;
anatofuz
parents:
diff changeset
17 const char * str() const;
anatofuz
parents:
diff changeset
18 };
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 const char * f(S s)
anatofuz
parents:
diff changeset
21 {
anatofuz
parents:
diff changeset
22 // It's essential that the lifetimes of all three T temporaries here are
anatofuz
parents:
diff changeset
23 // overlapping. They must all remain alive through the call to str().
anatofuz
parents:
diff changeset
24 //
anatofuz
parents:
diff changeset
25 // CHECK: [[T1:%.*]] = alloca %class.T, align 4
anatofuz
parents:
diff changeset
26 // CHECK: [[T2:%.*]] = alloca %class.T, align 4
anatofuz
parents:
diff changeset
27 // CHECK: [[T3:%.*]] = alloca %class.T, align 4
anatofuz
parents:
diff changeset
28 //
anatofuz
parents:
diff changeset
29 // FIXME: We could defer starting the lifetime of the return object of concat
anatofuz
parents:
diff changeset
30 // until the call.
anatofuz
parents:
diff changeset
31 // CHECK: [[T1i8:%.*]] = bitcast %class.T* [[T1]] to i8*
anatofuz
parents:
diff changeset
32 // CHECK: call void @llvm.lifetime.start.p0i8(i64 16, i8* [[T1i8]])
anatofuz
parents:
diff changeset
33 //
anatofuz
parents:
diff changeset
34 // CHECK: [[T2i8:%.*]] = bitcast %class.T* [[T2]] to i8*
anatofuz
parents:
diff changeset
35 // CHECK: call void @llvm.lifetime.start.p0i8(i64 16, i8* [[T2i8]])
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
36 // CHECK: [[T4:%.*]] = call %class.T* @_ZN1TC1EPKc(%class.T* {{[^,]*}} [[T2]], i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0))
150
anatofuz
parents:
diff changeset
37 //
anatofuz
parents:
diff changeset
38 // CHECK: [[T3i8:%.*]] = bitcast %class.T* [[T3]] to i8*
anatofuz
parents:
diff changeset
39 // CHECK: call void @llvm.lifetime.start.p0i8(i64 16, i8* [[T3i8]])
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
40 // CHECK: [[T5:%.*]] = call %class.T* @_ZN1TC1E1S(%class.T* {{[^,]*}} [[T3]], [2 x i32] %{{.*}})
150
anatofuz
parents:
diff changeset
41 //
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
42 // CHECK: call void @_ZNK1T6concatERKS_(%class.T* sret(%class.T) align 4 [[T1]], %class.T* {{[^,]*}} [[T2]], %class.T* nonnull align 4 dereferenceable(16) [[T3]])
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
43 // CHECK: [[T6:%.*]] = call i8* @_ZNK1T3strEv(%class.T* {{[^,]*}} [[T1]])
150
anatofuz
parents:
diff changeset
44 //
anatofuz
parents:
diff changeset
45 // CHECK: call void @llvm.lifetime.end.p0i8(
anatofuz
parents:
diff changeset
46 // CHECK: call void @llvm.lifetime.end.p0i8(
anatofuz
parents:
diff changeset
47 // CHECK: call void @llvm.lifetime.end.p0i8(
anatofuz
parents:
diff changeset
48 // CHECK: ret i8* [[T6]]
anatofuz
parents:
diff changeset
49
anatofuz
parents:
diff changeset
50 return T("[").concat(T(s)).str();
anatofuz
parents:
diff changeset
51 }
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 // CHECK: declare {{.*}}llvm.lifetime.start
anatofuz
parents:
diff changeset
54 // CHECK: declare {{.*}}llvm.lifetime.end