annotate debuginfo-tests/dexter-tests/asan-deque.cpp @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // REQUIRES: !asan, lldb
anatofuz
parents:
diff changeset
2 // UNSUPPORTED: system-windows
anatofuz
parents:
diff changeset
3 // Zorg configures the ASAN stage2 bots to not build the asan
anatofuz
parents:
diff changeset
4 // compiler-rt. Only run this test on non-asanified configurations.
anatofuz
parents:
diff changeset
5 // UNSUPPORTED: apple-lldb-pre-1000
anatofuz
parents:
diff changeset
6
anatofuz
parents:
diff changeset
7 // XFAIL: lldb
anatofuz
parents:
diff changeset
8 // lldb-8, even outside of dexter, will sometimes trigger an asan fault in
anatofuz
parents:
diff changeset
9 // the debugged process and generally freak out.
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 // RUN: %dexter --fail-lt 1.0 -w \
anatofuz
parents:
diff changeset
12 // RUN: --builder 'clang' --debugger 'lldb' \
anatofuz
parents:
diff changeset
13 // RUN: --cflags "-O1 -glldb -fsanitize=address -arch x86_64" \
anatofuz
parents:
diff changeset
14 // RUN: --ldflags="-fsanitize=address" -- %s
anatofuz
parents:
diff changeset
15 #include <deque>
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 struct A {
anatofuz
parents:
diff changeset
18 int a;
anatofuz
parents:
diff changeset
19 A(int a) : a(a) {}
anatofuz
parents:
diff changeset
20 A() : a(0) {}
anatofuz
parents:
diff changeset
21 };
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 using deq_t = std::deque<A>;
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 template class std::deque<A>;
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 static void __attribute__((noinline, optnone)) escape(deq_t &deq) {
anatofuz
parents:
diff changeset
28 static volatile deq_t *sink;
anatofuz
parents:
diff changeset
29 sink = &deq;
anatofuz
parents:
diff changeset
30 }
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 int main() {
anatofuz
parents:
diff changeset
33 deq_t deq;
anatofuz
parents:
diff changeset
34 deq.push_back(1234);
anatofuz
parents:
diff changeset
35 deq.push_back(56789);
anatofuz
parents:
diff changeset
36 escape(deq); // DexLabel('first')
anatofuz
parents:
diff changeset
37 while (!deq.empty()) {
anatofuz
parents:
diff changeset
38 auto record = deq.front();
anatofuz
parents:
diff changeset
39 deq.pop_front();
anatofuz
parents:
diff changeset
40 escape(deq); // DexLabel('second')
anatofuz
parents:
diff changeset
41 }
anatofuz
parents:
diff changeset
42 }
anatofuz
parents:
diff changeset
43
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
44 // DexExpectWatchValue('deq[0].a', '1234', on_line=ref('first'))
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
45 // DexExpectWatchValue('deq[1].a', '56789', on_line=ref('first'))
150
anatofuz
parents:
diff changeset
46
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
47 // DexExpectWatchValue('deq[0].a', '56789', '0', on_line=ref('second'))
150
anatofuz
parents:
diff changeset
48