• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // REQUIRES: lldb
2 // UNSUPPORTED: system-windows
3 //
4 // RUN: %dexter --fail-lt 1.0 -w \
5 // RUN:     --builder 'clang' --debugger 'lldb' --cflags "-O0 -g" \
6 // RUN:     --ldflags="-lstdc++" -- %s
7 // Radar 8945514
8 
9 class SVal {
10 public:
~SVal()11   ~SVal() {}
12   const void* Data;
13   unsigned Kind;
14 };
15 
bar(SVal & v)16 void bar(SVal &v) {}
17 class A {
18 public:
foo(SVal v)19   void foo(SVal v) { bar(v); } // DexLabel('foo')
20 };
21 
main()22 int main() {
23   SVal v;
24   v.Data = 0;
25   v.Kind = 2142;
26   A a;
27   a.foo(v);
28   return 0;
29 }
30 
31 /*
32 DexExpectProgramState({
33   'frames': [
34     {
35       'location': { 'lineno': 'foo' },
36       'watches': {
37         'v.Data == 0': 'true',
38         'v.Kind': '2142'
39       }
40     }
41   ]
42 })
43 */
44 
45