[LLDB] libcxx summary formatters for std::string_view

[puremourning]

Summary

When printing a std::string_view, print the referenced string as the
summary. Support string_view, u32string_view, u16string_view and
wstring_view, as we do for std::string and friends.

This is based on the existing fomratter for std::string, and just
extracts the data and length members, pushing them through the existing
string formatter.

In testing this, a "FIXME" was corrected for printing of non-ASCII empty
values. Previously, the "u", 'U" etc. prefixes were not printed for
basic_string<> types that were not char. This is trivial to resolve by
printing the prefix before the "".

[puremourning]

I'm happy to revert/split out the change for empty strings, as this is perhaps contentious (and not exactly minimal for this patch).

Also, I'm only implementing libcxx (for now). We can follow up with libstdc++ in another patch if this is accepted.

This is my first lldb patch, so apologies if I did something out of ordinary.

[teemperor]

In D112222#3077988, @puremourning wrote:

I'm happy to revert/split out the change for empty strings, as this is perhaps contentious (and not exactly minimal for this patch).

I would actually prefer if we could split this into a separate change :) (Sorry!)

Also, I'm only implementing libcxx (for now). We can follow up with libstdc++ in another patch if this is accepted.

Sounds good to me.

This is my first lldb patch, so apologies if I did something out of ordinary.

Nope, I think this is actually looking pretty good. I just have a few nits that I'll try get around today/tomorrow.

[puremourning]

I would actually prefer if we could split this into a separate change :) (Sorry!)

No problem, that was my gut feeling at the time too.

[puremourning]

Remove change to the formatting of empty u16 and u32 strings

[puremourning]

RE-post with clang-format in path

[jingham]

lldb/test/API/functionalities/data-formatter/data-formatter-stl/libcxx/string_view/TestDataFormatterLibcxxStringView.py

63

We have lldbtest.expect_var_path for doing this sort of test. It makes these tests easier to read and less likely to be fooled by accidental matches.

[puremourning]

Use expect_var_path rather than just expect in test

[puremourning]

Thanks for the review!

lldb/test/API/functionalities/data-formatter/data-formatter-stl/libcxx/string_view/TestDataFormatterLibcxxStringView.py

63

Done. There's s slight difference in this API - the null pointer summary returns "" via this api rather than the output which returns "nullptr", so I've inlaced both in the test.

[shafik]

It looks good to me but can we verify it behaves nicely with undefined behavior cases e.g.:

std::string s = "Hellooooooooooooooo ";
std::string_view sv = s + "World\n";

and a case like the one that was fixed in D108228

I am not expecting any surprises since you are using the underlying string formatter but worth checking.

[puremourning]

Revert some formatting lost in rebase

[puremourning]

In D112222#3078896, @shafik wrote:

It looks good to me but can we verify it behaves nicely with undefined behavior cases e.g.:

std::string s = "Hellooooooooooooooo ";
std::string_view sv = s + "World\n";

Will add some cases, sure.

and a case like the one that was fixed in D108228

Thanks for the pointer! (no pun intended). I will apply the same change/mitigattion to my new code.

I am not expecting any surprises since you are using the underlying string formatter but worth checking.

yes, certainly is, thanks!

[puremourning]

Add some tests for dodgy inputs.
Handle invalid cases more consistently.
Factor out some copy paste code.

[puremourning]

Sorry, but is anything further required from me on this patch ?

[jingham]

In D112222#3141355, @puremourning wrote:

Sorry, but is anything further required from me on this patch ?

You addressed an issue Shafik asked you to, so then he should make sure he's happy with the change and mark the patch accepted. OTOH we're all busy so it's easy to let this sort of thing drop. On your end, you should wait a polite interval then issue a gentle ping in his direction... A week is an okay interval, I think, so now would be appropriate.

[puremourning]

In D112222#3141363, @jingham wrote:

In D112222#3141355, @puremourning wrote:

Sorry, but is anything further required from me on this patch ?

You addressed an issue Shafik asked you to, so then he should make sure he's happy with the change and mark the patch accepted. OTOH we're all busy so it's easy to let this sort of thing drop. On your end, you should wait a polite interval then issue a gentle ping in his direction... A week is an okay interval, I think, so now would be appropriate.

Sure, I wasn't nagging, just checking :) I completely understand how these things go. There's no rush.

[shafik]

Apologies, this dropped off my radar it LGTM, thank you!

[puremourning]

In D112222#3143966, @shafik wrote:

Apologies, this dropped off my radar it LGTM, thank you!

Thanks!

Sorry for my ignorance, but what's the next step to land this? Do you want me to rebase it first and push that, or is someone abele land this for me, as I don't have commit rights ?

[puremourning]

Just giving this a gentle nudge again. As I said before, there's no rush, but if there's any action I can take to get this landed, please let me know. Many thanks again, ben.

[puremourning]

Polite ping to get this committed.

I have rebased against main today and run the test, it still passes and the patch applies cleanly.

[puremourning]

Friendly ping to get this landed.

lldb/source/Plugins/Language/CPlusPlus/CPlusPlusLanguage.cpp

static void LoadLibCxxFormatters(lldb::TypeCategoryImplSP cpp_category_sp) {
   AddCXXSummary(cpp_category_sp,
                 lldb_private::formatters::LibcxxWStringSummaryProvider,
                 "std::wstring summary provider",
                 ConstString("^std::__[[:alnum:]]+::basic_string<wchar_t, "
                             "std::__[[:alnum:]]+::char_traits<wchar_t>, "
                             "std::__[[:alnum:]]+::allocator<wchar_t> >$"),
                 stl_summary_flags, true);
 
+  AddCXXSummary(cpp_category_sp,
+                lldb_private::formatters::LibcxxStringViewSummaryProviderASCII,
+                "std::string_view summary provider",
+                ConstString("^std::__[[:alnum:]]+::string_view$"),
+                stl_summary_flags, true);
+  AddCXXSummary(cpp_category_sp,
+                lldb_private::formatters::LibcxxStringViewSummaryProviderASCII,
+                "std::string_view summary provider",
+                ConstString("^std::__[[:alnum:]]+::basic_string_view<char, "
+                            "std::__[[:alnum:]]+::char_traits<char> >$"),
+                stl_summary_flags, true);
+  AddCXXSummary(
+      cpp_category_sp,
+      lldb_private::formatters::LibcxxStringViewSummaryProviderASCII,
+      "std::string_view summary provider",
+      ConstString("^std::__[[:alnum:]]+::basic_string_view<unsigned char, "
+                  "std::__[[:alnum:]]+::char_traits<unsigned char> >$"),
+      stl_summary_flags, true);
+
+  AddCXXSummary(cpp_category_sp,
+                lldb_private::formatters::LibcxxStringViewSummaryProviderUTF16,
+                "std::u16string_view summary provider",
+                ConstString("^std::__[[:alnum:]]+::basic_string_view<char16_t, "
+                            "std::__[[:alnum:]]+::char_traits<char16_t> >$"),
+                stl_summary_flags, true);
+
+  AddCXXSummary(cpp_category_sp,
+                lldb_private::formatters::LibcxxStringViewSummaryProviderUTF32,
+                "std::u32string_view summary provider",
+                ConstString("^std::__[[:alnum:]]+::basic_string_view<char32_t, "
+                            "std::__[[:alnum:]]+::char_traits<char32_t> >$"),
+                stl_summary_flags, true);
+
+  AddCXXSummary(cpp_category_sp,
+                lldb_private::formatters::LibcxxWStringViewSummaryProvider,
+                "std::wstring_view summary provider",
+                ConstString("^std::__[[:alnum:]]+::wstring_view$"),
+                stl_summary_flags, true);
+  AddCXXSummary(cpp_category_sp,
+                lldb_private::formatters::LibcxxWStringViewSummaryProvider,
+                "std::wstring_view summary provider",
+                ConstString("^std::__[[:alnum:]]+::basic_string_view<wchar_t, "
+                            "std::__[[:alnum:]]+::char_traits<wchar_t> >$"),
+                stl_summary_flags, true);
+
   SyntheticChildren::Flags stl_synth_flags;
   stl_synth_flags.SetCascades(true).SetSkipPointers(false).SetSkipReferences(
       false);
   SyntheticChildren::Flags stl_deref_flags = stl_synth_flags;
   stl_deref_flags.SetFrontEndWantsDereference();
 
   AddCXXSynthetic(
       cpp_category_sp,

lldb/source/Plugins/Language/CPlusPlus/LibCxx.h

 bool LibcxxStringSummaryProviderUTF32(
     ValueObject &valobj, Stream &stream,
     const TypeSummaryOptions &summary_options); // libc++ std::u32string
 
 bool LibcxxWStringSummaryProvider(
     ValueObject &valobj, Stream &stream,
     const TypeSummaryOptions &options); // libc++ std::wstring
 
+bool LibcxxStringViewSummaryProviderASCII(
+    ValueObject &valueObj, Stream &stream,
+    const TypeSummaryOptions &summary_options); // libc++ std::string_view
+
+bool LibcxxStringViewSummaryProviderUTF16(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &summary_options); // libc++ std::u16string_view
+
+bool LibcxxStringViewSummaryProviderUTF32(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &summary_options); // libc++ std::u32string_view
+
+bool LibcxxWStringViewSummaryProvider(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &options); // libc++ std::wstring_view
+
 bool LibcxxOptionalSummaryProvider(
     ValueObject &valobj, Stream &stream,
     const TypeSummaryOptions &options); // libc++ std::optional<>
 
 bool LibcxxSmartPointerSummaryProvider(
     ValueObject &valobj, Stream &stream,
     const TypeSummaryOptions
         &options); // libc++ std::shared_ptr<> and std::weak_ptr<>

lldb/source/Plugins/Language/CPlusPlus/LibCxx.cpp

 #include "lldb/Core/ValueObjectConstResult.h"
 #include "lldb/DataFormatters/FormattersHelpers.h"
 #include "lldb/DataFormatters/StringPrinter.h"
 #include "lldb/DataFormatters/TypeSummary.h"
 #include "lldb/DataFormatters/VectorIterator.h"
 #include "lldb/Target/ProcessStructReader.h"
 #include "lldb/Target/SectionLoadList.h"
 #include "lldb/Target/Target.h"
+#include "lldb/Utility/ConstString.h"
 #include "lldb/Utility/DataBufferHeap.h"
 #include "lldb/Utility/Endian.h"
 #include "lldb/Utility/Status.h"
 #include "lldb/Utility/Stream.h"
 
 #include "Plugins/LanguageRuntime/CPlusPlus/CPPLanguageRuntime.h"
 #include "Plugins/TypeSystem/Clang/TypeSystemClang.h"
+#include <tuple>
 
 using namespace lldb;
 using namespace lldb_private;
 using namespace lldb_private::formatters;
 
 bool lldb_private::formatters::LibcxxOptionalSummaryProvider(
     ValueObject &valobj, Stream &stream, const TypeSummaryOptions &options) {
   ValueObjectSP valobj_sp(valobj.GetNonSyntheticValue());

 /// extract its data payload. Return the size + payload pair.
 static llvm::Optional<std::pair<uint64_t, ValueObjectSP>>
 ExtractLibcxxStringInfo(ValueObject &valobj) {
   ValueObjectSP D(valobj.GetChildAtIndexPath({0, 0, 0, 0}));
   if (!D)
     return {};
 
   ValueObjectSP layout_decider(
       D->GetChildAtIndexPath(llvm::ArrayRef<size_t>({0, 0})));
 
   // this child should exist
   if (!layout_decider)
     return {};
 
   ConstString g_data_name("__data_");
   ConstString g_size_name("__size_");
   bool short_mode = false; // this means the string is in short-mode and the
ExtractLibcxxStringInfo(ValueObject &valobj) {
   const uint64_t capacity =
       capacity_vo->GetValueAsUnsigned(LLDB_INVALID_OFFSET);
   if (size == LLDB_INVALID_OFFSET || capacity == LLDB_INVALID_OFFSET ||
       capacity < size)
     return {};
   return std::make_pair(size, location_sp);
 }
 
-bool lldb_private::formatters::LibcxxWStringSummaryProvider(
-    ValueObject &valobj, Stream &stream,
-    const TypeSummaryOptions &summary_options) {
-  auto string_info = ExtractLibcxxStringInfo(valobj);
-  if (!string_info)
-    return false;
-  uint64_t size;
-  ValueObjectSP location_sp;
-  std::tie(size, location_sp) = *string_info;
-
+static bool
+LibcxxWStringSummaryProvider(ValueObject &valobj, Stream &stream,
+                             const TypeSummaryOptions &summary_options,
+                             ValueObjectSP location_sp, size_t size) {
   if (size == 0) {
     stream.Printf("L\"\"");
     return true;
   }
   if (!location_sp)
     return false;
 
-
   StringPrinter::ReadBufferAndDumpToStreamOptions options(valobj);
   if (summary_options.GetCapping() == TypeSummaryCapping::eTypeSummaryCapped) {
     const auto max_size = valobj.GetTargetSP()->GetMaximumSizeOfStringSummary();
     if (size > max_size) {
       size = max_size;
       options.SetIsTruncated(true);
     }
   }
LibcxxWStringSummaryProvider(ValueObject &valobj, Stream &stream,
   case 4:
     return StringPrinter::ReadBufferAndDumpToStream<
         lldb_private::formatters::StringPrinter::StringElementType::UTF32>(
         options);
   }
   return false;
 }
 
-template <StringPrinter::StringElementType element_type>
-bool LibcxxStringSummaryProvider(ValueObject &valobj, Stream &stream,
-                                 const TypeSummaryOptions &summary_options,
-                                 std::string prefix_token) {
+bool lldb_private::formatters::LibcxxWStringSummaryProvider(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &summary_options) {
   auto string_info = ExtractLibcxxStringInfo(valobj);
   if (!string_info)
     return false;
   uint64_t size;
   ValueObjectSP location_sp;
   std::tie(size, location_sp) = *string_info;
 
+  return ::LibcxxWStringSummaryProvider(valobj, stream, summary_options,
+                                        location_sp, size);
+}
+
+template <StringPrinter::StringElementType element_type>
+static bool
+LibcxxStringSummaryProvider(ValueObject &valobj, Stream &stream,
+                            const TypeSummaryOptions &summary_options,
+                            std::string prefix_token, ValueObjectSP location_sp,
+                            uint64_t size) {
+
   if (size == 0) {
     stream.Printf("\"\"");
     return true;
   }
 
   if (!location_sp)
     return false;
 
else
     options.SetPrefixToken(prefix_token);
   options.SetQuote('"');
   options.SetSourceSize(size);
   options.SetBinaryZeroIsTerminator(false);
   return StringPrinter::ReadBufferAndDumpToStream<element_type>(options);
 }
 
 template <StringPrinter::StringElementType element_type>
+static bool
+LibcxxStringSummaryProvider(ValueObject &valobj, Stream &stream,
+                            const TypeSummaryOptions &summary_options,
+                            std::string prefix_token) {
+  auto string_info = ExtractLibcxxStringInfo(valobj);
+  if (!string_info)
+    return false;
+  uint64_t size;
+  ValueObjectSP location_sp;
+  std::tie(size, location_sp) = *string_info;
+
+  return LibcxxStringSummaryProvider<element_type>(
+      valobj, stream, summary_options, prefix_token, location_sp, size);
+}
+template <StringPrinter::StringElementType element_type>
 static bool formatStringImpl(ValueObject &valobj, Stream &stream,
                              const TypeSummaryOptions &summary_options,
                              std::string prefix_token) {
   StreamString scratch_stream;
   const bool success = LibcxxStringSummaryProvider<element_type>(
       valobj, scratch_stream, summary_options, prefix_token);
   if (success)
     stream << scratch_stream.GetData();

 }
 
 bool lldb_private::formatters::LibcxxStringSummaryProviderUTF32(
     ValueObject &valobj, Stream &stream,
     const TypeSummaryOptions &summary_options) {
   return formatStringImpl<StringPrinter::StringElementType::UTF32>(
       valobj, stream, summary_options, "U");
 }
+
+static std::tuple<bool, ValueObjectSP, size_t>
+LibcxxExtractStringViewData(ValueObject& valobj) {
+  ConstString g_data_name("__data");
+  ConstString g_size_name("__size");
+  auto dataobj = valobj.GetChildMemberWithName(g_data_name, true);
+  auto sizeobj = valobj.GetChildMemberWithName(g_size_name, true);
+
+  if (!dataobj || !sizeobj)
+    return std::make_tuple<bool,ValueObjectSP,size_t>(false, {}, {});
+
+  if (!dataobj->GetError().Success() || !sizeobj->GetError().Success())
+    return std::make_tuple<bool,ValueObjectSP,size_t>(false, {}, {});
+
+  bool success{false};
+  uint64_t size = sizeobj->GetValueAsUnsigned(0, &success);
+  if (!success)
+    return std::make_tuple<bool,ValueObjectSP,size_t>(false, {}, {});
+
+  return std::make_tuple(true,dataobj,size);
+}
+
+template <StringPrinter::StringElementType element_type>
+static bool formatStringViewImpl(ValueObject &valobj, Stream &stream,
+                                 const TypeSummaryOptions &summary_options,
+                                 std::string prefix_token) {
+
+  bool success;
+  ValueObjectSP dataobj;
+  size_t size;
+  std::tie(success, dataobj, size) = LibcxxExtractStringViewData(valobj);
+
+  if (!success) {
+    stream << "Summary Unavailable";
+    return true;
+  }
+
+  return LibcxxStringSummaryProvider<element_type>(
+      valobj, stream, summary_options, prefix_token, dataobj, size);
+}
+
+bool lldb_private::formatters::LibcxxStringViewSummaryProviderASCII(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &summary_options) {
+  return formatStringViewImpl<StringPrinter::StringElementType::ASCII>(
+      valobj, stream, summary_options, "");
+}
+
+bool lldb_private::formatters::LibcxxStringViewSummaryProviderUTF16(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &summary_options) {
+  return formatStringViewImpl<StringPrinter::StringElementType::UTF16>(
+      valobj, stream, summary_options, "u");
+}
+
+bool lldb_private::formatters::LibcxxStringViewSummaryProviderUTF32(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &summary_options) {
+  return formatStringViewImpl<StringPrinter::StringElementType::UTF32>(
+      valobj, stream, summary_options, "U");
+}
+
+bool lldb_private::formatters::LibcxxWStringViewSummaryProvider(
+    ValueObject &valobj, Stream &stream,
+    const TypeSummaryOptions &summary_options) {
+
+  bool success;
+  ValueObjectSP dataobj;
+  size_t size;
+  std::tie( success, dataobj, size ) = LibcxxExtractStringViewData(valobj);
+
+  if (!success) {
+    stream << "Summary Unavailable";
+    return true;
+  }
+
+
+  return ::LibcxxWStringSummaryProvider(valobj, stream, summary_options,
+                                        dataobj, size);
+}

lldb/test/API/functionalities/data-formatter/data-formatter-stl/libcxx/string_view/Makefile

+CXX_SOURCES := main.cpp
+
+USE_LIBCPP := 1
+
+CXXFLAGS_EXTRAS := -std=c++11 -O0
+include Makefile.rules

lldb/test/API/functionalities/data-formatter/data-formatter-stl/libcxx/string_view/TestDataFormatterLibcxxStringView.py

+# coding=utf8
+"""
+Test lldb data formatter subsystem.
+"""
+
+
+
+import lldb
+from lldbsuite.test.decorators import *
+from lldbsuite.test.lldbtest import *
+from lldbsuite.test import lldbutil
+
+
+class LibcxxStringViewDataFormatterTestCase(TestBase):
+
+    mydir = TestBase.compute_mydir(__file__)
+
+    def setUp(self):
+        # Call super's setUp().
+        TestBase.setUp(self)
+        # Find the line number to break at.
+        self.line1 = line_number('main.cpp', '// Set break point at this line.')
+        self.line2 = line_number('main.cpp', '// Break here to look at bad string view.' )
+
+    @add_test_categories(["libc++"])
+    @expectedFailureAll(bugnumber="llvm.org/pr36109", debug_info="gmodules", triple=".*-android")
+    # Inline namespace is randomly ignored as Clang due to broken lookup inside
+    # the std namespace.
+    @expectedFailureAll(debug_info="gmodules")
+    def test_with_run_command(self):
+        """Test that that file and class static variables display correctly."""
+        self.build()
+        self.runCmd("file " + self.getBuildArtifact("a.out"), CURRENT_EXECUTABLE_SET)
+
+        lldbutil.run_break_set_by_file_and_line(
+            self, "main.cpp", self.line1, num_expected_locations=-1)
+        lldbutil.run_break_set_by_file_and_line(
+            self, "main.cpp", self.line2, num_expected_locations=-1)
+
+        self.runCmd("run", RUN_SUCCEEDED)
+
+        # The stop reason of the thread should be breakpoint.
+        self.expect("thread list", STOPPED_DUE_TO_BREAKPOINT,
+                    substrs=['stopped',
+                             'stop reason = breakpoint'])
+
+        # This is the function to remove the custom formats in order to have a
+        # clean slate for the next test case.
+        def cleanup():
+            self.runCmd('type format clear', check=False)
+            self.runCmd('type summary clear', check=False)
+            self.runCmd('type filter clear', check=False)
+            self.runCmd('type synth clear', check=False)
+            self.runCmd(
+                "settings set target.max-children-count 256",
+                check=False)
+
+        # Execute the cleanup function during test case tear down.
+        self.addTearDownHook(cleanup)
+
+        self.expect_var_path('wempty',
+                             type='std::wstring_view',
+                             summary='L""')
+        self.expect_var_path('s',
+                             type='std::wstring_view',
+                             summary='L"hello world! מזל טוב!"')
+        self.expect_var_path('S',
+                             type='std::wstring_view',
+                             summary='L"!!!!"')
+        self.expect_var_path('empty',
+                             type='std::string_view',
+                             summary='""')
+        self.expect_var_path('q_source',
+                             type='std::string',
+                             summary='"hello world"')
+        self.expect_var_path('q',
+                             type='std::string_view',
+                             summary='"hello world"')
+        self.expect_var_path('Q',
+                             type='std::string_view',
+                             summary='"quite a long std::strin with lots of info inside it"')
+        self.expect_var_path('IHaveEmbeddedZeros',
+                             type='std::string_view',
+                             summary='"a\\0b\\0c\\0d"')
+        self.expect_var_path('IHaveEmbeddedZerosToo',
+                             type='std::wstring_view',
+                             summary='L"hello world!\\0てざ ル゜䋨ミ㠧槊 きゅへ狦穤襩 じゃ馩リョ 䤦監"')
+        self.expect_var_path('u16_string',
+                             type='std::u16string_view',
+                             summary='u"ß水氶"')
+        self.expect_var_path('u16_empty',
+                             type='std::u16string_view',
+                             summary='""')
+        self.expect_var_path('u32_string',
+                             type='std::u32string_view',
+                             summary='U"🍄🍅🍆🍌"')
+        self.expect_var_path('u32_empty',
+                             type='std::u32string_view',
+                             summary='""')
+        self.expect_var_path('uchar_source',
+                             type='std::basic_string<unsigned char, std::char_traits<unsigned char>, std::allocator<unsigned char> >',
+                             summary='"aaaaaaaaaa"')
+        self.expect_var_path('uchar',
+                             type='std::basic_string_view<unsigned char, std::char_traits<unsigned char> >',
+                             summary='"aaaaa"')
+        self.expect_var_path('oops',
+                             type='std::string_view',
+                             summary='"Hellooo World\\n"')
+
+        # GetSummary returns None so can't be checked by expect_var_path, so we
+        # use the str representation instead
+        null_obj = self.frame().GetValueForVariablePath('null_str')
+        self.assertEqual(null_obj.GetSummary(), "Summary Unavailable")
+        self.assertEqual(str(null_obj),
+                         '(std::string_view *) null_str = nullptr');
+
+        self.runCmd("n")
+
+        TheVeryLongOne = self.frame().FindVariable("TheVeryLongOne")
+        summaryOptions = lldb.SBTypeSummaryOptions()
+        summaryOptions.SetCapping(lldb.eTypeSummaryUncapped)
+        uncappedSummaryStream = lldb.SBStream()
+        TheVeryLongOne.GetSummary(uncappedSummaryStream, summaryOptions)
+        uncappedSummary = uncappedSummaryStream.GetData()
+        self.assertTrue(uncappedSummary.find("someText") > 0,
+                        "uncappedSummary does not include the full string")
+        summaryOptions.SetCapping(lldb.eTypeSummaryCapped)
+        cappedSummaryStream = lldb.SBStream()
+        TheVeryLongOne.GetSummary(cappedSummaryStream, summaryOptions)
+        cappedSummary = cappedSummaryStream.GetData()
+        self.assertTrue(
+            cappedSummary.find("someText") <= 0,
+            "cappedSummary includes the full string")
+
+        self.expect_expr("s", result_type="std::wstring_view", result_summary='L"hello world! מזל טוב!"')
+
+        self.expect_var_path('wempty',
+                             type='std::wstring_view',
+                             summary='L""')
+        self.expect_var_path('s',
+                             type='std::wstring_view',
+                             summary='L"hello world! מזל טוב!"')
+        self.expect_var_path('S',
+                             type='std::wstring_view',
+                             summary='L"!!!!"')
+        self.expect_var_path('empty',
+                             type='std::string_view',
+                             summary='""')
+        self.expect_var_path('q_source',
+                             type='std::string',
+                             summary='"Hello world"')
+        self.expect_var_path('q',
+                             type='std::string_view',
+                             summary='"Hello world"')
+        self.expect_var_path('Q',
+                             type='std::string_view',
+                             summary='"quite a long std::strin with lots of info inside it"')
+        self.expect_var_path('IHaveEmbeddedZeros',
+                             type='std::string_view',
+                             summary='"a\\0b\\0c\\0d"')
+        self.expect_var_path('IHaveEmbeddedZerosToo',
+                             type='std::wstring_view',
+                             summary='L"hello world!\\0てざ ル゜䋨ミ㠧槊 きゅへ狦穤襩 じゃ馩リョ 䤦監"')
+        self.expect_var_path('u16_string',
+                             type='std::u16string_view',
+                             summary='u"ß水氶"')
+        self.expect_var_path('u16_empty',
+                             type='std::u16string_view',
+                             summary='""')
+        self.expect_var_path('u32_string',
+                             type='std::u32string_view',
+                             summary='U"🍄🍅🍆🍌"')
+        self.expect_var_path('u32_empty',
+                             type='std::u32string_view',
+                             summary='""')
+        self.expect_var_path('uchar_source',
+                             type='std::basic_string<unsigned char, std::char_traits<unsigned char>, std::allocator<unsigned char> >',
+                             summary='"aaaaaaaaaa"')
+        self.expect_var_path('uchar',
+                             type='std::basic_string_view<unsigned char, std::char_traits<unsigned char> >',
+                             summary='"aaaaa"')
+ 
+        self.runCmd('cont')
+        self.expect("thread list", STOPPED_DUE_TO_BREAKPOINT,
+                    substrs=['stopped',
+                             'stop reason = breakpoint'])
+
+        broken_obj = self.frame().GetValueForVariablePath('in_str_view')
+        self.assertEqual( broken_obj.GetSummary(), "Summary Unavailable" )

lldb/test/API/functionalities/data-formatter/data-formatter-stl/libcxx/string_view/main.cpp

+#include <stdint.h>
+#include <string>
+#include <string_view>
+
+static size_t touch_string(std::string_view &in_str_view) {
+  return in_str_view.size(); // Break here to look at bad string view.
+}
+
+int main() {
+  std::wstring_view wempty(L"");
+  std::wstring_view s(L"hello world! מזל טוב!");
+  std::wstring_view S(L"!!!!");
+  std::string_view empty("");
+  std::string q_source = "hello world";
+  std::string_view q(q_source);
+  std::string_view Q("quite a long std::strin with lots of info inside it");
+  std::string_view TheVeryLongOne(
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "9012345678901234567890123456789012345678901234567890someText123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "123456789012345678901234567890123456789012345678901234567890123456789012"
+      "345678901234567890123456789012345678901234567890123456789012345678901234"
+      "567890123456789012345678901234567890123456789012345678901234567890123456"
+      "789012345678901234567890123456789012345678901234567890123456789012345678"
+      "901234567890123456789012345678901234567890123456789012345678901234567890"
+      "1234567890123456789012345678901234567890");
+  std::string_view IHaveEmbeddedZeros("a\0b\0c\0d", 7);
+  std::wstring_view IHaveEmbeddedZerosToo(
+      L"hello world!\0てざ ル゜䋨ミ㠧槊 きゅへ狦穤襩 じゃ馩リョ 䤦監", 38);
+  std::u16string_view u16_string(u"ß水氶");
+  std::u16string_view u16_empty(u"");
+  std::u32string_view u32_string(U"🍄🍅🍆🍌");
+  std::u32string_view u32_empty(U"");
+  std::basic_string<unsigned char> uchar_source(10, 'a');
+  std::basic_string_view<unsigned char> uchar(uchar_source.data(), 5);
+  std::string_view *null_str = nullptr;
+
+  std::string hello = "Hellooo ";
+  std::string_view oops = hello + "World\n";
+
+  q_source[0] = 'H'; // Set break point at this line.
+
+  std::string_view *not_a_string_view = nullptr;
+  touch_string(*not_a_string_view);
+
+  return 0;
+}