1 // XFAIL:*
2 //// Currently, LowerDbgDeclare doesn't lower dbg.declares pointing at allocas
3 //// for structs.
4 
5 // REQUIRES: lldb
6 // UNSUPPORTED: system-windows
7 // RUN: %dexter --fail-lt 1.0 -w --debugger lldb \
8 // RUN:     --builder clang-c --cflags "-O2 -glldb" -- %s
9 //
10 //// Check debug-info for the escaped struct variable num is reasonable.
11 
12 #include <stdio.h>
13 struct Nums { int a, b, c; };
14 struct Nums glob;
15 __attribute__((__noinline__))
esc(struct Nums * nums)16 void esc(struct Nums* nums) {
17   glob = *nums;
18 }
19 
20 __attribute__((__noinline__))
main()21 int main() {
22   struct Nums nums = { .c=1 };       //// Dead store.
23   printf("s1 nums.c: %d\n", nums.c); // DexLabel('s1')
24 
25   nums.c = 2;                        //// Killing store.
26   printf("s2 nums.c: %d\n", nums.c); // DexLabel('s2')
27 
28   esc(&nums);                        //// Force nums to live on the stack.
29   return 0;                          // DexLabel('s3')
30 }
31 
32 // DexExpectWatchValue('nums.c', '1', on_line='s1')
33 // DexExpectWatchValue('nums.c', '2', from_line='s2', to_line='s3')
34