| """ | |
| Test the printing of anonymous and named namespace variables. | |
| """ | |
| import lldb | |
| from lldbsuite.test.decorators import * | |
| from lldbsuite.test.lldbtest import * | |
| from lldbsuite.test import lldbutil | |
| @skipIfWasm # no expression evaluation | |
| class NamespaceBreakpointTestCase(TestBase): | |
| @expectedFailureAll(bugnumber="llvm.org/pr28548", compiler="gcc") | |
| @expectedFailureAll(oslist=["windows"]) | |
| def test_breakpoints_func_auto(self): | |
| """Test that we can set breakpoints correctly by basename to find all functions whose basename is "func".""" | |
| self.build() | |
| names = ["func()", "func(int)", "A::B::func()", "A::func()", "A::func(int)"] | |
| # Create a target by the debugger. | |
| exe = self.getBuildArtifact("a.out") | |
| target = self.dbg.CreateTarget(exe) | |
| self.assertTrue(target, VALID_TARGET) | |
| module_list = lldb.SBFileSpecList() | |
| module_list.Append(lldb.SBFileSpec(exe, False)) | |
| self.assertEqual( | |
| module_list[0].GetFilename(), lldb.SBFileSpec(exe, False).GetFilename() | |
| ) | |
| self.assertEqual( | |
| module_list[-1].GetFilename(), lldb.SBFileSpec(exe, False).GetFilename() | |
| ) | |
| cu_list = lldb.SBFileSpecList() | |
| # Set a breakpoint by name "func" which should pick up all functions | |
| # whose basename is "func" | |
| bp = target.BreakpointCreateByName( | |
| "func", lldb.eFunctionNameTypeAuto, module_list, cu_list | |
| ) | |
| for bp_loc in bp: | |
| name = bp_loc.GetAddress().GetFunction().GetName() | |
| self.assertIn( | |
| name, | |
| names, | |
| "make sure breakpoint locations are correct for 'func' with eFunctionNameTypeAuto", | |
| ) | |
| @expectedFailureAll(bugnumber="llvm.org/pr28548", compiler="gcc") | |
| def test_breakpoints_func_full(self): | |
| """Test that we can set breakpoints correctly by fullname to find all functions whose fully qualified name is "func" | |
| (no namespaces).""" | |
| self.build() | |
| names = ["func()", "func(int)"] | |
| # Create a target by the debugger. | |
| exe = self.getBuildArtifact("a.out") | |
| target = self.dbg.CreateTarget(exe) | |
| self.assertTrue(target, VALID_TARGET) | |
| module_list = lldb.SBFileSpecList() | |
| module_list.Append(lldb.SBFileSpec(exe, False)) | |
| cu_list = lldb.SBFileSpecList() | |
| # Set a breakpoint by name "func" whose fullly qualified named matches "func" which | |
| # should pick up only functions whose basename is "func" and has no | |
| # containing context | |
| bp = target.BreakpointCreateByName( | |
| "func", lldb.eFunctionNameTypeFull, module_list, cu_list | |
| ) | |
| for bp_loc in bp: | |
| name = bp_loc.GetAddress().GetFunction().GetName() | |
| self.assertIn( | |
| name, | |
| names, | |
| "make sure breakpoint locations are correct for 'func' with eFunctionNameTypeFull", | |
| ) | |
| def test_breakpoints_a_func_full(self): | |
| """Test that we can set breakpoints correctly by fullname to find all functions whose fully qualified name is "A::func".""" | |
| self.build() | |
| names = ["A::func()", "A::func(int)"] | |
| # Create a target by the debugger. | |
| exe = self.getBuildArtifact("a.out") | |
| target = self.dbg.CreateTarget(exe) | |
| self.assertTrue(target, VALID_TARGET) | |
| module_list = lldb.SBFileSpecList() | |
| module_list.Append(lldb.SBFileSpec(exe, False)) | |
| cu_list = lldb.SBFileSpecList() | |
| # Set a breakpoint by name "A::func" whose fullly qualified named matches "A::func" which | |
| # should pick up only functions whose basename is "func" and is | |
| # contained in the "A" namespace | |
| bp = target.BreakpointCreateByName( | |
| "A::func", lldb.eFunctionNameTypeFull, module_list, cu_list | |
| ) | |
| for bp_loc in bp: | |
| name = bp_loc.GetAddress().GetFunction().GetName() | |
| self.assertIn( | |
| name, | |
| names, | |
| "make sure breakpoint locations are correct for 'A::func' with eFunctionNameTypeFull", | |
| ) | |
| class NamespaceTestCase(TestBase): | |
| def setUp(self): | |
| # Call super's setUp(). | |
| TestBase.setUp(self) | |
| # Find the line numbers for declarations of namespace variables i and | |
| # j. | |
| self.line_var_i = line_number( | |
| "main.cpp", "// Find the line number for anonymous namespace variable i." | |
| ) | |
| self.line_var_j = line_number( | |
| "main.cpp", "// Find the line number for named namespace variable j." | |
| ) | |
| # And the line number to break at. | |
| self.line_break = line_number("main.cpp", "// Set break point at this line.") | |
| # Break inside do {} while and evaluate value | |
| self.line_break_ns1 = line_number("main.cpp", "// Evaluate ns1::value") | |
| self.line_break_ns2 = line_number("main.cpp", "// Evaluate ns2::value") | |
| def runToBkpt(self, command): | |
| self.runCmd(command, RUN_SUCCEEDED) | |
| # The stop reason of the thread should be breakpoint. | |
| self.expect( | |
| "thread list", | |
| STOPPED_DUE_TO_BREAKPOINT, | |
| substrs=["stopped", "stop reason = breakpoint"], | |
| ) | |
| # rdar://problem/8668674 | |
| @expectedFailureAll(oslist=["windows"], bugnumber="llvm.org/pr24764") | |
| def test_with_run_command(self): | |
| """Test that anonymous and named namespace 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.line_break_ns1, | |
| num_expected_locations=1, | |
| loc_exact=True, | |
| ) | |
| lldbutil.run_break_set_by_file_and_line( | |
| self, | |
| "main.cpp", | |
| self.line_break_ns2, | |
| num_expected_locations=1, | |
| loc_exact=True, | |
| ) | |
| lldbutil.run_break_set_by_file_and_line( | |
| self, "main.cpp", self.line_break, num_expected_locations=1, loc_exact=True | |
| ) | |
| self.runToBkpt("run") | |
| # Evaluate ns1::value | |
| self.expect_expr("value", result_value="100") | |
| self.runToBkpt("continue") | |
| # Evaluate ns2::value | |
| self.expect_expr("value", result_value="200") | |
| self.runToBkpt("continue") | |
| # On Mac OS X, gcc 4.2 emits the wrong debug info with respect to | |
| # types. | |
| slist = ["(int) a = 12", "anon_uint", "a_uint", "b_uint", "y_uint"] | |
| if self.platformIsDarwin() and self.getCompiler() in ["clang"]: | |
| slist = [ | |
| "(int) a = 12", | |
| "::my_uint_t", | |
| "anon_uint = 0", | |
| "(A::uint_t) a_uint = 1", | |
| "(A::B::uint_t) b_uint = 2", | |
| "(Y::uint_t) y_uint = 3", | |
| ] | |
| # 'frame variable' displays the local variables with type information. | |
| self.expect("frame variable", VARIABLES_DISPLAYED_CORRECTLY, substrs=slist) | |
| # 'frame variable' with basename 'i' should work. | |
| self.expect( | |
| "frame variable --show-declaration --show-globals i", | |
| startstr="main.cpp:%d: (int) (anonymous namespace)::i = 3" | |
| % self.line_var_i, | |
| ) | |
| # main.cpp:12: (int) (anonymous namespace)::i = 3 | |
| # 'frame variable' with basename 'j' should work, too. | |
| self.expect( | |
| "frame variable --show-declaration --show-globals j", | |
| startstr="main.cpp:%d: (int) A::B::j = 4" % self.line_var_j, | |
| ) | |
| # main.cpp:19: (int) A::B::j = 4 | |
| # 'frame variable' should support address-of operator. | |
| self.runCmd("frame variable &i") | |
| # 'frame variable' with fully qualified name 'A::B::j' should work. | |
| self.expect( | |
| "frame variable A::B::j", | |
| VARIABLES_DISPLAYED_CORRECTLY, | |
| startstr="(int) A::B::j = 4", | |
| patterns=[" = 4"], | |
| ) | |
| # So should the anonymous namespace case. | |
| self.expect( | |
| "frame variable '(anonymous namespace)::i'", | |
| VARIABLES_DISPLAYED_CORRECTLY, | |
| startstr="(int) (anonymous namespace)::i = 3", | |
| patterns=[" = 3"], | |
| ) | |
| # Search for a type in an anonymous namespace, both with and without the | |
| # namespace prefix. | |
| self.expect("type lookup -- my_uint_t", substrs=["unsigned int"]) | |
| self.expect("type lookup -- (anonymous namespace)::my_uint_t", | |
| substrs=["unsigned int"]) | |
| # rdar://problem/8660275 | |
| # test/namespace: 'expression -- i+j' not working | |
| # This has been fixed. | |
| self.expect_expr("i + j", result_type="int", result_value="7") | |
| # (int) $2 = 7 | |
| self.expect_expr("i", result_value="3") | |
| self.expect_expr("j", result_value="4") | |
| # rdar://problem/8668674 | |
| # expression command with fully qualified namespace for a variable does | |
| # not work | |
| self.expect_expr("::i", result_value="3") | |
| self.expect_expr("A::B::j", result_value="4") | |
| # expression command with function in anonymous namespace | |
| self.expect_expr("myanonfunc(3)", result_value="6") | |
| # global namespace qualification with function in anonymous namespace | |
| self.expect_expr("myanonfunc(4)", result_value="8") | |
| self.expect( | |
| "expression myanonfunc", | |
| patterns=[r"\(anonymous namespace\)::myanonfunc\(int\)"], | |
| ) | |
| self.expect( | |
| "expression variadic_sum", | |
| patterns=[r"\(anonymous namespace\)::variadic_sum\(int, ...\)"], | |
| ) | |
| self.expect_expr("::B::Bar b; b.x()", result_type="int", result_value="42") | |
| self.expect_expr("A::B::Bar b; b.y()", result_type="int", result_value="137") | |
| self.expect_expr( | |
| "::NS1::NS2::Foo{}.bar() == -2 && ::NS2::Foo{}.bar() == -3", | |
| result_type="bool", | |
| result_value="true", | |
| ) | |
| # FIXME: C++ unqualified namespace lookups currently not supported when instantiating types. | |
| self.expect_expr( | |
| "NS2::Foo{}.bar() == -3", result_type="bool", result_value="false" | |
| ) | |
| self.expect_expr( | |
| "((::B::Bar*)&::B::bar)->x()", result_type="int", result_value="42" | |
| ) | |
| self.expect_expr("InAnon1::var_in_anon", result_type="int", result_value="10") | |
| self.expect_expr( | |
| "InAnon1::InAnon2::var_in_anon", result_type="int", result_value="5" | |
| ) | |
| self.expect_expr( | |
| "InAnon1::inline_ns::var_in_anon", result_type="int", result_value="15" | |
| ) | |
| self.expect_expr( | |
| "InAnon1::inline_ns::InAnon2::var_in_anon", | |
| result_type="int", | |
| result_value="5", | |
| ) |