1 //===-- ThreadPlanStepInRange.cpp -------------------------------*- C++ -*-===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #include "lldb/Target/ThreadPlanStepInRange.h"
10 #include "lldb/Core/Architecture.h"
11 #include "lldb/Core/Module.h"
12 #include "lldb/Symbol/Function.h"
13 #include "lldb/Symbol/Symbol.h"
14 #include "lldb/Target/Process.h"
15 #include "lldb/Target/RegisterContext.h"
16 #include "lldb/Target/SectionLoadList.h"
17 #include "lldb/Target/Target.h"
18 #include "lldb/Target/Thread.h"
19 #include "lldb/Target/ThreadPlanStepOut.h"
20 #include "lldb/Target/ThreadPlanStepThrough.h"
21 #include "lldb/Utility/Log.h"
22 #include "lldb/Utility/RegularExpression.h"
23 #include "lldb/Utility/Stream.h"
26 using namespace lldb_private;
28 uint32_t ThreadPlanStepInRange::s_default_flag_values =
29 ThreadPlanShouldStopHere::eStepInAvoidNoDebug;
31 // ThreadPlanStepInRange: Step through a stack range, either stepping over or
32 // into based on the value of \a type.
34 ThreadPlanStepInRange::ThreadPlanStepInRange(
35 Thread &thread, const AddressRange &range,
36 const SymbolContext &addr_context, lldb::RunMode stop_others,
37 LazyBool step_in_avoids_code_without_debug_info,
38 LazyBool step_out_avoids_code_without_debug_info)
39 : ThreadPlanStepRange(ThreadPlan::eKindStepInRange,
40 "Step Range stepping in", thread, range, addr_context,
42 ThreadPlanShouldStopHere(this), m_step_past_prologue(true),
43 m_virtual_step(false) {
46 SetupAvoidNoDebug(step_in_avoids_code_without_debug_info,
47 step_out_avoids_code_without_debug_info);
50 ThreadPlanStepInRange::ThreadPlanStepInRange(
51 Thread &thread, const AddressRange &range,
52 const SymbolContext &addr_context, const char *step_into_target,
53 lldb::RunMode stop_others, LazyBool step_in_avoids_code_without_debug_info,
54 LazyBool step_out_avoids_code_without_debug_info)
55 : ThreadPlanStepRange(ThreadPlan::eKindStepInRange,
56 "Step Range stepping in", thread, range, addr_context,
58 ThreadPlanShouldStopHere(this), m_step_past_prologue(true),
59 m_virtual_step(false), m_step_into_target(step_into_target) {
62 SetupAvoidNoDebug(step_in_avoids_code_without_debug_info,
63 step_out_avoids_code_without_debug_info);
66 ThreadPlanStepInRange::~ThreadPlanStepInRange() = default;
68 void ThreadPlanStepInRange::SetupAvoidNoDebug(
69 LazyBool step_in_avoids_code_without_debug_info,
70 LazyBool step_out_avoids_code_without_debug_info) {
71 bool avoid_nodebug = true;
73 switch (step_in_avoids_code_without_debug_info) {
78 avoid_nodebug = false;
80 case eLazyBoolCalculate:
81 avoid_nodebug = m_thread.GetStepInAvoidsNoDebug();
85 GetFlags().Set(ThreadPlanShouldStopHere::eStepInAvoidNoDebug);
87 GetFlags().Clear(ThreadPlanShouldStopHere::eStepInAvoidNoDebug);
89 switch (step_out_avoids_code_without_debug_info) {
94 avoid_nodebug = false;
96 case eLazyBoolCalculate:
97 avoid_nodebug = m_thread.GetStepOutAvoidsNoDebug();
101 GetFlags().Set(ThreadPlanShouldStopHere::eStepOutAvoidNoDebug);
103 GetFlags().Clear(ThreadPlanShouldStopHere::eStepOutAvoidNoDebug);
106 void ThreadPlanStepInRange::GetDescription(Stream *s,
107 lldb::DescriptionLevel level) {
109 auto PrintFailureIfAny = [&]() {
110 if (m_status.Success())
112 s->Printf(" failed (%s)", m_status.AsCString());
115 if (level == lldb::eDescriptionLevelBrief) {
116 s->Printf("step in");
121 s->Printf("Stepping in");
122 bool printed_line_info = false;
123 if (m_addr_context.line_entry.IsValid()) {
124 s->Printf(" through line ");
125 m_addr_context.line_entry.DumpStopContext(s, false);
126 printed_line_info = true;
129 const char *step_into_target = m_step_into_target.AsCString();
130 if (step_into_target && step_into_target[0] != '\0')
131 s->Printf(" targeting %s", m_step_into_target.AsCString());
133 if (!printed_line_info || level == eDescriptionLevelVerbose) {
134 s->Printf(" using ranges:");
143 bool ThreadPlanStepInRange::ShouldStop(Event *event_ptr) {
144 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
149 m_thread.GetRegisterContext()->GetPC(),
150 m_thread.CalculateTarget()->GetArchitecture().GetAddressByteSize());
151 log->Printf("ThreadPlanStepInRange reached %s.", s.GetData());
154 if (IsPlanComplete())
157 m_no_more_plans = false;
158 if (m_sub_plan_sp && m_sub_plan_sp->IsPlanComplete()) {
159 if (!m_sub_plan_sp->PlanSucceeded()) {
161 m_no_more_plans = true;
164 m_sub_plan_sp.reset();
167 if (m_virtual_step) {
168 // If we've just completed a virtual step, all we need to do is check for a
169 // ShouldStopHere plan, and otherwise we're done.
170 // FIXME - This can be both a step in and a step out. Probably should
171 // record which in the m_virtual_step.
173 CheckShouldStopHereAndQueueStepOut(eFrameCompareYounger, m_status);
175 // Stepping through should be done running other threads in general, since
176 // we're setting a breakpoint and continuing. So only stop others if we
177 // are explicitly told to do so.
179 bool stop_others = (m_stop_others == lldb::eOnlyThisThread);
181 FrameComparison frame_order = CompareCurrentFrameToStartFrame();
183 if (frame_order == eFrameCompareOlder ||
184 frame_order == eFrameCompareSameParent) {
185 // If we're in an older frame then we should stop.
187 // A caveat to this is if we think the frame is older but we're actually
189 // I'm going to make the assumption that you wouldn't RETURN to a
190 // trampoline. So if we are in a trampoline we think the frame is older
191 // because the trampoline confused the backtracer.
192 m_sub_plan_sp = m_thread.QueueThreadPlanForStepThrough(
193 m_stack_id, false, stop_others, m_status);
194 if (!m_sub_plan_sp) {
195 // Otherwise check the ShouldStopHere for step out:
197 CheckShouldStopHereAndQueueStepOut(frame_order, m_status);
200 log->Printf("ShouldStopHere found plan to step out of this frame.");
202 log->Printf("ShouldStopHere no plan to step out of this frame.");
206 "Thought I stepped out, but in fact arrived at a trampoline.");
208 } else if (frame_order == eFrameCompareEqual && InSymbol()) {
209 // If we are not in a place we should step through, we're done. One
210 // tricky bit here is that some stubs don't push a frame, so we have to
211 // check both the case of a frame that is younger, or the same as this
212 // frame. However, if the frame is the same, and we are still in the
213 // symbol we started in, the we don't need to do this. This first check
214 // isn't strictly necessary, but it is more efficient.
216 // If we're still in the range, keep going, either by running to the next
217 // branch breakpoint, or by stepping.
219 SetNextBranchBreakpoint();
224 m_no_more_plans = true;
228 // If we get to this point, we're not going to use a previously set "next
229 // branch" breakpoint, so delete it:
230 ClearNextBranchBreakpoint();
232 // We may have set the plan up above in the FrameIsOlder section:
235 m_sub_plan_sp = m_thread.QueueThreadPlanForStepThrough(
236 m_stack_id, false, stop_others, m_status);
240 log->Printf("Found a step through plan: %s", m_sub_plan_sp->GetName());
242 log->Printf("No step through plan found.");
245 // If not, give the "should_stop" callback a chance to push a plan to get
246 // us out of here. But only do that if we actually have stepped in.
247 if (!m_sub_plan_sp && frame_order == eFrameCompareYounger)
248 m_sub_plan_sp = CheckShouldStopHereAndQueueStepOut(frame_order, m_status);
250 // If we've stepped in and we are going to stop here, check to see if we
251 // were asked to run past the prologue, and if so do that.
253 if (!m_sub_plan_sp && frame_order == eFrameCompareYounger &&
254 m_step_past_prologue) {
255 lldb::StackFrameSP curr_frame = m_thread.GetStackFrameAtIndex(0);
257 size_t bytes_to_skip = 0;
258 lldb::addr_t curr_addr = m_thread.GetRegisterContext()->GetPC();
259 Address func_start_address;
261 SymbolContext sc = curr_frame->GetSymbolContext(eSymbolContextFunction |
262 eSymbolContextSymbol);
265 func_start_address = sc.function->GetAddressRange().GetBaseAddress();
267 func_start_address.GetLoadAddress(
268 m_thread.CalculateTarget().get()))
269 bytes_to_skip = sc.function->GetPrologueByteSize();
270 } else if (sc.symbol) {
271 func_start_address = sc.symbol->GetAddress();
273 func_start_address.GetLoadAddress(
274 m_thread.CalculateTarget().get()))
275 bytes_to_skip = sc.symbol->GetPrologueByteSize();
278 if (bytes_to_skip == 0 && sc.symbol) {
279 TargetSP target = m_thread.CalculateTarget();
280 const Architecture *arch = target->GetArchitecturePlugin();
282 Address curr_sec_addr;
283 target->GetSectionLoadList().ResolveLoadAddress(curr_addr,
285 bytes_to_skip = arch->GetBytesToSkip(*sc.symbol, curr_sec_addr);
289 if (bytes_to_skip != 0) {
290 func_start_address.Slide(bytes_to_skip);
291 log = lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP);
293 log->Printf("Pushing past prologue ");
295 m_sub_plan_sp = m_thread.QueueThreadPlanForRunToAddress(
296 false, func_start_address, true, m_status);
302 if (!m_sub_plan_sp) {
303 m_no_more_plans = true;
307 m_no_more_plans = false;
308 m_sub_plan_sp->SetPrivate(true);
313 void ThreadPlanStepInRange::SetAvoidRegexp(const char *name) {
314 auto name_ref = llvm::StringRef::withNullAsEmpty(name);
315 if (!m_avoid_regexp_up)
316 m_avoid_regexp_up.reset(new RegularExpression(name_ref));
318 m_avoid_regexp_up->Compile(name_ref);
321 void ThreadPlanStepInRange::SetDefaultFlagValue(uint32_t new_value) {
322 // TODO: Should we test this for sanity?
323 ThreadPlanStepInRange::s_default_flag_values = new_value;
326 bool ThreadPlanStepInRange::FrameMatchesAvoidCriteria() {
327 StackFrame *frame = GetThread().GetStackFrameAtIndex(0).get();
329 // Check the library list first, as that's cheapest:
330 bool libraries_say_avoid = false;
332 FileSpecList libraries_to_avoid(GetThread().GetLibrariesToAvoid());
333 size_t num_libraries = libraries_to_avoid.GetSize();
334 if (num_libraries > 0) {
335 SymbolContext sc(frame->GetSymbolContext(eSymbolContextModule));
336 FileSpec frame_library(sc.module_sp->GetFileSpec());
339 for (size_t i = 0; i < num_libraries; i++) {
340 const FileSpec &file_spec(libraries_to_avoid.GetFileSpecAtIndex(i));
341 if (FileSpec::Equal(file_spec, frame_library, false)) {
342 libraries_say_avoid = true;
348 if (libraries_say_avoid)
351 const RegularExpression *avoid_regexp_to_use = m_avoid_regexp_up.get();
352 if (avoid_regexp_to_use == nullptr)
353 avoid_regexp_to_use = GetThread().GetSymbolsToAvoidRegexp();
355 if (avoid_regexp_to_use != nullptr) {
356 SymbolContext sc = frame->GetSymbolContext(
357 eSymbolContextFunction | eSymbolContextBlock | eSymbolContextSymbol);
358 if (sc.symbol != nullptr) {
359 const char *frame_function_name =
360 sc.GetFunctionName(Mangled::ePreferDemangledWithoutArguments)
362 if (frame_function_name) {
363 size_t num_matches = 0;
364 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
368 RegularExpression::Match regex_match(num_matches);
371 avoid_regexp_to_use->Execute(frame_function_name, ®ex_match);
375 regex_match.GetMatchAtIndex(frame_function_name, 0, match);
376 log->Printf("Stepping out of function \"%s\" because it matches "
377 "the avoid regexp \"%s\" - match substring: \"%s\".",
379 avoid_regexp_to_use->GetText().str().c_str(),
390 bool ThreadPlanStepInRange::DefaultShouldStopHereCallback(
391 ThreadPlan *current_plan, Flags &flags, FrameComparison operation,
392 Status &status, void *baton) {
393 bool should_stop_here = true;
394 StackFrame *frame = current_plan->GetThread().GetStackFrameAtIndex(0).get();
395 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
397 // First see if the ThreadPlanShouldStopHere default implementation thinks we
398 // should get out of here:
399 should_stop_here = ThreadPlanShouldStopHere::DefaultShouldStopHereCallback(
400 current_plan, flags, operation, status, baton);
401 if (!should_stop_here)
402 return should_stop_here;
404 if (should_stop_here && current_plan->GetKind() == eKindStepInRange &&
405 operation == eFrameCompareYounger) {
406 ThreadPlanStepInRange *step_in_range_plan =
407 static_cast<ThreadPlanStepInRange *>(current_plan);
408 if (step_in_range_plan->m_step_into_target) {
409 SymbolContext sc = frame->GetSymbolContext(
410 eSymbolContextFunction | eSymbolContextBlock | eSymbolContextSymbol);
411 if (sc.symbol != nullptr) {
412 // First try an exact match, since that's cheap with ConstStrings.
413 // Then do a strstr compare.
414 if (step_in_range_plan->m_step_into_target == sc.GetFunctionName()) {
415 should_stop_here = true;
417 const char *target_name =
418 step_in_range_plan->m_step_into_target.AsCString();
419 const char *function_name = sc.GetFunctionName().AsCString();
421 if (function_name == nullptr)
422 should_stop_here = false;
423 else if (strstr(function_name, target_name) == nullptr)
424 should_stop_here = false;
426 if (log && !should_stop_here)
427 log->Printf("Stepping out of frame %s which did not match step into "
429 sc.GetFunctionName().AsCString(),
430 step_in_range_plan->m_step_into_target.AsCString());
434 if (should_stop_here) {
435 ThreadPlanStepInRange *step_in_range_plan =
436 static_cast<ThreadPlanStepInRange *>(current_plan);
437 // Don't log the should_step_out here, it's easier to do it in
438 // FrameMatchesAvoidCriteria.
439 should_stop_here = !step_in_range_plan->FrameMatchesAvoidCriteria();
443 return should_stop_here;
446 bool ThreadPlanStepInRange::DoPlanExplainsStop(Event *event_ptr) {
447 // We always explain a stop. Either we've just done a single step, in which
448 // case we'll do our ordinary processing, or we stopped for some reason that
449 // isn't handled by our sub-plans, in which case we want to just stop right
450 // away. In general, we don't want to mark the plan as complete for
451 // unexplained stops. For instance, if you step in to some code with no debug
452 // info, so you step out and in the course of that hit a breakpoint, then you
453 // want to stop & show the user the breakpoint, but not unship the step in
454 // plan, since you still may want to complete that plan when you continue.
455 // This is particularly true when doing "step in to target function."
458 // The only variation is that if we are doing "step by running to next
459 // branch" in which case if we hit our branch breakpoint we don't set the
462 bool return_value = false;
464 if (m_virtual_step) {
467 StopInfoSP stop_info_sp = GetPrivateStopInfo();
469 StopReason reason = stop_info_sp->GetStopReason();
471 if (reason == eStopReasonBreakpoint) {
472 if (NextRangeBreakpointExplainsStop(stop_info_sp)) {
475 } else if (IsUsuallyUnexplainedStopReason(reason)) {
476 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
478 log->PutCString("ThreadPlanStepInRange got asked if it explains the "
479 "stop for some reason other than step.");
480 return_value = false;
491 bool ThreadPlanStepInRange::DoWillResume(lldb::StateType resume_state,
493 m_virtual_step = false;
494 if (resume_state == eStateStepping && current_plan) {
495 // See if we are about to step over a virtual inlined call.
496 bool step_without_resume = m_thread.DecrementCurrentInlinedDepth();
497 if (step_without_resume) {
498 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
500 log->Printf("ThreadPlanStepInRange::DoWillResume: returning false, "
502 m_thread.GetCurrentInlinedDepth());
503 SetStopInfo(StopInfo::CreateStopReasonToTrace(m_thread));
505 // FIXME: Maybe it would be better to create a InlineStep stop reason, but
507 // the whole rest of the world would have to handle that stop reason.
508 m_virtual_step = true;
510 return !step_without_resume;
515 bool ThreadPlanStepInRange::IsVirtualStep() { return m_virtual_step; }