1 //===-- CPlusPlusLanguage.cpp -----------------------------------*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "CPlusPlusLanguage.h" 11 12 // C Includes 13 #include <cctype> 14 #include <cstring> 15 16 // C++ Includes 17 #include <functional> 18 #include <memory> 19 #include <mutex> 20 #include <set> 21 22 // Other libraries and framework includes 23 #include "llvm/ADT/StringRef.h" 24 #include "llvm/Demangle/Demangle.h" 25 26 // Project includes 27 #include "lldb/Core/PluginManager.h" 28 #include "lldb/Core/UniqueCStringMap.h" 29 #include "lldb/DataFormatters/CXXFunctionPointer.h" 30 #include "lldb/DataFormatters/DataVisualization.h" 31 #include "lldb/DataFormatters/FormattersHelpers.h" 32 #include "lldb/DataFormatters/VectorType.h" 33 #include "lldb/Utility/ConstString.h" 34 #include "lldb/Utility/Log.h" 35 #include "lldb/Utility/RegularExpression.h" 36 37 #include "BlockPointer.h" 38 #include "CPlusPlusNameParser.h" 39 #include "CxxStringTypes.h" 40 #include "LibCxx.h" 41 #include "LibCxxAtomic.h" 42 #include "LibStdcpp.h" 43 44 using namespace lldb; 45 using namespace lldb_private; 46 using namespace lldb_private::formatters; 47 48 void CPlusPlusLanguage::Initialize() { 49 PluginManager::RegisterPlugin(GetPluginNameStatic(), "C++ Language", 50 CreateInstance); 51 } 52 53 void CPlusPlusLanguage::Terminate() { 54 PluginManager::UnregisterPlugin(CreateInstance); 55 } 56 57 lldb_private::ConstString CPlusPlusLanguage::GetPluginNameStatic() { 58 static ConstString g_name("cplusplus"); 59 return g_name; 60 } 61 62 //------------------------------------------------------------------ 63 // PluginInterface protocol 64 //------------------------------------------------------------------ 65 66 lldb_private::ConstString CPlusPlusLanguage::GetPluginName() { 67 return GetPluginNameStatic(); 68 } 69 70 uint32_t CPlusPlusLanguage::GetPluginVersion() { return 1; } 71 72 //------------------------------------------------------------------ 73 // Static Functions 74 //------------------------------------------------------------------ 75 76 Language *CPlusPlusLanguage::CreateInstance(lldb::LanguageType language) { 77 if (Language::LanguageIsCPlusPlus(language)) 78 return new CPlusPlusLanguage(); 79 return nullptr; 80 } 81 82 void CPlusPlusLanguage::MethodName::Clear() { 83 m_full.Clear(); 84 m_basename = llvm::StringRef(); 85 m_context = llvm::StringRef(); 86 m_arguments = llvm::StringRef(); 87 m_qualifiers = llvm::StringRef(); 88 m_parsed = false; 89 m_parse_error = false; 90 } 91 92 static bool ReverseFindMatchingChars(const llvm::StringRef &s, 93 const llvm::StringRef &left_right_chars, 94 size_t &left_pos, size_t &right_pos, 95 size_t pos = llvm::StringRef::npos) { 96 assert(left_right_chars.size() == 2); 97 left_pos = llvm::StringRef::npos; 98 const char left_char = left_right_chars[0]; 99 const char right_char = left_right_chars[1]; 100 pos = s.find_last_of(left_right_chars, pos); 101 if (pos == llvm::StringRef::npos || s[pos] == left_char) 102 return false; 103 right_pos = pos; 104 uint32_t depth = 1; 105 while (pos > 0 && depth > 0) { 106 pos = s.find_last_of(left_right_chars, pos); 107 if (pos == llvm::StringRef::npos) 108 return false; 109 if (s[pos] == left_char) { 110 if (--depth == 0) { 111 left_pos = pos; 112 return left_pos < right_pos; 113 } 114 } else if (s[pos] == right_char) { 115 ++depth; 116 } 117 } 118 return false; 119 } 120 121 static bool IsTrivialBasename(const llvm::StringRef &basename) { 122 // Check that the basename matches with the following regular expression 123 // "^~?([A-Za-z_][A-Za-z_0-9]*)$" We are using a hand written implementation 124 // because it is significantly more efficient then using the general purpose 125 // regular expression library. 126 size_t idx = 0; 127 if (basename.size() > 0 && basename[0] == '~') 128 idx = 1; 129 130 if (basename.size() <= idx) 131 return false; // Empty string or "~" 132 133 if (!std::isalpha(basename[idx]) && basename[idx] != '_') 134 return false; // First charater (after removing the possible '~'') isn't in 135 // [A-Za-z_] 136 137 // Read all characters matching [A-Za-z_0-9] 138 ++idx; 139 while (idx < basename.size()) { 140 if (!std::isalnum(basename[idx]) && basename[idx] != '_') 141 break; 142 ++idx; 143 } 144 145 // We processed all characters. It is a vaild basename. 146 if (idx == basename.size()) 147 return true; 148 149 return false; 150 } 151 152 bool CPlusPlusLanguage::MethodName::TrySimplifiedParse() { 153 // This method tries to parse simple method definitions which are presumably 154 // most comman in user programs. Definitions that can be parsed by this 155 // function don't have return types and templates in the name. 156 // A::B::C::fun(std::vector<T> &) const 157 size_t arg_start, arg_end; 158 llvm::StringRef full(m_full.GetCString()); 159 llvm::StringRef parens("()", 2); 160 if (ReverseFindMatchingChars(full, parens, arg_start, arg_end)) { 161 m_arguments = full.substr(arg_start, arg_end - arg_start + 1); 162 if (arg_end + 1 < full.size()) 163 m_qualifiers = full.substr(arg_end + 1).ltrim(); 164 165 if (arg_start == 0) 166 return false; 167 size_t basename_end = arg_start; 168 size_t context_start = 0; 169 size_t context_end = full.rfind(':', basename_end); 170 if (context_end == llvm::StringRef::npos) 171 m_basename = full.substr(0, basename_end); 172 else { 173 if (context_start < context_end) 174 m_context = full.substr(context_start, context_end - 1 - context_start); 175 const size_t basename_begin = context_end + 1; 176 m_basename = full.substr(basename_begin, basename_end - basename_begin); 177 } 178 179 if (IsTrivialBasename(m_basename)) { 180 return true; 181 } else { 182 // The C++ basename doesn't match our regular expressions so this can't 183 // be a valid C++ method, clear everything out and indicate an error 184 m_context = llvm::StringRef(); 185 m_basename = llvm::StringRef(); 186 m_arguments = llvm::StringRef(); 187 m_qualifiers = llvm::StringRef(); 188 return false; 189 } 190 } 191 return false; 192 } 193 194 void CPlusPlusLanguage::MethodName::Parse() { 195 if (!m_parsed && m_full) { 196 if (TrySimplifiedParse()) { 197 m_parse_error = false; 198 } else { 199 CPlusPlusNameParser parser(m_full.GetStringRef()); 200 if (auto function = parser.ParseAsFunctionDefinition()) { 201 m_basename = function.getValue().name.basename; 202 m_context = function.getValue().name.context; 203 m_arguments = function.getValue().arguments; 204 m_qualifiers = function.getValue().qualifiers; 205 m_parse_error = false; 206 } else { 207 m_parse_error = true; 208 } 209 } 210 m_parsed = true; 211 } 212 } 213 214 llvm::StringRef CPlusPlusLanguage::MethodName::GetBasename() { 215 if (!m_parsed) 216 Parse(); 217 return m_basename; 218 } 219 220 llvm::StringRef CPlusPlusLanguage::MethodName::GetContext() { 221 if (!m_parsed) 222 Parse(); 223 return m_context; 224 } 225 226 llvm::StringRef CPlusPlusLanguage::MethodName::GetArguments() { 227 if (!m_parsed) 228 Parse(); 229 return m_arguments; 230 } 231 232 llvm::StringRef CPlusPlusLanguage::MethodName::GetQualifiers() { 233 if (!m_parsed) 234 Parse(); 235 return m_qualifiers; 236 } 237 238 std::string CPlusPlusLanguage::MethodName::GetScopeQualifiedName() { 239 if (!m_parsed) 240 Parse(); 241 if (m_context.empty()) 242 return m_basename; 243 244 std::string res; 245 res += m_context; 246 res += "::"; 247 res += m_basename; 248 return res; 249 } 250 251 bool CPlusPlusLanguage::IsCPPMangledName(const char *name) { 252 // FIXME!! we should really run through all the known C++ Language plugins 253 // and ask each one if this is a C++ mangled name 254 255 if (name == nullptr) 256 return false; 257 258 // MSVC style mangling 259 if (name[0] == '?') 260 return true; 261 262 return (name[0] != '\0' && name[0] == '_' && name[1] == 'Z'); 263 } 264 265 bool CPlusPlusLanguage::ExtractContextAndIdentifier( 266 const char *name, llvm::StringRef &context, llvm::StringRef &identifier) { 267 CPlusPlusNameParser parser(name); 268 if (auto full_name = parser.ParseAsFullName()) { 269 identifier = full_name.getValue().basename; 270 context = full_name.getValue().context; 271 return true; 272 } 273 return false; 274 } 275 276 /// Given a mangled function `mangled`, replace all the primitive function type 277 /// arguments of `search` with type `replace`. 278 static ConstString SubsPrimitiveParmItanium(llvm::StringRef mangled, 279 llvm::StringRef search, 280 llvm::StringRef replace) { 281 class PrimitiveParmSubs { 282 llvm::StringRef mangled; 283 llvm::StringRef search; 284 llvm::StringRef replace; 285 ptrdiff_t read_pos; 286 std::string output; 287 std::back_insert_iterator<std::string> writer; 288 289 public: 290 PrimitiveParmSubs(llvm::StringRef m, llvm::StringRef s, llvm::StringRef r) 291 : mangled(m), search(s), replace(r), read_pos(0), 292 writer(std::back_inserter(output)) {} 293 294 void Substitute(llvm::StringRef tail) { 295 assert(tail.data() >= mangled.data() && 296 tail.data() < mangled.data() + mangled.size() && 297 "tail must point into range of mangled"); 298 299 if (tail.startswith(search)) { 300 auto reader = mangled.begin() + read_pos; 301 ptrdiff_t read_len = tail.data() - (mangled.data() + read_pos); 302 303 // First write the unmatched part of the original. Then write the 304 // replacement string. Finally skip the search string in the original. 305 writer = std::copy(reader, reader + read_len, writer); 306 writer = std::copy(replace.begin(), replace.end(), writer); 307 read_pos += read_len + search.size(); 308 } 309 } 310 311 ConstString Finalize() { 312 // If we did a substitution, write the remaining part of the original. 313 if (read_pos > 0) { 314 writer = std::copy(mangled.begin() + read_pos, mangled.end(), writer); 315 read_pos = mangled.size(); 316 } 317 318 return ConstString(output); 319 } 320 321 static void Callback(void *context, const char *match) { 322 ((PrimitiveParmSubs *)context)->Substitute(llvm::StringRef(match)); 323 } 324 }; 325 326 // The demangler will call back for each instance of a primitive type, 327 // allowing us to perform substitution 328 PrimitiveParmSubs parmSubs(mangled, search, replace); 329 assert(mangled.data()[mangled.size()] == '\0' && "Expect C-String"); 330 bool err = llvm::itaniumFindTypesInMangledName(mangled.data(), &parmSubs, 331 PrimitiveParmSubs::Callback); 332 ConstString result = parmSubs.Finalize(); 333 334 if (Log *log = GetLogIfAllCategoriesSet(LIBLLDB_LOG_LANGUAGE)) { 335 if (err) 336 LLDB_LOG(log, "Failed to substitute mangling in {0}", mangled); 337 else if (result) 338 LLDB_LOG(log, "Substituted mangling {0} -> {1}", mangled, result); 339 } 340 341 return result; 342 } 343 344 uint32_t CPlusPlusLanguage::FindAlternateFunctionManglings( 345 const ConstString mangled_name, std::set<ConstString> &alternates) { 346 const auto start_size = alternates.size(); 347 /// Get a basic set of alternative manglings for the given symbol `name`, by 348 /// making a few basic possible substitutions on basic types, storage duration 349 /// and `const`ness for the given symbol. The output parameter `alternates` 350 /// is filled with a best-guess, non-exhaustive set of different manglings 351 /// for the given name. 352 353 // Maybe we're looking for a const symbol but the debug info told us it was 354 // non-const... 355 if (!strncmp(mangled_name.GetCString(), "_ZN", 3) && 356 strncmp(mangled_name.GetCString(), "_ZNK", 4)) { 357 std::string fixed_scratch("_ZNK"); 358 fixed_scratch.append(mangled_name.GetCString() + 3); 359 alternates.insert(ConstString(fixed_scratch)); 360 } 361 362 // Maybe we're looking for a static symbol but we thought it was global... 363 if (!strncmp(mangled_name.GetCString(), "_Z", 2) && 364 strncmp(mangled_name.GetCString(), "_ZL", 3)) { 365 std::string fixed_scratch("_ZL"); 366 fixed_scratch.append(mangled_name.GetCString() + 2); 367 alternates.insert(ConstString(fixed_scratch)); 368 } 369 370 // `char` is implementation defined as either `signed` or `unsigned`. As a 371 // result a char parameter has 3 possible manglings: 'c'-char, 'a'-signed 372 // char, 'h'-unsigned char. If we're looking for symbols with a signed char 373 // parameter, try finding matches which have the general case 'c'. 374 if (ConstString char_fixup = 375 SubsPrimitiveParmItanium(mangled_name.GetStringRef(), "a", "c")) 376 alternates.insert(char_fixup); 377 378 // long long parameter mangling 'x', may actually just be a long 'l' argument 379 if (ConstString long_fixup = 380 SubsPrimitiveParmItanium(mangled_name.GetStringRef(), "x", "l")) 381 alternates.insert(long_fixup); 382 383 // unsigned long long parameter mangling 'y', may actually just be unsigned 384 // long 'm' argument 385 if (ConstString ulong_fixup = 386 SubsPrimitiveParmItanium(mangled_name.GetStringRef(), "y", "m")) 387 alternates.insert(ulong_fixup); 388 389 return alternates.size() - start_size; 390 } 391 392 static void LoadLibCxxFormatters(lldb::TypeCategoryImplSP cpp_category_sp) { 393 if (!cpp_category_sp) 394 return; 395 396 TypeSummaryImpl::Flags stl_summary_flags; 397 stl_summary_flags.SetCascades(true) 398 .SetSkipPointers(false) 399 .SetSkipReferences(false) 400 .SetDontShowChildren(true) 401 .SetDontShowValue(true) 402 .SetShowMembersOneLiner(false) 403 .SetHideItemNames(false); 404 405 #ifndef LLDB_DISABLE_PYTHON 406 lldb::TypeSummaryImplSP std_string_summary_sp(new CXXFunctionSummaryFormat( 407 stl_summary_flags, lldb_private::formatters::LibcxxStringSummaryProvider, 408 "std::string summary provider")); 409 lldb::TypeSummaryImplSP std_wstring_summary_sp(new CXXFunctionSummaryFormat( 410 stl_summary_flags, lldb_private::formatters::LibcxxWStringSummaryProvider, 411 "std::wstring summary provider")); 412 413 cpp_category_sp->GetTypeSummariesContainer()->Add( 414 ConstString("std::__1::string"), std_string_summary_sp); 415 cpp_category_sp->GetTypeSummariesContainer()->Add( 416 ConstString("std::__ndk1::string"), std_string_summary_sp); 417 cpp_category_sp->GetTypeSummariesContainer()->Add( 418 ConstString("std::__1::basic_string<char, std::__1::char_traits<char>, " 419 "std::__1::allocator<char> >"), 420 std_string_summary_sp); 421 cpp_category_sp->GetTypeSummariesContainer()->Add( 422 ConstString("std::__ndk1::basic_string<char, " 423 "std::__ndk1::char_traits<char>, " 424 "std::__ndk1::allocator<char> >"), 425 std_string_summary_sp); 426 427 cpp_category_sp->GetTypeSummariesContainer()->Add( 428 ConstString("std::__1::wstring"), std_wstring_summary_sp); 429 cpp_category_sp->GetTypeSummariesContainer()->Add( 430 ConstString("std::__ndk1::wstring"), std_wstring_summary_sp); 431 cpp_category_sp->GetTypeSummariesContainer()->Add( 432 ConstString("std::__1::basic_string<wchar_t, " 433 "std::__1::char_traits<wchar_t>, " 434 "std::__1::allocator<wchar_t> >"), 435 std_wstring_summary_sp); 436 cpp_category_sp->GetTypeSummariesContainer()->Add( 437 ConstString("std::__ndk1::basic_string<wchar_t, " 438 "std::__ndk1::char_traits<wchar_t>, " 439 "std::__ndk1::allocator<wchar_t> >"), 440 std_wstring_summary_sp); 441 442 SyntheticChildren::Flags stl_synth_flags; 443 stl_synth_flags.SetCascades(true).SetSkipPointers(false).SetSkipReferences( 444 false); 445 SyntheticChildren::Flags stl_deref_flags = stl_synth_flags; 446 stl_deref_flags.SetFrontEndWantsDereference(); 447 448 AddCXXSynthetic( 449 cpp_category_sp, 450 lldb_private::formatters::LibcxxBitsetSyntheticFrontEndCreator, 451 "libc++ std::bitset synthetic children", 452 ConstString("^std::__(ndk)?1::bitset<.+>(( )?&)?$"), stl_deref_flags, 453 true); 454 AddCXXSynthetic( 455 cpp_category_sp, 456 lldb_private::formatters::LibcxxStdVectorSyntheticFrontEndCreator, 457 "libc++ std::vector synthetic children", 458 ConstString("^std::__(ndk)?1::vector<.+>(( )?&)?$"), stl_deref_flags, 459 true); 460 AddCXXSynthetic( 461 cpp_category_sp, 462 lldb_private::formatters::LibcxxStdForwardListSyntheticFrontEndCreator, 463 "libc++ std::forward_list synthetic children", 464 ConstString("^std::__(ndk)?1::forward_list<.+>(( )?&)?$"), 465 stl_synth_flags, true); 466 AddCXXSynthetic( 467 cpp_category_sp, 468 lldb_private::formatters::LibcxxStdListSyntheticFrontEndCreator, 469 "libc++ std::list synthetic children", 470 ConstString("^std::__(ndk)?1::list<.+>(( )?&)?$"), stl_synth_flags, true); 471 AddCXXSynthetic( 472 cpp_category_sp, 473 lldb_private::formatters::LibcxxStdMapSyntheticFrontEndCreator, 474 "libc++ std::map synthetic children", 475 ConstString("^std::__(ndk)?1::map<.+> >(( )?&)?$"), stl_synth_flags, 476 true); 477 AddCXXSynthetic( 478 cpp_category_sp, 479 lldb_private::formatters::LibcxxStdMapSyntheticFrontEndCreator, 480 "libc++ std::set synthetic children", 481 ConstString("^std::__(ndk)?1::set<.+> >(( )?&)?$"), stl_deref_flags, 482 true); 483 AddCXXSynthetic( 484 cpp_category_sp, 485 lldb_private::formatters::LibcxxStdMapSyntheticFrontEndCreator, 486 "libc++ std::multiset synthetic children", 487 ConstString("^std::__(ndk)?1::multiset<.+> >(( )?&)?$"), stl_deref_flags, 488 true); 489 AddCXXSynthetic( 490 cpp_category_sp, 491 lldb_private::formatters::LibcxxStdMapSyntheticFrontEndCreator, 492 "libc++ std::multimap synthetic children", 493 ConstString("^std::__(ndk)?1::multimap<.+> >(( )?&)?$"), stl_synth_flags, 494 true); 495 AddCXXSynthetic( 496 cpp_category_sp, 497 lldb_private::formatters::LibcxxStdUnorderedMapSyntheticFrontEndCreator, 498 "libc++ std::unordered containers synthetic children", 499 ConstString("^(std::__(ndk)?1::)unordered_(multi)?(map|set)<.+> >$"), 500 stl_synth_flags, true); 501 AddCXXSynthetic( 502 cpp_category_sp, 503 lldb_private::formatters::LibcxxInitializerListSyntheticFrontEndCreator, 504 "libc++ std::initializer_list synthetic children", 505 ConstString("^std::initializer_list<.+>(( )?&)?$"), stl_synth_flags, 506 true); 507 AddCXXSynthetic(cpp_category_sp, LibcxxQueueFrontEndCreator, 508 "libc++ std::queue synthetic children", 509 ConstString("^std::__(ndk)?1::queue<.+>(( )?&)?$"), 510 stl_synth_flags, true); 511 AddCXXSynthetic(cpp_category_sp, LibcxxTupleFrontEndCreator, 512 "libc++ std::tuple synthetic children", 513 ConstString("^std::__(ndk)?1::tuple<.*>(( )?&)?$"), stl_synth_flags, 514 true); 515 AddCXXSynthetic(cpp_category_sp, LibcxxOptionalFrontEndCreator, 516 "libc++ std::optional synthetic children", 517 ConstString("^std::__(ndk)?1::optional<.+>(( )?&)?$"), 518 stl_synth_flags, true); 519 AddCXXSynthetic( 520 cpp_category_sp, 521 lldb_private::formatters::LibcxxAtomicSyntheticFrontEndCreator, 522 "libc++ std::atomic synthetic children", 523 ConstString("^std::__(ndk)?1::atomic<.+>$"), stl_synth_flags, true); 524 525 cpp_category_sp->GetRegexTypeSyntheticsContainer()->Add( 526 RegularExpressionSP(new RegularExpression( 527 llvm::StringRef("^(std::__(ndk)?1::)deque<.+>(( )?&)?$"))), 528 SyntheticChildrenSP(new ScriptedSyntheticChildren( 529 stl_synth_flags, 530 "lldb.formatters.cpp.libcxx.stddeque_SynthProvider"))); 531 532 AddCXXSynthetic( 533 cpp_category_sp, 534 lldb_private::formatters::LibcxxSharedPtrSyntheticFrontEndCreator, 535 "shared_ptr synthetic children", 536 ConstString("^(std::__(ndk)?1::)shared_ptr<.+>(( )?&)?$"), 537 stl_synth_flags, true); 538 AddCXXSynthetic( 539 cpp_category_sp, 540 lldb_private::formatters::LibcxxSharedPtrSyntheticFrontEndCreator, 541 "weak_ptr synthetic children", 542 ConstString("^(std::__(ndk)?1::)weak_ptr<.+>(( )?&)?$"), stl_synth_flags, 543 true); 544 545 AddCXXSummary( 546 cpp_category_sp, lldb_private::formatters::LibcxxFunctionSummaryProvider, 547 "libc++ std::function summary provider", 548 ConstString("^std::__(ndk)?1::function<.+>$"), stl_summary_flags, true); 549 550 stl_summary_flags.SetDontShowChildren(false); 551 stl_summary_flags.SetSkipPointers(false); 552 AddCXXSummary(cpp_category_sp, 553 lldb_private::formatters::LibcxxContainerSummaryProvider, 554 "libc++ std::bitset summary provider", 555 ConstString("^std::__(ndk)?1::bitset<.+>(( )?&)?$"), 556 stl_summary_flags, true); 557 AddCXXSummary(cpp_category_sp, 558 lldb_private::formatters::LibcxxContainerSummaryProvider, 559 "libc++ std::vector summary provider", 560 ConstString("^std::__(ndk)?1::vector<.+>(( )?&)?$"), 561 stl_summary_flags, true); 562 AddCXXSummary(cpp_category_sp, 563 lldb_private::formatters::LibcxxContainerSummaryProvider, 564 "libc++ std::list summary provider", 565 ConstString("^std::__(ndk)?1::forward_list<.+>(( )?&)?$"), 566 stl_summary_flags, true); 567 AddCXXSummary(cpp_category_sp, 568 lldb_private::formatters::LibcxxContainerSummaryProvider, 569 "libc++ std::list summary provider", 570 ConstString("^std::__(ndk)?1::list<.+>(( )?&)?$"), 571 stl_summary_flags, true); 572 AddCXXSummary(cpp_category_sp, 573 lldb_private::formatters::LibcxxContainerSummaryProvider, 574 "libc++ std::map summary provider", 575 ConstString("^std::__(ndk)?1::map<.+>(( )?&)?$"), 576 stl_summary_flags, true); 577 AddCXXSummary(cpp_category_sp, 578 lldb_private::formatters::LibcxxContainerSummaryProvider, 579 "libc++ std::deque summary provider", 580 ConstString("^std::__(ndk)?1::deque<.+>(( )?&)?$"), 581 stl_summary_flags, true); 582 AddCXXSummary(cpp_category_sp, 583 lldb_private::formatters::LibcxxContainerSummaryProvider, 584 "libc++ std::queue summary provider", 585 ConstString("^std::__(ndk)?1::queue<.+>(( )?&)?$"), 586 stl_summary_flags, true); 587 AddCXXSummary(cpp_category_sp, 588 lldb_private::formatters::LibcxxContainerSummaryProvider, 589 "libc++ std::set summary provider", 590 ConstString("^std::__(ndk)?1::set<.+>(( )?&)?$"), 591 stl_summary_flags, true); 592 AddCXXSummary(cpp_category_sp, 593 lldb_private::formatters::LibcxxContainerSummaryProvider, 594 "libc++ std::multiset summary provider", 595 ConstString("^std::__(ndk)?1::multiset<.+>(( )?&)?$"), 596 stl_summary_flags, true); 597 AddCXXSummary(cpp_category_sp, 598 lldb_private::formatters::LibcxxContainerSummaryProvider, 599 "libc++ std::multimap summary provider", 600 ConstString("^std::__(ndk)?1::multimap<.+>(( )?&)?$"), 601 stl_summary_flags, true); 602 AddCXXSummary( 603 cpp_category_sp, lldb_private::formatters::LibcxxContainerSummaryProvider, 604 "libc++ std::unordered containers summary provider", 605 ConstString("^(std::__(ndk)?1::)unordered_(multi)?(map|set)<.+> >$"), 606 stl_summary_flags, true); 607 AddCXXSummary(cpp_category_sp, LibcxxContainerSummaryProvider, 608 "libc++ std::tuple summary provider", 609 ConstString("^std::__(ndk)?1::tuple<.*>(( )?&)?$"), stl_summary_flags, 610 true); 611 AddCXXSummary( 612 cpp_category_sp, lldb_private::formatters::LibCxxAtomicSummaryProvider, 613 "libc++ std::atomic summary provider", 614 ConstString("^std::__(ndk)?1::atomic<.+>$"), stl_summary_flags, true); 615 AddCXXSummary(cpp_category_sp, 616 lldb_private::formatters::LibcxxOptionalSummaryProvider, 617 "libc++ std::optional summary provider", 618 ConstString("^std::__(ndk)?1::optional<.+>(( )?&)?$"), 619 stl_summary_flags, true); 620 621 stl_summary_flags.SetSkipPointers(true); 622 623 AddCXXSummary(cpp_category_sp, 624 lldb_private::formatters::LibcxxSmartPointerSummaryProvider, 625 "libc++ std::shared_ptr summary provider", 626 ConstString("^std::__(ndk)?1::shared_ptr<.+>(( )?&)?$"), 627 stl_summary_flags, true); 628 AddCXXSummary(cpp_category_sp, 629 lldb_private::formatters::LibcxxSmartPointerSummaryProvider, 630 "libc++ std::weak_ptr summary provider", 631 ConstString("^std::__(ndk)?1::weak_ptr<.+>(( )?&)?$"), 632 stl_summary_flags, true); 633 634 AddCXXSynthetic( 635 cpp_category_sp, 636 lldb_private::formatters::LibCxxVectorIteratorSyntheticFrontEndCreator, 637 "std::vector iterator synthetic children", 638 ConstString("^std::__(ndk)?1::__wrap_iter<.+>$"), stl_synth_flags, true); 639 640 AddCXXSynthetic( 641 cpp_category_sp, 642 lldb_private::formatters::LibCxxMapIteratorSyntheticFrontEndCreator, 643 "std::map iterator synthetic children", 644 ConstString("^std::__(ndk)?1::__map_iterator<.+>$"), stl_synth_flags, 645 true); 646 #endif 647 } 648 649 static void LoadLibStdcppFormatters(lldb::TypeCategoryImplSP cpp_category_sp) { 650 if (!cpp_category_sp) 651 return; 652 653 TypeSummaryImpl::Flags stl_summary_flags; 654 stl_summary_flags.SetCascades(true) 655 .SetSkipPointers(false) 656 .SetSkipReferences(false) 657 .SetDontShowChildren(true) 658 .SetDontShowValue(true) 659 .SetShowMembersOneLiner(false) 660 .SetHideItemNames(false); 661 662 lldb::TypeSummaryImplSP std_string_summary_sp( 663 new StringSummaryFormat(stl_summary_flags, "${var._M_dataplus._M_p}")); 664 665 lldb::TypeSummaryImplSP cxx11_string_summary_sp(new CXXFunctionSummaryFormat( 666 stl_summary_flags, LibStdcppStringSummaryProvider, 667 "libstdc++ c++11 std::string summary provider")); 668 lldb::TypeSummaryImplSP cxx11_wstring_summary_sp(new CXXFunctionSummaryFormat( 669 stl_summary_flags, LibStdcppWStringSummaryProvider, 670 "libstdc++ c++11 std::wstring summary provider")); 671 672 cpp_category_sp->GetTypeSummariesContainer()->Add(ConstString("std::string"), 673 std_string_summary_sp); 674 cpp_category_sp->GetTypeSummariesContainer()->Add( 675 ConstString("std::basic_string<char>"), std_string_summary_sp); 676 cpp_category_sp->GetTypeSummariesContainer()->Add( 677 ConstString("std::basic_string<char,std::char_traits<char>,std::" 678 "allocator<char> >"), 679 std_string_summary_sp); 680 cpp_category_sp->GetTypeSummariesContainer()->Add( 681 ConstString("std::basic_string<char, std::char_traits<char>, " 682 "std::allocator<char> >"), 683 std_string_summary_sp); 684 685 cpp_category_sp->GetTypeSummariesContainer()->Add( 686 ConstString("std::__cxx11::string"), cxx11_string_summary_sp); 687 cpp_category_sp->GetTypeSummariesContainer()->Add( 688 ConstString("std::__cxx11::basic_string<char, std::char_traits<char>, " 689 "std::allocator<char> >"), 690 cxx11_string_summary_sp); 691 692 // making sure we force-pick the summary for printing wstring (_M_p is a 693 // wchar_t*) 694 lldb::TypeSummaryImplSP std_wstring_summary_sp( 695 new StringSummaryFormat(stl_summary_flags, "${var._M_dataplus._M_p%S}")); 696 697 cpp_category_sp->GetTypeSummariesContainer()->Add(ConstString("std::wstring"), 698 std_wstring_summary_sp); 699 cpp_category_sp->GetTypeSummariesContainer()->Add( 700 ConstString("std::basic_string<wchar_t>"), std_wstring_summary_sp); 701 cpp_category_sp->GetTypeSummariesContainer()->Add( 702 ConstString("std::basic_string<wchar_t,std::char_traits<wchar_t>,std::" 703 "allocator<wchar_t> >"), 704 std_wstring_summary_sp); 705 cpp_category_sp->GetTypeSummariesContainer()->Add( 706 ConstString("std::basic_string<wchar_t, std::char_traits<wchar_t>, " 707 "std::allocator<wchar_t> >"), 708 std_wstring_summary_sp); 709 710 cpp_category_sp->GetTypeSummariesContainer()->Add( 711 ConstString("std::__cxx11::wstring"), cxx11_wstring_summary_sp); 712 cpp_category_sp->GetTypeSummariesContainer()->Add( 713 ConstString("std::__cxx11::basic_string<wchar_t, " 714 "std::char_traits<wchar_t>, std::allocator<wchar_t> >"), 715 cxx11_wstring_summary_sp); 716 717 #ifndef LLDB_DISABLE_PYTHON 718 719 SyntheticChildren::Flags stl_synth_flags; 720 stl_synth_flags.SetCascades(true).SetSkipPointers(false).SetSkipReferences( 721 false); 722 723 cpp_category_sp->GetRegexTypeSyntheticsContainer()->Add( 724 RegularExpressionSP( 725 new RegularExpression(llvm::StringRef("^std::vector<.+>(( )?&)?$"))), 726 SyntheticChildrenSP(new ScriptedSyntheticChildren( 727 stl_synth_flags, 728 "lldb.formatters.cpp.gnu_libstdcpp.StdVectorSynthProvider"))); 729 cpp_category_sp->GetRegexTypeSyntheticsContainer()->Add( 730 RegularExpressionSP( 731 new RegularExpression(llvm::StringRef("^std::map<.+> >(( )?&)?$"))), 732 SyntheticChildrenSP(new ScriptedSyntheticChildren( 733 stl_synth_flags, 734 "lldb.formatters.cpp.gnu_libstdcpp.StdMapSynthProvider"))); 735 cpp_category_sp->GetRegexTypeSyntheticsContainer()->Add( 736 RegularExpressionSP(new RegularExpression( 737 llvm::StringRef("^std::(__cxx11::)?list<.+>(( )?&)?$"))), 738 SyntheticChildrenSP(new ScriptedSyntheticChildren( 739 stl_synth_flags, 740 "lldb.formatters.cpp.gnu_libstdcpp.StdListSynthProvider"))); 741 stl_summary_flags.SetDontShowChildren(false); 742 stl_summary_flags.SetSkipPointers(true); 743 cpp_category_sp->GetRegexTypeSummariesContainer()->Add( 744 RegularExpressionSP( 745 new RegularExpression(llvm::StringRef("^std::vector<.+>(( )?&)?$"))), 746 TypeSummaryImplSP( 747 new StringSummaryFormat(stl_summary_flags, "size=${svar%#}"))); 748 cpp_category_sp->GetRegexTypeSummariesContainer()->Add( 749 RegularExpressionSP( 750 new RegularExpression(llvm::StringRef("^std::map<.+> >(( )?&)?$"))), 751 TypeSummaryImplSP( 752 new StringSummaryFormat(stl_summary_flags, "size=${svar%#}"))); 753 cpp_category_sp->GetRegexTypeSummariesContainer()->Add( 754 RegularExpressionSP(new RegularExpression( 755 llvm::StringRef("^std::(__cxx11::)?list<.+>(( )?&)?$"))), 756 TypeSummaryImplSP( 757 new StringSummaryFormat(stl_summary_flags, "size=${svar%#}"))); 758 759 AddCXXSynthetic( 760 cpp_category_sp, 761 lldb_private::formatters::LibStdcppVectorIteratorSyntheticFrontEndCreator, 762 "std::vector iterator synthetic children", 763 ConstString("^__gnu_cxx::__normal_iterator<.+>$"), stl_synth_flags, true); 764 765 AddCXXSynthetic( 766 cpp_category_sp, 767 lldb_private::formatters::LibstdcppMapIteratorSyntheticFrontEndCreator, 768 "std::map iterator synthetic children", 769 ConstString("^std::_Rb_tree_iterator<.+>$"), stl_synth_flags, true); 770 771 AddCXXSynthetic( 772 cpp_category_sp, 773 lldb_private::formatters::LibStdcppUniquePtrSyntheticFrontEndCreator, 774 "std::unique_ptr synthetic children", 775 ConstString("^std::unique_ptr<.+>(( )?&)?$"), stl_synth_flags, true); 776 AddCXXSynthetic( 777 cpp_category_sp, 778 lldb_private::formatters::LibStdcppSharedPtrSyntheticFrontEndCreator, 779 "std::shared_ptr synthetic children", 780 ConstString("^std::shared_ptr<.+>(( )?&)?$"), stl_synth_flags, true); 781 AddCXXSynthetic( 782 cpp_category_sp, 783 lldb_private::formatters::LibStdcppSharedPtrSyntheticFrontEndCreator, 784 "std::weak_ptr synthetic children", 785 ConstString("^std::weak_ptr<.+>(( )?&)?$"), stl_synth_flags, true); 786 AddCXXSynthetic( 787 cpp_category_sp, 788 lldb_private::formatters::LibStdcppTupleSyntheticFrontEndCreator, 789 "std::tuple synthetic children", ConstString("^std::tuple<.+>(( )?&)?$"), 790 stl_synth_flags, true); 791 792 AddCXXSummary(cpp_category_sp, 793 lldb_private::formatters::LibStdcppUniquePointerSummaryProvider, 794 "libstdc++ std::unique_ptr summary provider", 795 ConstString("^std::unique_ptr<.+>(( )?&)?$"), stl_summary_flags, 796 true); 797 AddCXXSummary(cpp_category_sp, 798 lldb_private::formatters::LibStdcppSmartPointerSummaryProvider, 799 "libstdc++ std::shared_ptr summary provider", 800 ConstString("^std::shared_ptr<.+>(( )?&)?$"), stl_summary_flags, 801 true); 802 AddCXXSummary(cpp_category_sp, 803 lldb_private::formatters::LibStdcppSmartPointerSummaryProvider, 804 "libstdc++ std::weak_ptr summary provider", 805 ConstString("^std::weak_ptr<.+>(( )?&)?$"), stl_summary_flags, 806 true); 807 #endif 808 } 809 810 static void LoadSystemFormatters(lldb::TypeCategoryImplSP cpp_category_sp) { 811 if (!cpp_category_sp) 812 return; 813 814 TypeSummaryImpl::Flags string_flags; 815 string_flags.SetCascades(true) 816 .SetSkipPointers(true) 817 .SetSkipReferences(false) 818 .SetDontShowChildren(true) 819 .SetDontShowValue(false) 820 .SetShowMembersOneLiner(false) 821 .SetHideItemNames(false); 822 823 TypeSummaryImpl::Flags string_array_flags; 824 string_array_flags.SetCascades(true) 825 .SetSkipPointers(true) 826 .SetSkipReferences(false) 827 .SetDontShowChildren(true) 828 .SetDontShowValue(true) 829 .SetShowMembersOneLiner(false) 830 .SetHideItemNames(false); 831 832 #ifndef LLDB_DISABLE_PYTHON 833 // FIXME because of a bug in the FormattersContainer we need to add a summary 834 // for both X* and const X* (<rdar://problem/12717717>) 835 AddCXXSummary( 836 cpp_category_sp, lldb_private::formatters::Char16StringSummaryProvider, 837 "char16_t * summary provider", ConstString("char16_t *"), string_flags); 838 AddCXXSummary(cpp_category_sp, 839 lldb_private::formatters::Char16StringSummaryProvider, 840 "char16_t [] summary provider", 841 ConstString("char16_t \\[[0-9]+\\]"), string_array_flags, true); 842 843 AddCXXSummary( 844 cpp_category_sp, lldb_private::formatters::Char32StringSummaryProvider, 845 "char32_t * summary provider", ConstString("char32_t *"), string_flags); 846 AddCXXSummary(cpp_category_sp, 847 lldb_private::formatters::Char32StringSummaryProvider, 848 "char32_t [] summary provider", 849 ConstString("char32_t \\[[0-9]+\\]"), string_array_flags, true); 850 851 AddCXXSummary( 852 cpp_category_sp, lldb_private::formatters::WCharStringSummaryProvider, 853 "wchar_t * summary provider", ConstString("wchar_t *"), string_flags); 854 AddCXXSummary(cpp_category_sp, 855 lldb_private::formatters::WCharStringSummaryProvider, 856 "wchar_t * summary provider", 857 ConstString("wchar_t \\[[0-9]+\\]"), string_array_flags, true); 858 859 AddCXXSummary( 860 cpp_category_sp, lldb_private::formatters::Char16StringSummaryProvider, 861 "unichar * summary provider", ConstString("unichar *"), string_flags); 862 863 TypeSummaryImpl::Flags widechar_flags; 864 widechar_flags.SetDontShowValue(true) 865 .SetSkipPointers(true) 866 .SetSkipReferences(false) 867 .SetCascades(true) 868 .SetDontShowChildren(true) 869 .SetHideItemNames(true) 870 .SetShowMembersOneLiner(false); 871 872 AddCXXSummary( 873 cpp_category_sp, lldb_private::formatters::Char16SummaryProvider, 874 "char16_t summary provider", ConstString("char16_t"), widechar_flags); 875 AddCXXSummary( 876 cpp_category_sp, lldb_private::formatters::Char32SummaryProvider, 877 "char32_t summary provider", ConstString("char32_t"), widechar_flags); 878 AddCXXSummary(cpp_category_sp, lldb_private::formatters::WCharSummaryProvider, 879 "wchar_t summary provider", ConstString("wchar_t"), 880 widechar_flags); 881 882 AddCXXSummary( 883 cpp_category_sp, lldb_private::formatters::Char16SummaryProvider, 884 "unichar summary provider", ConstString("unichar"), widechar_flags); 885 #endif 886 } 887 888 std::unique_ptr<Language::TypeScavenger> CPlusPlusLanguage::GetTypeScavenger() { 889 class CPlusPlusTypeScavenger : public Language::ImageListTypeScavenger { 890 public: 891 virtual CompilerType AdjustForInclusion(CompilerType &candidate) override { 892 LanguageType lang_type(candidate.GetMinimumLanguage()); 893 if (!Language::LanguageIsC(lang_type) && 894 !Language::LanguageIsCPlusPlus(lang_type)) 895 return CompilerType(); 896 if (candidate.IsTypedefType()) 897 return candidate.GetTypedefedType(); 898 return candidate; 899 } 900 }; 901 902 return std::unique_ptr<TypeScavenger>(new CPlusPlusTypeScavenger()); 903 } 904 905 lldb::TypeCategoryImplSP CPlusPlusLanguage::GetFormatters() { 906 static llvm::once_flag g_initialize; 907 static TypeCategoryImplSP g_category; 908 909 llvm::call_once(g_initialize, [this]() -> void { 910 DataVisualization::Categories::GetCategory(GetPluginName(), g_category); 911 if (g_category) { 912 LoadLibCxxFormatters(g_category); 913 LoadLibStdcppFormatters(g_category); 914 LoadSystemFormatters(g_category); 915 } 916 }); 917 return g_category; 918 } 919 920 HardcodedFormatters::HardcodedSummaryFinder 921 CPlusPlusLanguage::GetHardcodedSummaries() { 922 static llvm::once_flag g_initialize; 923 static ConstString g_vectortypes("VectorTypes"); 924 static HardcodedFormatters::HardcodedSummaryFinder g_formatters; 925 926 llvm::call_once(g_initialize, []() -> void { 927 g_formatters.push_back( 928 [](lldb_private::ValueObject &valobj, lldb::DynamicValueType, 929 FormatManager &) -> TypeSummaryImpl::SharedPointer { 930 static CXXFunctionSummaryFormat::SharedPointer formatter_sp( 931 new CXXFunctionSummaryFormat( 932 TypeSummaryImpl::Flags(), 933 lldb_private::formatters::CXXFunctionPointerSummaryProvider, 934 "Function pointer summary provider")); 935 if (valobj.GetCompilerType().IsFunctionPointerType()) { 936 return formatter_sp; 937 } 938 return nullptr; 939 }); 940 g_formatters.push_back( 941 [](lldb_private::ValueObject &valobj, lldb::DynamicValueType, 942 FormatManager &fmt_mgr) -> TypeSummaryImpl::SharedPointer { 943 static CXXFunctionSummaryFormat::SharedPointer formatter_sp( 944 new CXXFunctionSummaryFormat( 945 TypeSummaryImpl::Flags() 946 .SetCascades(true) 947 .SetDontShowChildren(true) 948 .SetHideItemNames(true) 949 .SetShowMembersOneLiner(true) 950 .SetSkipPointers(true) 951 .SetSkipReferences(false), 952 lldb_private::formatters::VectorTypeSummaryProvider, 953 "vector_type pointer summary provider")); 954 if (valobj.GetCompilerType().IsVectorType(nullptr, nullptr)) { 955 if (fmt_mgr.GetCategory(g_vectortypes)->IsEnabled()) 956 return formatter_sp; 957 } 958 return nullptr; 959 }); 960 g_formatters.push_back( 961 [](lldb_private::ValueObject &valobj, lldb::DynamicValueType, 962 FormatManager &fmt_mgr) -> TypeSummaryImpl::SharedPointer { 963 static CXXFunctionSummaryFormat::SharedPointer formatter_sp( 964 new CXXFunctionSummaryFormat( 965 TypeSummaryImpl::Flags() 966 .SetCascades(true) 967 .SetDontShowChildren(true) 968 .SetHideItemNames(true) 969 .SetShowMembersOneLiner(true) 970 .SetSkipPointers(true) 971 .SetSkipReferences(false), 972 lldb_private::formatters::BlockPointerSummaryProvider, 973 "block pointer summary provider")); 974 if (valobj.GetCompilerType().IsBlockPointerType(nullptr)) { 975 return formatter_sp; 976 } 977 return nullptr; 978 }); 979 }); 980 981 return g_formatters; 982 } 983 984 HardcodedFormatters::HardcodedSyntheticFinder 985 CPlusPlusLanguage::GetHardcodedSynthetics() { 986 static llvm::once_flag g_initialize; 987 static ConstString g_vectortypes("VectorTypes"); 988 static HardcodedFormatters::HardcodedSyntheticFinder g_formatters; 989 990 llvm::call_once(g_initialize, []() -> void { 991 g_formatters.push_back([](lldb_private::ValueObject &valobj, 992 lldb::DynamicValueType, 993 FormatManager & 994 fmt_mgr) -> SyntheticChildren::SharedPointer { 995 static CXXSyntheticChildren::SharedPointer formatter_sp( 996 new CXXSyntheticChildren( 997 SyntheticChildren::Flags() 998 .SetCascades(true) 999 .SetSkipPointers(true) 1000 .SetSkipReferences(true) 1001 .SetNonCacheable(true), 1002 "vector_type synthetic children", 1003 lldb_private::formatters::VectorTypeSyntheticFrontEndCreator)); 1004 if (valobj.GetCompilerType().IsVectorType(nullptr, nullptr)) { 1005 if (fmt_mgr.GetCategory(g_vectortypes)->IsEnabled()) 1006 return formatter_sp; 1007 } 1008 return nullptr; 1009 }); 1010 g_formatters.push_back([](lldb_private::ValueObject &valobj, 1011 lldb::DynamicValueType, 1012 FormatManager & 1013 fmt_mgr) -> SyntheticChildren::SharedPointer { 1014 static CXXSyntheticChildren::SharedPointer formatter_sp( 1015 new CXXSyntheticChildren( 1016 SyntheticChildren::Flags() 1017 .SetCascades(true) 1018 .SetSkipPointers(true) 1019 .SetSkipReferences(true) 1020 .SetNonCacheable(true), 1021 "block pointer synthetic children", 1022 lldb_private::formatters::BlockPointerSyntheticFrontEndCreator)); 1023 if (valobj.GetCompilerType().IsBlockPointerType(nullptr)) { 1024 return formatter_sp; 1025 } 1026 return nullptr; 1027 }); 1028 1029 }); 1030 1031 return g_formatters; 1032 } 1033 1034 bool CPlusPlusLanguage::IsSourceFile(llvm::StringRef file_path) const { 1035 const auto suffixes = {".cpp", ".cxx", ".c++", ".cc", ".c", 1036 ".h", ".hh", ".hpp", ".hxx", ".h++"}; 1037 for (auto suffix : suffixes) { 1038 if (file_path.endswith_lower(suffix)) 1039 return true; 1040 } 1041 1042 // Check if we're in a STL path (where the files usually have no extension 1043 // that we could check for. 1044 return file_path.contains("/usr/include/c++/"); 1045 } 1046