2 // UNSUPPORTED: system-windows
4 // RUN: %clang -std=gnu++11 -O0 -g -lstdc++ %s -o %t
5 // RUN: %dexter --fail-lt 1.0 -w \
6 // RUN: --binary %t --debugger 'lldb' -- %s
19 void foo(SVal v
) { bar(v
); } // DexLabel('foo')
32 DexExpectProgramState({
35 'location': { 'lineno': ref('foo') },
37 'v.Data == 0': 'true',