LLDB mainline
LineEntry.cpp
Go to the documentation of this file.
1//===-- LineEntry.cpp -----------------------------------------------------===//
2//
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
6//
7//===----------------------------------------------------------------------===//
8
11#include "lldb/Target/Process.h"
12#include "lldb/Target/Target.h"
13
14using namespace lldb_private;
15
17 : range(), file(), is_start_of_statement(0), is_start_of_basic_block(0),
18 is_prologue_end(0), is_epilogue_begin(0), is_terminal_entry(0) {}
19
21 range.Clear();
22 file.Clear();
23 original_file_sp = std::make_shared<SupportFile>();
25 column = 0;
31}
32
33bool LineEntry::IsValid() const {
35}
36
37bool LineEntry::DumpStopContext(Stream *s, bool show_fullpaths) const {
38 if (file) {
39 if (show_fullpaths)
41 else
43
44 if (line)
45 s->PutChar(':');
46 }
47 if (line) {
48 s->Printf("%u", line);
49 if (column) {
50 s->PutChar(':');
51 s->Printf("%u", column);
52 }
53 }
54 return file || line;
55}
56
57bool LineEntry::Dump(Stream *s, Target *target, bool show_file,
59 Address::DumpStyle fallback_style, bool show_range) const {
60 if (show_range) {
61 // Show address range
62 if (!range.Dump(s, target, style, fallback_style))
63 return false;
64 } else {
65 // Show address only
66 if (!range.GetBaseAddress().Dump(s, target, style, fallback_style))
67 return false;
68 }
69 if (show_file)
70 *s << ", file = " << file;
71 if (line)
72 s->Printf(", line = %u", line);
73 if (column)
74 s->Printf(", column = %u", column);
76 *s << ", is_start_of_statement = TRUE";
77
79 *s << ", is_start_of_basic_block = TRUE";
80
82 *s << ", is_prologue_end = TRUE";
83
85 *s << ", is_epilogue_begin = TRUE";
86
88 *s << ", is_terminal_entry = TRUE";
89 return true;
90}
91
93 CompileUnit *cu, Target *target,
94 bool show_address_only) const {
95
96 if (level == lldb::eDescriptionLevelBrief ||
98 if (show_address_only) {
101 } else {
104 }
105
106 *s << ": " << file;
107
108 if (line) {
109 s->Printf(":%u", line);
110 if (column)
111 s->Printf(":%u", column);
112 }
113
114 if (level == lldb::eDescriptionLevelFull) {
116 *s << ", is_start_of_statement = TRUE";
117
119 *s << ", is_start_of_basic_block = TRUE";
120
121 if (is_prologue_end)
122 *s << ", is_prologue_end = TRUE";
123
125 *s << ", is_epilogue_begin = TRUE";
126
128 *s << ", is_terminal_entry = TRUE";
129 } else {
131 s->EOL();
132 }
133 } else {
134 return Dump(s, target, true, Address::DumpStyleLoadAddress,
136 }
137 return true;
138}
139
141 return LineEntry::Compare(a, b) < 0;
142}
143
144int LineEntry::Compare(const LineEntry &a, const LineEntry &b) {
147 if (result != 0)
148 return result;
149
150 const lldb::addr_t a_byte_size = a.range.GetByteSize();
151 const lldb::addr_t b_byte_size = b.range.GetByteSize();
152
153 if (a_byte_size < b_byte_size)
154 return -1;
155 if (a_byte_size > b_byte_size)
156 return +1;
157
158 // Check for an end sequence entry mismatch after we have determined that the
159 // address values are equal. If one of the items is an end sequence, we don't
160 // care about the line, file, or column info.
162 return -1;
164 return +1;
165
166 if (a.line < b.line)
167 return -1;
168 if (a.line > b.line)
169 return +1;
170
171 if (a.column < b.column)
172 return -1;
173 if (a.column > b.column)
174 return +1;
175
176 return FileSpec::Compare(a.file, b.file, true);
177}
178
180 bool include_inlined_functions) const {
181 // Add each LineEntry's range to complete_line_range until we find a
182 // different file / line number.
183 AddressRange complete_line_range = range;
184 auto symbol_context_scope = lldb::eSymbolContextLineEntry;
185 Declaration start_call_site(original_file_sp->GetSpecOnly(), line);
186 if (include_inlined_functions)
187 symbol_context_scope |= lldb::eSymbolContextBlock;
188
189 while (true) {
190 SymbolContext next_line_sc;
191 Address range_end(complete_line_range.GetBaseAddress());
192 range_end.Slide(complete_line_range.GetByteSize());
193 range_end.CalculateSymbolContext(&next_line_sc, symbol_context_scope);
194
195 if (!next_line_sc.line_entry.IsValid() ||
196 next_line_sc.line_entry.range.GetByteSize() == 0)
197 break;
198
199 if (*original_file_sp == *next_line_sc.line_entry.original_file_sp &&
200 (next_line_sc.line_entry.line == 0 ||
201 line == next_line_sc.line_entry.line)) {
202 // Include any line 0 entries - they indicate that this is compiler-
203 // generated code that does not correspond to user source code.
204 // next_line_sc is the same file & line as this LineEntry, so extend
205 // our AddressRange by its size and continue to see if there are more
206 // LineEntries that we can combine. However, if there was nothing to
207 // extend we're done.
208 if (!complete_line_range.Extend(next_line_sc.line_entry.range))
209 break;
210 continue;
211 }
212
213 if (include_inlined_functions && next_line_sc.block &&
214 next_line_sc.block->GetContainingInlinedBlock() != nullptr) {
215 // The next_line_sc might be in a different file if it's an inlined
216 // function. If this is the case then we still want to expand our line
217 // range to include them if the inlined function is at the same call site
218 // as this line entry. The current block could represent a nested inline
219 // function call so we need to need to check up the block tree to see if
220 // we find one.
221 auto inlined_parent_block =
223 start_call_site);
224 if (!inlined_parent_block)
225 // We didn't find any parent inlined block with a call site at this line
226 // entry so this inlined function is probably at another line.
227 break;
228 // Extend our AddressRange by the size of the inlined block, but if there
229 // was nothing to add then we're done.
230 if (!complete_line_range.Extend(next_line_sc.line_entry.range))
231 break;
232 continue;
233 }
234
235 break;
236 }
237 return complete_line_range;
238}
239
241 if (target_sp) {
242 // Apply any file remappings to our file.
243 if (auto new_file_spec = target_sp->GetSourcePathMap().FindFile(
244 original_file_sp->GetSpecOnly()))
245 file = *new_file_spec;
246 }
247}
A section + offset based address range class.
Definition: AddressRange.h:25
Address & GetBaseAddress()
Get accessor for the base address of the range.
Definition: AddressRange.h:209
bool Dump(Stream *s, Target *target, Address::DumpStyle style, Address::DumpStyle fallback_style=Address::DumpStyleInvalid) const
Dump a description of this object to a Stream.
void Clear()
Clear the object's state.
bool Extend(const AddressRange &rhs_range)
Extends this range with rhs_range if it overlaps this range on the right side.
lldb::addr_t GetByteSize() const
Get accessor for the byte size of this range.
Definition: AddressRange.h:221
A section + offset based address class.
Definition: Address.h:62
static int CompareFileAddress(const Address &lhs, const Address &rhs)
Compare two Address objects.
Definition: Address.cpp:931
uint32_t CalculateSymbolContext(SymbolContext *sc, lldb::SymbolContextItem resolve_scope=lldb::eSymbolContextEverything) const
Reconstruct a symbol context from an address.
Definition: Address.cpp:831
DumpStyle
Dump styles allow the Address::Dump(Stream *,DumpStyle) const function to display Address contents in...
Definition: Address.h:66
@ DumpStyleFileAddress
Display as the file address (if any).
Definition: Address.h:87
@ DumpStyleModuleWithFileAddress
Display as the file address with the module name prepended (if any).
Definition: Address.h:93
@ DumpStyleLoadAddress
Display as the load address (if resolved).
Definition: Address.h:99
bool Slide(int64_t offset)
Definition: Address.h:459
bool Dump(Stream *s, ExecutionContextScope *exe_scope, DumpStyle style, DumpStyle fallback_style=DumpStyleInvalid, uint32_t addr_byte_size=UINT32_MAX, bool all_ranges=false, std::optional< Stream::HighlightSettings > settings=std::nullopt) const
Dump a description of this object to a Stream.
Definition: Address.cpp:408
bool IsValid() const
Check if the object state is valid.
Definition: Address.h:355
Block * GetContainingInlinedBlockWithCallSite(const Declaration &find_call_site)
Get the inlined block at the given call site that contains this block.
Definition: Block.cpp:225
Block * GetContainingInlinedBlock()
Get the inlined block that contains this block.
Definition: Block.cpp:208
A class that describes a compilation unit.
Definition: CompileUnit.h:41
void Dump(Stream *s, const char *value_if_empty=nullptr) const
Dump the object description to a stream.
A class that describes the declaration location of a lldb object.
Definition: Declaration.h:24
const ConstString & GetFilename() const
Filename string const get accessor.
Definition: FileSpec.h:240
static int Compare(const FileSpec &lhs, const FileSpec &rhs, bool full)
Compare two FileSpec objects.
Definition: FileSpec.cpp:273
void Clear()
Clears the object state.
Definition: FileSpec.cpp:259
void Dump(llvm::raw_ostream &s) const
Dump this object to a Stream.
Definition: FileSpec.cpp:325
A stream class that can stream formatted output to a file.
Definition: Stream.h:28
llvm::raw_ostream & AsRawOstream()
Returns a raw_ostream that forwards the data to this Stream object.
Definition: Stream.h:401
size_t Printf(const char *format,...) __attribute__((format(printf
Output printf formatted output to the stream.
Definition: Stream.cpp:134
size_t PutChar(char ch)
Definition: Stream.cpp:131
size_t EOL()
Output and End of Line character to the stream.
Definition: Stream.cpp:155
Defines a symbol context baton that can be handed other debug core functions.
Definition: SymbolContext.h:34
Block * block
The Block for a given query.
LineEntry line_entry
The LineEntry for a given query.
#define LLDB_INVALID_LINE_NUMBER
Definition: lldb-defines.h:94
A class that represents a running process on the host machine.
Definition: SBAttachInfo.h:14
bool operator<(const Address &lhs, const Address &rhs)
Definition: Address.cpp:991
DescriptionLevel
Description levels for "void GetDescription(Stream *, DescriptionLevel)" calls.
@ eDescriptionLevelBrief
@ eDescriptionLevelFull
uint64_t addr_t
Definition: lldb-types.h:79
std::shared_ptr< lldb_private::Target > TargetSP
Definition: lldb-forward.h:436
A line table entry class.
Definition: LineEntry.h:21
uint16_t column
The column number of the source line, or zero if there is no column information.
Definition: LineEntry.h:142
uint16_t is_epilogue_begin
Indicates this entry is one (of possibly many) where execution should be suspended for an exit breakp...
Definition: LineEntry.h:154
void Clear()
Clear the object's state.
Definition: LineEntry.cpp:20
bool Dump(Stream *s, Target *target, bool show_file, Address::DumpStyle style, Address::DumpStyle fallback_style, bool show_range) const
Dump a description of this object to a Stream.
Definition: LineEntry.cpp:57
lldb::SupportFileSP original_file_sp
The original source file, from debug info.
Definition: LineEntry.h:138
AddressRange GetSameLineContiguousAddressRange(bool include_inlined_functions) const
Give the range for this LineEntry + any additional LineEntries for this same source line that are con...
Definition: LineEntry.cpp:179
bool IsValid() const
Check if a line entry object is valid.
Definition: LineEntry.cpp:33
static int Compare(const LineEntry &lhs, const LineEntry &rhs)
Compare two LineEntry objects.
Definition: LineEntry.cpp:144
FileSpec file
The source file, possibly mapped by the target.source-map setting.
Definition: LineEntry.h:135
AddressRange range
The section offset address range for this line entry.
Definition: LineEntry.h:134
uint32_t line
The source line number, or zero if there is no line number information.
Definition: LineEntry.h:139
LineEntry()
Default constructor.
Definition: LineEntry.cpp:16
bool GetDescription(Stream *s, lldb::DescriptionLevel level, CompileUnit *cu, Target *target, bool show_address_only) const
Definition: LineEntry.cpp:92
uint16_t is_start_of_basic_block
Indicates this entry is the beginning of a basic block.
Definition: LineEntry.h:148
bool DumpStopContext(Stream *s, bool show_fullpaths) const
Dumps information specific to a process that stops at this line entry to the supplied stream s.
Definition: LineEntry.cpp:37
uint16_t is_prologue_end
Indicates this entry is one (of possibly many) where execution should be suspended for an entry break...
Definition: LineEntry.h:151
uint16_t is_terminal_entry
Indicates this entry is that of the first byte after the end of a sequence of target machine instruct...
Definition: LineEntry.h:155
void ApplyFileMappings(lldb::TargetSP target_sp)
Apply file mappings from target.source-map to the LineEntry's file.
Definition: LineEntry.cpp:240
uint16_t is_start_of_statement
Indicates this entry is the beginning of a statement.
Definition: LineEntry.h:146