[lldb] Fix thread step until to not set breakpoint(s) on incorrect line numbers
authorVenkata Ramanaiah Nalamothu <VenkataRamanaiah.Nalamothu@amd.com>
Thu, 2 Jun 2022 17:49:30 +0000 (23:19 +0530)
committerVenkata Ramanaiah Nalamothu <VenkataRamanaiah.Nalamothu@amd.com>
Fri, 24 Jun 2022 18:31:04 +0000 (00:01 +0530)
commita57b62deef37c7f2ec31bca3bf9173a6206bfb9b
tree27f97b7041e58d0a6858b062aaee87955337d60a
parent4817b7729a1846b709ec02b98bfe11b0125f8e8f
[lldb] Fix thread step until to not set breakpoint(s) on incorrect line numbers

The requirements for "thread until <line number>" are:

a) If any code contributed by <line number> or the nearest subsequent of <line number> is executed before leaving the function, stop
b) If you end up leaving the function w/o triggering (a), then stop

In case of (a), since the <line number> may have multiple entries in the line table and the compiler might have scheduled/moved the relevant code across, and the lldb does not know the control flow, set breakpoints on all the line table entries of best match of <line number> i.e. exact or the nearest subsequent line.

Along with the above, currently, CommandObjectThreadUntil is also setting the breakpoints on all the subsequent line numbers after the best match and this latter part is wrong.

This issue is discussed at http://lists.llvm.org/pipermail/lldb-dev/2018-August/013979.html.

In fact, currently `TestStepUntil.py` is not actually testing step until scenarios and `test_missing_one` test fails without this patch if tests are made to run. Fixed the test as well.

Reviewed By: jingham

Differential Revision: https://reviews.llvm.org/D50304
lldb/source/Commands/CommandObjectThread.cpp
lldb/test/API/functionalities/thread/step_until/TestStepUntil.py