[lldb-dev] negative in stop reason

Jian Liu/Gmail via lldb-dev lldb-dev at lists.llvm.org
Thu Nov 16 18:20:48 PST 2017

Dear all,

    I have just debug KLEE with lldb. A breakpoint was set on the function
"executeAllocUnbounded". After the breakpoint was hiited, I used "continue"
to let the program to go on. However, it did not work. The respose from
lldb is following:

Process 10254 stopped
* thread #1, name = 'klee', stop reason = breakpoint 3.1 -1364.1
    frame #0:
state=0x000000000132d710, size=4, target=0x000000000134ef00) at

NOTE that, there is a negative number "-1364.1" showed in stop reason. When
I hit "continue" again, the number was change to "-1366.1", by mius -2

I want to know what is the mean of "-1364.1" here. How to let the program
to continue. Thanks.

Jian Liu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/lldb-dev/attachments/20171117/9a5beea2/attachment.html>

More information about the lldb-dev mailing list