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
|
// XFAIL:*
//// Currently debug info for 'local' behaves, but 'plocal' dereferences to
//// the incorrect value 0xFF after the call to esc.
// REQUIRES: lldb
// UNSUPPORTED: system-windows
// RUN: %dexter --fail-lt 1.0 -w --debugger lldb \
// RUN: --builder clang-c --cflags "-O2 -glldb" -- %s
//
//// Check that a pointer to a variable living on the stack dereferences to the
//// variable value.
int glob;
__attribute__((__noinline__))
void esc(int* p) {
glob = *p;
*p = 0xFF;
}
int main() {
int local = 0xA;
int *plocal = &local;
esc(plocal); // DexLabel('s1')
local = 0xB; //// DSE
return 0; // DexLabel('s2')
}
// DexExpectWatchValue('local', 0xA, on_line=ref('s1'))
// DexExpectWatchValue('local', 0xB, on_line=ref('s2'))
// DexExpectWatchValue('*plocal', 0xA, on_line=ref('s1'))
// DexExpectWatchValue('*plocal', 0xB, on_line=ref('s2'))
//// Ideally we should be able to observe the dead store to local (0xB) through
//// plocal here.
// DexExpectWatchValue('(local == *plocal)', 'true', from_line=ref('s1'), to_line=ref('s2'))
|
