1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
// XFAIL:*
//// See PR47946.
// REQUIRES: lldb
// UNSUPPORTED: system-windows
// RUN: %clang -std=gnu11 -O2 -glldb %s -o %t
// RUN: %dexter --fail-lt 1.0 -w --debugger lldb --binary %t -- %s
//
//// Check that once-escaped variable 'param' can still be read after we
//// perform inlining + mem2reg, and that we see the DSE'd value 255.
int g;
__attribute__((__always_inline__))
static void use(int* p) {
g = *p;
*p = 255;
volatile int step = 0; // DexLabel('use1')
}
__attribute__((__noinline__))
void fun(int param) {
//// Make sure first step is in 'fun'.
volatile int step = 0; // DexLabel('fun1')
use(¶m);
return; // DexLabel('fun2')
}
int main() {
fun(5);
}
/*
# Expect param == 5 before stepping through inlined 'use'.
DexExpectWatchValue('param', '5', on_line=ref('fun1'))
# Expect param == 255 after assignment in inlined frame 'use'.
DexExpectProgramState({
'frames': [
{ 'function': 'use',
'location': { 'lineno': ref('use1') },
},
{ 'function': 'fun',
'location': { 'lineno': 20 },
'watches': { 'param': '255' }
},
]
})
# Expect param == 255 after inlined call to 'use'.
DexExpectWatchValue('param', '255', on_line=ref('fun2'))
*/
|
