diff --git a/lldb/source/Plugins/Language/CPlusPlus/MsvcStlVariant.cpp b/lldb/source/Plugins/Language/CPlusPlus/MsvcStlVariant.cpp index 3e7647be48bb0..55e964256264f 100644 --- a/lldb/source/Plugins/Language/CPlusPlus/MsvcStlVariant.cpp +++ b/lldb/source/Plugins/Language/CPlusPlus/MsvcStlVariant.cpp @@ -67,12 +67,18 @@ std::optional GetIndexValue(ValueObject &valobj) { ValueObjectSP GetNthStorage(ValueObject &outer, int64_t index) { // We need to find the std::_Variant_storage base class. - // -> std::_SMF_control (typedef to std::_Variant_base) - ValueObjectSP container_sp = outer.GetSP()->GetChildAtIndex(0); - if (!container_sp) + // Navigate "down" to std::_Variant_base by finding the holder of "_Which". + // This might be down a few levels if a variant member isn't trivially + // destructible/copyable/etc. + ValueObjectSP which_sp = outer.GetChildMemberWithName("_Which"); + if (!which_sp) + return nullptr; + ValueObject *parent = which_sp->GetParent(); + if (!parent) return nullptr; - // -> std::_Variant_storage - container_sp = container_sp->GetChildAtIndex(0); + + // Now go to std::_Variant_storage. + ValueObjectSP container_sp = parent->GetChildAtIndex(0); if (!container_sp) return nullptr; diff --git a/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/TestDataFormatterStdVariant.py b/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/TestDataFormatterStdVariant.py index 1ae07a91dfe3d..d5c4f5c34cfe0 100644 --- a/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/TestDataFormatterStdVariant.py +++ b/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/TestDataFormatterStdVariant.py @@ -50,6 +50,14 @@ def cleanup(): ], ) + self.expect_expr( + "v4", + result_summary=" Active Type = int ", + result_children=[ + ValueCheck(name="Value", value="4"), + ], + ) + lldbutil.continue_to_breakpoint(self.process, bkpt) self.expect( @@ -69,6 +77,19 @@ def cleanup(): substrs=["v3 = Active Type = char {", "Value = 'A'", "}"], ) + string_name = ( + "std::basic_string, std::allocator>" + if self.getDebugInfo() == "pdb" + else "std::basic_string" + ) + self.expect_expr( + "v4", + result_summary=f" Active Type = {string_name} ", + result_children=[ + ValueCheck(name="Value", summary='"a string"'), + ], + ) + self.expect("frame variable v_valueless", substrs=["v_valueless = No Value"]) self.expect( diff --git a/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/main.cpp b/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/main.cpp index 620b97b7306f9..9983104ca9628 100644 --- a/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/main.cpp +++ b/lldb/test/API/functionalities/data-formatter/data-formatter-stl/generic/variant/main.cpp @@ -49,6 +49,8 @@ int main() { S> v_300_types_valueless; + std::variant v4 = 4; + v_valueless = 5; v_300_types_valueless.emplace<0>(10); @@ -70,6 +72,9 @@ int main() { // state when we change its value. v1 = 2.0; d = std::get(v1); + + v4 = "a string"; + printf("%f\n", d); // break here try {