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
20 using namespace lldb;
21 using namespace lldb_private;
22
ValueObjectPrinter(ValueObject & valobj,Stream * s)23 ValueObjectPrinter::ValueObjectPrinter(ValueObject &valobj, Stream *s)
24 : m_orig_valobj(valobj) {
25 DumpValueObjectOptions options(valobj);
26 Init(valobj, s, options, m_options.m_max_ptr_depth, 0, nullptr);
27 }
28
ValueObjectPrinter(ValueObject & valobj,Stream * s,const DumpValueObjectOptions & options)29 ValueObjectPrinter::ValueObjectPrinter(ValueObject &valobj, Stream *s,
30 const DumpValueObjectOptions &options)
31 : m_orig_valobj(valobj) {
32 Init(valobj, s, options, m_options.m_max_ptr_depth, 0, nullptr);
33 }
34
ValueObjectPrinter(ValueObject & valobj,Stream * s,const DumpValueObjectOptions & options,const DumpValueObjectOptions::PointerDepth & ptr_depth,uint32_t curr_depth,InstancePointersSetSP printed_instance_pointers)35 ValueObjectPrinter::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
Init(ValueObject & valobj,Stream * s,const DumpValueObjectOptions & options,const DumpValueObjectOptions::PointerDepth & ptr_depth,uint32_t curr_depth,InstancePointersSetSP printed_instance_pointers)43 void 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("");
62 m_summary.assign("");
63 m_error.assign("");
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
PrintValueObject()72 llvm::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
GetMostSpecializedValue()100 ValueObject &ValueObjectPrinter::GetMostSpecializedValue() {
101 assert(m_cached_valobj && "ValueObjectPrinter must have a valid ValueObject");
102 return *m_cached_valobj;
103 }
104
SetupMostSpecializedValue()105 void ValueObjectPrinter::SetupMostSpecializedValue() {
106 bool update_success = m_orig_valobj.UpdateValueIfNeeded(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(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
GetDescriptionForDisplay()147 llvm::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(maybe_str.takeError());
162 return str;
163 }
164
GetRootNameForDisplay()165 const 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
ShouldPrintValueObject()173 bool ValueObjectPrinter::ShouldPrintValueObject() {
174 if (m_should_print == eLazyBoolCalculate)
175 m_should_print =
176 (!m_options.m_flat_output || m_type_flags.Test(eTypeHasValue))
177 ? eLazyBoolYes
178 : eLazyBoolNo;
179 return m_should_print == eLazyBoolYes;
180 }
181
IsNil()182 bool 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
IsUninitialized()189 bool 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
IsPtr()197 bool ValueObjectPrinter::IsPtr() {
198 if (m_is_ptr == eLazyBoolCalculate)
199 m_is_ptr = m_type_flags.Test(eTypeIsPointer) ? eLazyBoolYes : eLazyBoolNo;
200 return m_is_ptr == eLazyBoolYes;
201 }
202
IsRef()203 bool ValueObjectPrinter::IsRef() {
204 if (m_is_ref == eLazyBoolCalculate)
205 m_is_ref = m_type_flags.Test(eTypeIsReference) ? eLazyBoolYes : eLazyBoolNo;
206 return m_is_ref == eLazyBoolYes;
207 }
208
IsAggregate()209 bool ValueObjectPrinter::IsAggregate() {
210 if (m_is_aggregate == eLazyBoolCalculate)
211 m_is_aggregate =
212 m_type_flags.Test(eTypeHasChildren) ? eLazyBoolYes : eLazyBoolNo;
213 return m_is_aggregate == eLazyBoolYes;
214 }
215
IsInstancePointer()216 bool 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
PrintLocationIfNeeded()229 bool ValueObjectPrinter::PrintLocationIfNeeded() {
230 if (m_options.m_show_location) {
231 m_stream->Printf("%s: ", GetMostSpecializedValue().GetLocationAsCString());
232 return true;
233 }
234 return false;
235 }
236
PrintDecl()237 void 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(" *"); iter != std::string::npos;
273 iter = type_name_str.find(" *")) {
274 type_name_str.erase(iter, 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(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(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(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("(%s) ", typeName.GetData());
325 if (!varName.Empty())
326 m_stream->Printf("%s =", varName.GetData());
327 else if (ShouldShowName())
328 m_stream->Printf(" =");
329 }
330 }
331
CheckScopeIfNeeded()332 bool ValueObjectPrinter::CheckScopeIfNeeded() {
333 if (m_options.m_scope_already_checked)
334 return true;
335 return GetMostSpecializedValue().IsInScope();
336 }
337
GetSummaryFormatter(bool null_if_omitted)338 TypeSummaryImpl *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
IsPointerValue(const CompilerType & type)355 static bool IsPointerValue(const CompilerType &type) {
356 Flags type_flags(type.GetTypeInfo());
357 if (type_flags.AnySet(eTypeInstanceIsPointer | eTypeIsPointer))
358 return type_flags.AllClear(eTypeIsBuiltIn);
359 return false;
360 }
361
GetValueSummaryError(std::string & value,std::string & summary,std::string & error)362 void 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(lldb::eFormatDefault, value);
371 else if (format != eFormatDefault && format != valobj.GetFormat())
372 valobj.GetValueAsCString(format, value);
373 else {
374 const char *val_cstr = valobj.GetValueAsCString();
375 if (val_cstr)
376 value.assign(val_cstr);
377 }
378 const char *err_cstr = valobj.GetError().AsCString();
379 if (err_cstr)
380 error.assign(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(lang_type)) {
391 summary.assign(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("NULL");
396 }
397 } else if (IsUninitialized()) {
398 summary.assign("<uninitialized>");
399 } else if (m_options.m_omit_summary_depth == 0) {
400 TypeSummaryImpl *entry = GetSummaryFormatter();
401 if (entry) {
402 valobj.GetSummaryAsCString(entry, summary,
403 m_options.m_varformat_language);
404 } else {
405 const char *sum_cstr =
406 valobj.GetSummaryAsCString(m_options.m_varformat_language);
407 if (sum_cstr)
408 summary.assign(sum_cstr);
409 }
410 }
411 }
412
PrintValueAndSummaryIfNeeded(bool & value_printed,bool & summary_printed)413 bool ValueObjectPrinter::PrintValueAndSummaryIfNeeded(bool &value_printed,
414 bool &summary_printed) {
415 bool error_printed = false;
416 if (ShouldPrintValueObject()) {
417 if (!CheckScopeIfNeeded())
418 m_error.assign("out of scope");
419 if (m_error.empty()) {
420 GetValueSummaryError(m_value, m_summary, 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(" <could not resolve type>");
430 return false;
431 }
432
433 error_printed = true;
434 m_stream->Printf(" <%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) ||
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(valobj.GetCompilerType())) {
452 } else {
453 if (ShouldShowName())
454 m_stream->PutChar(' ');
455 m_stream->PutCString(m_value);
456 value_printed = true;
457 }
458 }
459
460 if (m_summary.size()) {
461 if (ShouldShowName() || value_printed)
462 m_stream->PutChar(' ');
463 m_stream->PutCString(m_summary);
464 summary_printed = true;
465 }
466 }
467 }
468 return !error_printed;
469 }
470
471 llvm::Error
PrintObjectDescriptionIfNeeded(bool value_printed,bool summary_printed)472 ValueObjectPrinter::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(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
CanAllowExpansion() const505 bool DumpValueObjectOptions::PointerDepth::CanAllowExpansion() const {
506 return m_count > 0;
507 }
508
ShouldPrintChildren(DumpValueObjectOptions::PointerDepth & curr_ptr_depth)509 bool 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);
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(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
ShouldExpandEmptyAggregates()566 bool ValueObjectPrinter::ShouldExpandEmptyAggregates() {
567 TypeSummaryImpl *entry = GetSummaryFormatter();
568
569 if (!entry)
570 return true;
571
572 return entry->DoesPrintEmptyAggregates();
573 }
574
GetValueObjectForChildrenGeneration()575 ValueObject &ValueObjectPrinter::GetValueObjectForChildrenGeneration() {
576 return GetMostSpecializedValue();
577 }
578
PrintChildrenPreamble(bool value_printed,bool summary_printed)579 void 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(": ");
588 } else if (value_printed || summary_printed || ShouldShowName()) {
589 m_stream->PutChar(' ');
590 }
591 m_stream->PutCString("{\n");
592 }
593 m_stream->IndentMore();
594 }
595 }
596
PrintChild(ValueObjectSP child_sp,const DumpValueObjectOptions::PointerDepth & curr_ptr_depth)597 void 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(std::move(error));
629 else
630 llvm::consumeError(std::move(error));
631 }
632 }
633 }
634
635 llvm::Expected<uint32_t>
GetMaxNumChildrenToPrint(bool & print_dotdotdot)636 ValueObjectPrinter::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 llvm::SaturatingAdd(max_num_children, 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
PrintChildrenPostamble(bool print_dotdotdot)659 void 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("...\n");
668 }
669 m_stream->IndentLess();
670 m_stream->Indent("}\n");
671 }
672 }
673
ShouldPrintEmptyBrackets(bool value_printed,bool summary_printed)674 bool 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
PhysicalIndexForLogicalIndex(size_t base,size_t stride,size_t logical)695 static constexpr size_t PhysicalIndexForLogicalIndex(size_t base, size_t stride,
696 size_t logical) {
697 return base + logical * stride;
698 }
699
GenerateChild(ValueObject & synth_valobj,size_t idx)700 ValueObjectSP 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 PhysicalIndexForLogicalIndex(
706 m_options.m_pointer_as_array.m_base_element,
707 m_options.m_pointer_as_array.m_stride, idx),
708 true);
709 } else {
710 // otherwise, do the usual thing
711 return synth_valobj.GetChildAtIndex(idx);
712 }
713 }
714
PrintChildren(bool value_printed,bool summary_printed,const DumpValueObjectOptions::PointerDepth & curr_ptr_depth)715 void 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(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(" {}\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("\n");
762 else
763 m_stream->PutCString(" {}\n");
764 }
765 } else {
766 if (ShouldPrintValueObject())
767 m_stream->EOL();
768 }
769 }
770
PrintChildrenOneLiner(bool hide_names)771 bool 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(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('(');
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 m_options.m_use_dynamic, 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(", ");
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(name);
802 m_stream->PutCString(" = ");
803 }
804 }
805 child_sp->DumpPrintableRepresentation(
806 *m_stream, ValueObject::eValueObjectRepresentationStyleSummary,
807 m_options.m_format,
808 ValueObject::PrintableRepresentationSpecialCases::eDisable);
809 }
810 }
811
812 if (print_dotdotdot)
813 m_stream->PutCString(", ...)");
814 else
815 m_stream->PutChar(')');
816 }
817 return true;
818 }
819
PrintChildrenIfNeeded(bool value_printed,bool summary_printed)820 llvm::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(0);
838 if (m_printed_instance_pointers->count(instance_ptr_value)) {
839 // We already printed this instance-is-pointer thing, so don't expand it.
840 m_stream->PutCString(" {...}\n");
841 return llvm::Error::success();
842 } else {
843 // Remember this guy for future reference.
844 m_printed_instance_pointers->emplace(instance_ptr_value);
845 }
846 }
847
848 if (print_children) {
849 if (print_oneline) {
850 m_stream->PutChar(' ');
851 PrintChildrenOneLiner(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("{...}\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
HasReachedMaximumDepth()872 bool ValueObjectPrinter::HasReachedMaximumDepth() {
873 return m_curr_depth >= m_options.m_max_depth;
874 }
875
ShouldShowName() const876 bool 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