1//===-- ValueObjectPrinter.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
9#include "lldb/DataFormatters/ValueObjectPrinter.h"
10
11#include "lldb/DataFormatters/DataVisualization.h"
12#include "lldb/Interpreter/CommandInterpreter.h"
13#include "lldb/Target/Language.h"
14#include "lldb/Target/Target.h"
15#include "lldb/Utility/Stream.h"
16#include "lldb/ValueObject/ValueObject.h"
17#include "llvm/Support/MathExtras.h"
18#include <cstdint>
19
20using namespace lldb;
21using namespace lldb_private;
22
23ValueObjectPrinter::ValueObjectPrinter(ValueObject &valobj, Stream *s)
24 : m_orig_valobj(valobj) {
25 DumpValueObjectOptions options(valobj);
26 Init(valobj, s, options, ptr_depth: m_options.m_max_ptr_depth, curr_depth: 0, printed_instance_pointers: nullptr);
27}
28
29ValueObjectPrinter::ValueObjectPrinter(ValueObject &valobj, Stream *s,
30 const DumpValueObjectOptions &options)
31 : m_orig_valobj(valobj) {
32 Init(valobj, s, options, ptr_depth: m_options.m_max_ptr_depth, curr_depth: 0, printed_instance_pointers: nullptr);
33}
34
35ValueObjectPrinter::ValueObjectPrinter(
36 ValueObject &valobj, Stream *s, const DumpValueObjectOptions &options,
37 const DumpValueObjectOptions::PointerDepth &ptr_depth, uint32_t curr_depth,
38 InstancePointersSetSP printed_instance_pointers)
39 : m_orig_valobj(valobj) {
40 Init(valobj, s, options, ptr_depth, curr_depth, printed_instance_pointers);
41}
42
43void ValueObjectPrinter::Init(
44 ValueObject &valobj, Stream *s, const DumpValueObjectOptions &options,
45 const DumpValueObjectOptions::PointerDepth &ptr_depth, uint32_t curr_depth,
46 InstancePointersSetSP printed_instance_pointers) {
47 m_cached_valobj = nullptr;
48 m_stream = s;
49 m_options = options;
50 m_ptr_depth = ptr_depth;
51 m_curr_depth = curr_depth;
52 assert(m_stream && "cannot print to a NULL Stream");
53 m_should_print = eLazyBoolCalculate;
54 m_is_nil = eLazyBoolCalculate;
55 m_is_uninit = eLazyBoolCalculate;
56 m_is_ptr = eLazyBoolCalculate;
57 m_is_ref = eLazyBoolCalculate;
58 m_is_aggregate = eLazyBoolCalculate;
59 m_is_instance_ptr = eLazyBoolCalculate;
60 m_summary_formatter = {nullptr, false};
61 m_value.assign(s: "");
62 m_summary.assign(s: "");
63 m_error.assign(s: "");
64 m_val_summary_ok = false;
65 m_printed_instance_pointers =
66 printed_instance_pointers
67 ? printed_instance_pointers
68 : InstancePointersSetSP(new InstancePointersSet());
69 SetupMostSpecializedValue();
70}
71
72llvm::Error ValueObjectPrinter::PrintValueObject() {
73 // If the incoming ValueObject is in an error state, the best we're going to
74 // get out of it is its type. But if we don't even have that, just print
75 // the error and exit early.
76 if (m_orig_valobj.GetError().Fail() &&
77 !m_orig_valobj.GetCompilerType().IsValid())
78 return m_orig_valobj.GetError().ToError();
79
80 if (ShouldPrintValueObject()) {
81 PrintLocationIfNeeded();
82 m_stream->Indent();
83
84 PrintDecl();
85 }
86
87 bool value_printed = false;
88 bool summary_printed = false;
89
90 m_val_summary_ok =
91 PrintValueAndSummaryIfNeeded(value_printed, summary_printed);
92
93 if (m_val_summary_ok)
94 return PrintChildrenIfNeeded(value_printed, summary_printed);
95 m_stream->EOL();
96
97 return llvm::Error::success();
98}
99
100ValueObject &ValueObjectPrinter::GetMostSpecializedValue() {
101 assert(m_cached_valobj && "ValueObjectPrinter must have a valid ValueObject");
102 return *m_cached_valobj;
103}
104
105void ValueObjectPrinter::SetupMostSpecializedValue() {
106 bool update_success = m_orig_valobj.UpdateValueIfNeeded(update_format: true);
107 // If we can't find anything better, we'll fall back on the original
108 // ValueObject.
109 m_cached_valobj = &m_orig_valobj;
110 if (update_success) {
111 if (m_orig_valobj.IsDynamic()) {
112 if (m_options.m_use_dynamic == eNoDynamicValues) {
113 ValueObject *static_value = m_orig_valobj.GetStaticValue().get();
114 if (static_value)
115 m_cached_valobj = static_value;
116 }
117 } else {
118 if (m_options.m_use_dynamic != eNoDynamicValues) {
119 ValueObject *dynamic_value =
120 m_orig_valobj.GetDynamicValue(valueType: m_options.m_use_dynamic).get();
121 if (dynamic_value)
122 m_cached_valobj = dynamic_value;
123 }
124 }
125
126 if (m_cached_valobj->IsSynthetic()) {
127 if (!m_options.m_use_synthetic) {
128 ValueObject *non_synthetic =
129 m_cached_valobj->GetNonSyntheticValue().get();
130 if (non_synthetic)
131 m_cached_valobj = non_synthetic;
132 }
133 } else {
134 if (m_options.m_use_synthetic) {
135 ValueObject *synthetic = m_cached_valobj->GetSyntheticValue().get();
136 if (synthetic)
137 m_cached_valobj = synthetic;
138 }
139 }
140 }
141 m_compiler_type = m_cached_valobj->GetCompilerType();
142 m_type_flags = m_compiler_type.GetTypeInfo();
143 assert(m_cached_valobj &&
144 "SetupMostSpecialized value must compute a valid ValueObject");
145}
146
147llvm::Expected<std::string> ValueObjectPrinter::GetDescriptionForDisplay() {
148 ValueObject &valobj = GetMostSpecializedValue();
149 llvm::Expected<std::string> maybe_str = valobj.GetObjectDescription();
150 if (maybe_str)
151 return maybe_str;
152
153 const char *str = nullptr;
154 if (!str)
155 str = valobj.GetSummaryAsCString();
156 if (!str)
157 str = valobj.GetValueAsCString();
158
159 if (!str)
160 return maybe_str;
161 llvm::consumeError(Err: maybe_str.takeError());
162 return str;
163}
164
165const char *ValueObjectPrinter::GetRootNameForDisplay() {
166 const char *root_valobj_name =
167 m_options.m_root_valobj_name.empty()
168 ? GetMostSpecializedValue().GetName().AsCString()
169 : m_options.m_root_valobj_name.c_str();
170 return root_valobj_name ? root_valobj_name : "";
171}
172
173bool ValueObjectPrinter::ShouldPrintValueObject() {
174 if (m_should_print == eLazyBoolCalculate)
175 m_should_print =
176 (!m_options.m_flat_output || m_type_flags.Test(bit: eTypeHasValue))
177 ? eLazyBoolYes
178 : eLazyBoolNo;
179 return m_should_print == eLazyBoolYes;
180}
181
182bool ValueObjectPrinter::IsNil() {
183 if (m_is_nil == eLazyBoolCalculate)
184 m_is_nil =
185 GetMostSpecializedValue().IsNilReference() ? eLazyBoolYes : eLazyBoolNo;
186 return m_is_nil == eLazyBoolYes;
187}
188
189bool ValueObjectPrinter::IsUninitialized() {
190 if (m_is_uninit == eLazyBoolCalculate)
191 m_is_uninit = GetMostSpecializedValue().IsUninitializedReference()
192 ? eLazyBoolYes
193 : eLazyBoolNo;
194 return m_is_uninit == eLazyBoolYes;
195}
196
197bool ValueObjectPrinter::IsPtr() {
198 if (m_is_ptr == eLazyBoolCalculate)
199 m_is_ptr = m_type_flags.Test(bit: eTypeIsPointer) ? eLazyBoolYes : eLazyBoolNo;
200 return m_is_ptr == eLazyBoolYes;
201}
202
203bool ValueObjectPrinter::IsRef() {
204 if (m_is_ref == eLazyBoolCalculate)
205 m_is_ref = m_type_flags.Test(bit: eTypeIsReference) ? eLazyBoolYes : eLazyBoolNo;
206 return m_is_ref == eLazyBoolYes;
207}
208
209bool ValueObjectPrinter::IsAggregate() {
210 if (m_is_aggregate == eLazyBoolCalculate)
211 m_is_aggregate =
212 m_type_flags.Test(bit: eTypeHasChildren) ? eLazyBoolYes : eLazyBoolNo;
213 return m_is_aggregate == eLazyBoolYes;
214}
215
216bool ValueObjectPrinter::IsInstancePointer() {
217 // you need to do this check on the value's clang type
218 ValueObject &valobj = GetMostSpecializedValue();
219 if (m_is_instance_ptr == eLazyBoolCalculate)
220 m_is_instance_ptr = (valobj.GetValue().GetCompilerType().GetTypeInfo() &
221 eTypeInstanceIsPointer) != 0
222 ? eLazyBoolYes
223 : eLazyBoolNo;
224 if ((eLazyBoolYes == m_is_instance_ptr) && valobj.IsBaseClass())
225 m_is_instance_ptr = eLazyBoolNo;
226 return m_is_instance_ptr == eLazyBoolYes;
227}
228
229bool ValueObjectPrinter::PrintLocationIfNeeded() {
230 if (m_options.m_show_location) {
231 m_stream->Printf(format: "%s: ", GetMostSpecializedValue().GetLocationAsCString());
232 return true;
233 }
234 return false;
235}
236
237void ValueObjectPrinter::PrintDecl() {
238 bool show_type = true;
239 // if we are at the root-level and been asked to hide the root's type, then
240 // hide it
241 if (m_curr_depth == 0 && m_options.m_hide_root_type)
242 show_type = false;
243 else
244 // otherwise decide according to the usual rules (asked to show types -
245 // always at the root level)
246 show_type = m_options.m_show_types ||
247 (m_curr_depth == 0 && !m_options.m_flat_output);
248
249 StreamString typeName;
250 // Figure out which ValueObject we're acting on
251 ValueObject &valobj = GetMostSpecializedValue();
252
253 // always show the type at the root level if it is invalid
254 if (show_type) {
255 // Some ValueObjects don't have types (like registers sets). Only print the
256 // type if there is one to print
257 ConstString type_name;
258 if (m_compiler_type.IsValid()) {
259 type_name = m_options.m_use_type_display_name
260 ? valobj.GetDisplayTypeName()
261 : valobj.GetQualifiedTypeName();
262 } else {
263 // only show an invalid type name if the user explicitly triggered
264 // show_type
265 if (m_options.m_show_types)
266 type_name = ConstString("<invalid type>");
267 }
268
269 if (type_name) {
270 std::string type_name_str(type_name.GetCString());
271 if (m_options.m_hide_pointer_value) {
272 for (auto iter = type_name_str.find(s: " *"); iter != std::string::npos;
273 iter = type_name_str.find(s: " *")) {
274 type_name_str.erase(pos: iter, n: 2);
275 }
276 }
277 typeName << type_name_str.c_str();
278 }
279 }
280
281 StreamString varName;
282
283 if (ShouldShowName()) {
284 if (m_options.m_flat_output)
285 valobj.GetExpressionPath(s&: varName);
286 else
287 varName << GetRootNameForDisplay();
288 }
289
290 bool decl_printed = false;
291 if (!m_options.m_decl_printing_helper) {
292 // if the user didn't give us a custom helper, pick one based upon the
293 // language, either the one that this printer is bound to, or the preferred
294 // one for the ValueObject
295 lldb::LanguageType lang_type =
296 (m_options.m_varformat_language == lldb::eLanguageTypeUnknown)
297 ? valobj.GetPreferredDisplayLanguage()
298 : m_options.m_varformat_language;
299 if (Language *lang_plugin = Language::FindPlugin(language: lang_type)) {
300 m_options.m_decl_printing_helper = lang_plugin->GetDeclPrintingHelper();
301 }
302 }
303
304 if (m_options.m_decl_printing_helper) {
305 ConstString type_name_cstr(typeName.GetString());
306 ConstString var_name_cstr(varName.GetString());
307
308 DumpValueObjectOptions decl_print_options = m_options;
309 // Pass printing helpers an option object that indicates whether the name
310 // should be shown or hidden.
311 decl_print_options.SetHideName(!ShouldShowName());
312
313 StreamString dest_stream;
314 if (m_options.m_decl_printing_helper(type_name_cstr, var_name_cstr,
315 decl_print_options, dest_stream)) {
316 decl_printed = true;
317 m_stream->PutCString(cstr: dest_stream.GetString());
318 }
319 }
320
321 // if the helper failed, or there is none, do a default thing
322 if (!decl_printed) {
323 if (!typeName.Empty())
324 m_stream->Printf(format: "(%s) ", typeName.GetData());
325 if (!varName.Empty())
326 m_stream->Printf(format: "%s =", varName.GetData());
327 else if (ShouldShowName())
328 m_stream->Printf(format: " =");
329 }
330}
331
332bool ValueObjectPrinter::CheckScopeIfNeeded() {
333 if (m_options.m_scope_already_checked)
334 return true;
335 return GetMostSpecializedValue().IsInScope();
336}
337
338TypeSummaryImpl *ValueObjectPrinter::GetSummaryFormatter(bool null_if_omitted) {
339 if (!m_summary_formatter.second) {
340 TypeSummaryImpl *entry =
341 m_options.m_summary_sp
342 ? m_options.m_summary_sp.get()
343 : GetMostSpecializedValue().GetSummaryFormat().get();
344
345 if (m_options.m_omit_summary_depth > 0)
346 entry = nullptr;
347 m_summary_formatter.first = entry;
348 m_summary_formatter.second = true;
349 }
350 if (m_options.m_omit_summary_depth > 0 && null_if_omitted)
351 return nullptr;
352 return m_summary_formatter.first;
353}
354
355static bool IsPointerValue(const CompilerType &type) {
356 Flags type_flags(type.GetTypeInfo());
357 if (type_flags.AnySet(mask: eTypeInstanceIsPointer | eTypeIsPointer))
358 return type_flags.AllClear(mask: eTypeIsBuiltIn);
359 return false;
360}
361
362void ValueObjectPrinter::GetValueSummaryError(std::string &value,
363 std::string &summary,
364 std::string &error) {
365 lldb::Format format = m_options.m_format;
366 ValueObject &valobj = GetMostSpecializedValue();
367 // if I am printing synthetized elements, apply the format to those elements
368 // only
369 if (m_options.m_pointer_as_array)
370 valobj.GetValueAsCString(format: lldb::eFormatDefault, destination&: value);
371 else if (format != eFormatDefault && format != valobj.GetFormat())
372 valobj.GetValueAsCString(format, destination&: value);
373 else {
374 const char *val_cstr = valobj.GetValueAsCString();
375 if (val_cstr)
376 value.assign(s: val_cstr);
377 }
378 const char *err_cstr = valobj.GetError().AsCString();
379 if (err_cstr)
380 error.assign(s: err_cstr);
381
382 if (!ShouldPrintValueObject())
383 return;
384
385 if (IsNil()) {
386 lldb::LanguageType lang_type =
387 (m_options.m_varformat_language == lldb::eLanguageTypeUnknown)
388 ? valobj.GetPreferredDisplayLanguage()
389 : m_options.m_varformat_language;
390 if (Language *lang_plugin = Language::FindPlugin(language: lang_type)) {
391 summary.assign(str: lang_plugin->GetNilReferenceSummaryString().str());
392 } else {
393 // We treat C as the fallback language rather than as a separate Language
394 // plugin.
395 summary.assign(s: "NULL");
396 }
397 } else if (IsUninitialized()) {
398 summary.assign(s: "<uninitialized>");
399 } else if (m_options.m_omit_summary_depth == 0) {
400 TypeSummaryImpl *entry = GetSummaryFormatter();
401 if (entry) {
402 valobj.GetSummaryAsCString(summary_ptr: entry, destination&: summary,
403 lang: m_options.m_varformat_language);
404 } else {
405 const char *sum_cstr =
406 valobj.GetSummaryAsCString(lang: m_options.m_varformat_language);
407 if (sum_cstr)
408 summary.assign(s: sum_cstr);
409 }
410 }
411}
412
413bool ValueObjectPrinter::PrintValueAndSummaryIfNeeded(bool &value_printed,
414 bool &summary_printed) {
415 bool error_printed = false;
416 if (ShouldPrintValueObject()) {
417 if (!CheckScopeIfNeeded())
418 m_error.assign(s: "out of scope");
419 if (m_error.empty()) {
420 GetValueSummaryError(value&: m_value, summary&: m_summary, error&: m_error);
421 }
422 if (m_error.size()) {
423 // we need to support scenarios in which it is actually fine for a value
424 // to have no type but - on the other hand - if we get an error *AND*
425 // have no type, we try to get out gracefully, since most often that
426 // combination means "could not resolve a type" and the default failure
427 // mode is quite ugly
428 if (!m_compiler_type.IsValid()) {
429 m_stream->Printf(format: " <could not resolve type>");
430 return false;
431 }
432
433 error_printed = true;
434 m_stream->Printf(format: " <%s>\n", m_error.c_str());
435 } else {
436 // Make sure we have a value and make sure the summary didn't specify
437 // that the value should not be printed - and do not print the value if
438 // this thing is nil (but show the value if the user passes a format
439 // explicitly)
440 TypeSummaryImpl *entry = GetSummaryFormatter();
441 ValueObject &valobj = GetMostSpecializedValue();
442 const bool has_nil_or_uninitialized_summary =
443 (IsNil() || IsUninitialized()) && !m_summary.empty();
444 if (!has_nil_or_uninitialized_summary && !m_value.empty() &&
445 (entry == nullptr ||
446 (entry->DoesPrintValue(valobj: &valobj) ||
447 m_options.m_format != eFormatDefault) ||
448 m_summary.empty()) &&
449 !m_options.m_hide_value) {
450 if (m_options.m_hide_pointer_value &&
451 IsPointerValue(type: valobj.GetCompilerType())) {
452 } else {
453 if (ShouldShowName())
454 m_stream->PutChar(ch: ' ');
455 m_stream->PutCString(cstr: m_value);
456 value_printed = true;
457 }
458 }
459
460 if (m_summary.size()) {
461 if (ShouldShowName() || value_printed)
462 m_stream->PutChar(ch: ' ');
463 m_stream->PutCString(cstr: m_summary);
464 summary_printed = true;
465 }
466 }
467 }
468 return !error_printed;
469}
470
471llvm::Error
472ValueObjectPrinter::PrintObjectDescriptionIfNeeded(bool value_printed,
473 bool summary_printed) {
474 if (ShouldPrintValueObject()) {
475 // let's avoid the overly verbose no description error for a nil thing
476 if (m_options.m_use_objc && !IsNil() && !IsUninitialized() &&
477 (!m_options.m_pointer_as_array)) {
478 if (!m_options.m_hide_value || ShouldShowName())
479 *m_stream << ' ';
480 llvm::Expected<std::string> object_desc =
481 (value_printed || summary_printed)
482 ? GetMostSpecializedValue().GetObjectDescription()
483 : GetDescriptionForDisplay();
484 if (!object_desc) {
485 // If no value or summary was printed, surface the error.
486 if (!value_printed && !summary_printed)
487 return object_desc.takeError();
488 // Otherwise gently nudge the user that they should have used
489 // `p` instead of `po`. Unfortunately we cannot be more direct
490 // about this, because we don't actually know what the user did.
491 *m_stream << "warning: no object description available\n";
492 llvm::consumeError(Err: object_desc.takeError());
493 } else {
494 *m_stream << *object_desc;
495 // If the description already ends with a \n don't add another one.
496 if (object_desc->empty() || object_desc->back() != '\n')
497 *m_stream << '\n';
498 }
499 return llvm::Error::success();
500 }
501 }
502 return llvm::Error::success();
503}
504
505bool DumpValueObjectOptions::PointerDepth::CanAllowExpansion() const {
506 return m_count > 0;
507}
508
509bool ValueObjectPrinter::ShouldPrintChildren(
510 DumpValueObjectOptions::PointerDepth &curr_ptr_depth) {
511 const bool is_ref = IsRef();
512 const bool is_ptr = IsPtr();
513 const bool is_uninit = IsUninitialized();
514
515 if (is_uninit)
516 return false;
517
518 // If we have reached the maximum depth we shouldn't print any more children.
519 if (HasReachedMaximumDepth())
520 return false;
521
522 // if the user has specified an element count, always print children as it is
523 // explicit user demand being honored
524 if (m_options.m_pointer_as_array)
525 return true;
526
527 if (m_options.m_use_objc)
528 return false;
529
530 bool print_children = true;
531 ValueObject &valobj = GetMostSpecializedValue();
532 if (TypeSummaryImpl *type_summary = GetSummaryFormatter())
533 print_children = type_summary->DoesPrintChildren(valobj: &valobj);
534
535 // We will show children for all concrete types. We won't show pointer
536 // contents unless a pointer depth has been specified. We won't reference
537 // contents unless the reference is the root object (depth of zero).
538
539 // Use a new temporary pointer depth in case we override the current
540 // pointer depth below...
541
542 if (is_ptr || is_ref) {
543 // We have a pointer or reference whose value is an address. Make sure
544 // that address is not NULL
545 if (valobj.GetPointerValue().address == 0)
546 return false;
547
548 const bool is_root_level = m_curr_depth == 0;
549 const bool is_expanded_ptr =
550 is_ptr && m_type_flags.Test(bit: m_options.m_expand_ptr_type_flags);
551
552 if ((is_ref || is_expanded_ptr) && is_root_level && print_children) {
553 // If this is the root object (depth is zero) that we are showing and it
554 // is either a reference or a preferred type of pointer, then print it.
555 // Don't do this at deeper depths otherwise we can end up with infinite
556 // recursion...
557 return true;
558 }
559
560 return curr_ptr_depth.CanAllowExpansion();
561 }
562
563 return print_children || m_summary.empty();
564}
565
566bool ValueObjectPrinter::ShouldExpandEmptyAggregates() {
567 TypeSummaryImpl *entry = GetSummaryFormatter();
568
569 if (!entry)
570 return true;
571
572 return entry->DoesPrintEmptyAggregates();
573}
574
575ValueObject &ValueObjectPrinter::GetValueObjectForChildrenGeneration() {
576 return GetMostSpecializedValue();
577}
578
579void ValueObjectPrinter::PrintChildrenPreamble(bool value_printed,
580 bool summary_printed) {
581 if (m_options.m_flat_output) {
582 if (ShouldPrintValueObject())
583 m_stream->EOL();
584 } else {
585 if (ShouldPrintValueObject()) {
586 if (IsRef()) {
587 m_stream->PutCString(cstr: ": ");
588 } else if (value_printed || summary_printed || ShouldShowName()) {
589 m_stream->PutChar(ch: ' ');
590 }
591 m_stream->PutCString(cstr: "{\n");
592 }
593 m_stream->IndentMore();
594 }
595}
596
597void ValueObjectPrinter::PrintChild(
598 ValueObjectSP child_sp,
599 const DumpValueObjectOptions::PointerDepth &curr_ptr_depth) {
600 const uint32_t consumed_summary_depth = m_options.m_pointer_as_array ? 0 : 1;
601 const bool does_consume_ptr_depth =
602 ((IsPtr() && !m_options.m_pointer_as_array) || IsRef());
603
604 DumpValueObjectOptions child_options(m_options);
605 child_options.SetFormat(m_options.m_format)
606 .SetSummary()
607 .SetRootValueObjectName();
608 child_options.SetScopeChecked(true)
609 .SetHideName(m_options.m_hide_name)
610 .SetHideValue(m_options.m_hide_value)
611 .SetOmitSummaryDepth(child_options.m_omit_summary_depth > 1
612 ? child_options.m_omit_summary_depth -
613 consumed_summary_depth
614 : 0)
615 .SetElementCount(0);
616
617 if (child_sp.get()) {
618 auto ptr_depth = curr_ptr_depth;
619 if (does_consume_ptr_depth)
620 ptr_depth = curr_ptr_depth.Decremented();
621
622 ValueObjectPrinter child_printer(*(child_sp.get()), m_stream, child_options,
623 ptr_depth, m_curr_depth + 1,
624 m_printed_instance_pointers);
625 llvm::Error error = child_printer.PrintValueObject();
626 if (error) {
627 if (m_stream)
628 *m_stream << "error: " << toString(E: std::move(error));
629 else
630 llvm::consumeError(Err: std::move(error));
631 }
632 }
633}
634
635llvm::Expected<uint32_t>
636ValueObjectPrinter::GetMaxNumChildrenToPrint(bool &print_dotdotdot) {
637 ValueObject &synth_valobj = GetValueObjectForChildrenGeneration();
638
639 if (m_options.m_pointer_as_array)
640 return m_options.m_pointer_as_array.m_element_count;
641
642 const uint32_t max_num_children =
643 m_options.m_ignore_cap ? UINT32_MAX
644 : GetMostSpecializedValue()
645 .GetTargetSP()
646 ->GetMaximumNumberOfChildrenToDisplay();
647 // Ask for one more child than the maximum to see if we should print "...".
648 auto num_children_or_err = synth_valobj.GetNumChildren(
649 max: llvm::SaturatingAdd(X: max_num_children, Y: uint32_t(1)));
650 if (!num_children_or_err)
651 return num_children_or_err;
652 if (*num_children_or_err > max_num_children) {
653 print_dotdotdot = true;
654 return max_num_children;
655 }
656 return num_children_or_err;
657}
658
659void ValueObjectPrinter::PrintChildrenPostamble(bool print_dotdotdot) {
660 if (!m_options.m_flat_output) {
661 if (print_dotdotdot) {
662 GetMostSpecializedValue()
663 .GetTargetSP()
664 ->GetDebugger()
665 .GetCommandInterpreter()
666 .ChildrenTruncated();
667 m_stream->Indent(s: "...\n");
668 }
669 m_stream->IndentLess();
670 m_stream->Indent(s: "}\n");
671 }
672}
673
674bool ValueObjectPrinter::ShouldPrintEmptyBrackets(bool value_printed,
675 bool summary_printed) {
676 ValueObject &synth_valobj = GetValueObjectForChildrenGeneration();
677
678 if (!IsAggregate())
679 return false;
680
681 if (!m_options.m_reveal_empty_aggregates) {
682 if (value_printed || summary_printed)
683 return false;
684 }
685
686 if (synth_valobj.MightHaveChildren())
687 return true;
688
689 if (m_val_summary_ok)
690 return false;
691
692 return true;
693}
694
695static constexpr size_t PhysicalIndexForLogicalIndex(size_t base, size_t stride,
696 size_t logical) {
697 return base + logical * stride;
698}
699
700ValueObjectSP ValueObjectPrinter::GenerateChild(ValueObject &synth_valobj,
701 size_t idx) {
702 if (m_options.m_pointer_as_array) {
703 // if generating pointer-as-array children, use GetSyntheticArrayMember
704 return synth_valobj.GetSyntheticArrayMember(
705 index: PhysicalIndexForLogicalIndex(
706 base: m_options.m_pointer_as_array.m_base_element,
707 stride: m_options.m_pointer_as_array.m_stride, logical: idx),
708 can_create: true);
709 } else {
710 // otherwise, do the usual thing
711 return synth_valobj.GetChildAtIndex(idx);
712 }
713}
714
715void ValueObjectPrinter::PrintChildren(
716 bool value_printed, bool summary_printed,
717 const DumpValueObjectOptions::PointerDepth &curr_ptr_depth) {
718 ValueObject &synth_valobj = GetValueObjectForChildrenGeneration();
719
720 bool print_dotdotdot = false;
721 auto num_children_or_err = GetMaxNumChildrenToPrint(print_dotdotdot);
722 if (!num_children_or_err) {
723 *m_stream << " <" << llvm::toString(E: num_children_or_err.takeError()) << '>';
724 return;
725 }
726 uint32_t num_children = *num_children_or_err;
727 if (num_children) {
728 bool any_children_printed = false;
729
730 for (size_t idx = 0; idx < num_children; ++idx) {
731 if (ValueObjectSP child_sp = GenerateChild(synth_valobj, idx)) {
732 if (m_options.m_child_printing_decider &&
733 !m_options.m_child_printing_decider(child_sp->GetName()))
734 continue;
735 if (!any_children_printed) {
736 PrintChildrenPreamble(value_printed, summary_printed);
737 any_children_printed = true;
738 }
739 PrintChild(child_sp, curr_ptr_depth);
740 }
741 }
742
743 if (any_children_printed)
744 PrintChildrenPostamble(print_dotdotdot);
745 else {
746 if (ShouldPrintEmptyBrackets(value_printed, summary_printed)) {
747 if (ShouldPrintValueObject())
748 m_stream->PutCString(cstr: " {}\n");
749 else
750 m_stream->EOL();
751 } else
752 m_stream->EOL();
753 }
754 } else if (ShouldPrintEmptyBrackets(value_printed, summary_printed)) {
755 // Aggregate, no children...
756 if (ShouldPrintValueObject()) {
757 // if it has a synthetic value, then don't print {}, the synthetic
758 // children are probably only being used to vend a value
759 if (GetMostSpecializedValue().DoesProvideSyntheticValue() ||
760 !ShouldExpandEmptyAggregates())
761 m_stream->PutCString(cstr: "\n");
762 else
763 m_stream->PutCString(cstr: " {}\n");
764 }
765 } else {
766 if (ShouldPrintValueObject())
767 m_stream->EOL();
768 }
769}
770
771bool ValueObjectPrinter::PrintChildrenOneLiner(bool hide_names) {
772 ValueObject &synth_valobj = GetValueObjectForChildrenGeneration();
773
774 bool print_dotdotdot = false;
775 auto num_children_or_err = GetMaxNumChildrenToPrint(print_dotdotdot);
776 if (!num_children_or_err) {
777 *m_stream << '<' << llvm::toString(E: num_children_or_err.takeError()) << '>';
778 return true;
779 }
780 uint32_t num_children = *num_children_or_err;
781
782 if (num_children) {
783 m_stream->PutChar(ch: '(');
784
785 bool did_print_children = false;
786 for (uint32_t idx = 0; idx < num_children; ++idx) {
787 lldb::ValueObjectSP child_sp(synth_valobj.GetChildAtIndex(idx));
788 if (child_sp)
789 child_sp = child_sp->GetQualifiedRepresentationIfAvailable(
790 dynValue: m_options.m_use_dynamic, synthValue: m_options.m_use_synthetic);
791 if (child_sp) {
792 if (m_options.m_child_printing_decider &&
793 !m_options.m_child_printing_decider(child_sp->GetName()))
794 continue;
795 if (idx && did_print_children)
796 m_stream->PutCString(cstr: ", ");
797 did_print_children = true;
798 if (!hide_names) {
799 const char *name = child_sp.get()->GetName().AsCString();
800 if (name && *name) {
801 m_stream->PutCString(cstr: name);
802 m_stream->PutCString(cstr: " = ");
803 }
804 }
805 child_sp->DumpPrintableRepresentation(
806 s&: *m_stream, val_obj_display: ValueObject::eValueObjectRepresentationStyleSummary,
807 custom_format: m_options.m_format,
808 special: ValueObject::PrintableRepresentationSpecialCases::eDisable);
809 }
810 }
811
812 if (print_dotdotdot)
813 m_stream->PutCString(cstr: ", ...)");
814 else
815 m_stream->PutChar(ch: ')');
816 }
817 return true;
818}
819
820llvm::Error ValueObjectPrinter::PrintChildrenIfNeeded(bool value_printed,
821 bool summary_printed) {
822 auto error = PrintObjectDescriptionIfNeeded(value_printed, summary_printed);
823 if (error)
824 return error;
825
826 ValueObject &valobj = GetMostSpecializedValue();
827
828 DumpValueObjectOptions::PointerDepth curr_ptr_depth = m_ptr_depth;
829 const bool print_children = ShouldPrintChildren(curr_ptr_depth);
830 const bool print_oneline =
831 (curr_ptr_depth.CanAllowExpansion() || m_options.m_show_types ||
832 !m_options.m_allow_oneliner_mode || m_options.m_flat_output ||
833 (m_options.m_pointer_as_array) || m_options.m_show_location)
834 ? false
835 : DataVisualization::ShouldPrintAsOneLiner(valobj);
836 if (print_children && IsInstancePointer()) {
837 uint64_t instance_ptr_value = valobj.GetValueAsUnsigned(fail_value: 0);
838 if (m_printed_instance_pointers->count(x: instance_ptr_value)) {
839 // We already printed this instance-is-pointer thing, so don't expand it.
840 m_stream->PutCString(cstr: " {...}\n");
841 return llvm::Error::success();
842 } else {
843 // Remember this guy for future reference.
844 m_printed_instance_pointers->emplace(args&: instance_ptr_value);
845 }
846 }
847
848 if (print_children) {
849 if (print_oneline) {
850 m_stream->PutChar(ch: ' ');
851 PrintChildrenOneLiner(hide_names: false);
852 m_stream->EOL();
853 } else
854 PrintChildren(value_printed, summary_printed, curr_ptr_depth);
855 } else if (HasReachedMaximumDepth() && IsAggregate() &&
856 ShouldPrintValueObject()) {
857 m_stream->PutCString(cstr: "{...}\n");
858 // The maximum child depth has been reached. If `m_max_depth` is the default
859 // (i.e. the user has _not_ customized it), then lldb presents a warning to
860 // the user. The warning tells the user that the limit has been reached, but
861 // more importantly tells them how to expand the limit if desired.
862 if (m_options.m_max_depth_is_default)
863 valobj.GetTargetSP()
864 ->GetDebugger()
865 .GetCommandInterpreter()
866 .SetReachedMaximumDepth();
867 } else
868 m_stream->EOL();
869 return llvm::Error::success();
870}
871
872bool ValueObjectPrinter::HasReachedMaximumDepth() {
873 return m_curr_depth >= m_options.m_max_depth;
874}
875
876bool ValueObjectPrinter::ShouldShowName() const {
877 if (m_curr_depth == 0)
878 return !m_options.m_hide_root_name && !m_options.m_hide_name;
879 return !m_options.m_hide_name;
880}
881

Provided by KDAB

Privacy Policy
Update your C++ knowledge – Modern C++11/14/17 Training
Find out more

source code of lldb/source/DataFormatters/ValueObjectPrinter.cpp