| """ |
| Test that the debugger handles loops in std::list (which can appear as a result of e.g. memory |
| corruption). |
| """ |
| |
| |
| |
| import lldb |
| from lldbsuite.test.decorators import * |
| from lldbsuite.test.lldbtest import * |
| from lldbsuite.test import lldbutil |
| |
| USE_LIBSTDCPP = "USE_LIBSTDCPP" |
| USE_LIBCPP = "USE_LIBCPP" |
| |
| class GenericListDataFormatterTestCase(TestBase): |
| |
| mydir = TestBase.compute_mydir(__file__) |
| NO_DEBUG_INFO_TESTCASE = True |
| |
| def do_test_with_run_command(self, stdlib_type): |
| self.build(dictionary={stdlib_type: "1"}) |
| exe = self.getBuildArtifact("a.out") |
| target = self.dbg.CreateTarget(exe) |
| self.assertTrue(target and target.IsValid(), "Target is valid") |
| |
| file_spec = lldb.SBFileSpec("main.cpp", False) |
| breakpoint1 = target.BreakpointCreateBySourceRegex( |
| '// Set break point at this line.', file_spec) |
| self.assertTrue(breakpoint1 and breakpoint1.IsValid()) |
| breakpoint2 = target.BreakpointCreateBySourceRegex( |
| '// Set second break point at this line.', file_spec) |
| self.assertTrue(breakpoint2 and breakpoint2.IsValid()) |
| |
| # Run the program, it should stop at breakpoint 1. |
| process = target.LaunchSimple( |
| None, None, self.get_process_working_directory()) |
| self.assertTrue(process and process.IsValid(), PROCESS_IS_VALID) |
| self.assertEqual( |
| len(lldbutil.get_threads_stopped_at_breakpoint(process, breakpoint1)), 1) |
| |
| # verify our list is displayed correctly |
| self.expect( |
| "frame variable numbers_list", |
| substrs=[ |
| '[0] = 1', |
| '[1] = 2', |
| '[2] = 3', |
| '[3] = 4', |
| '[5] = 6']) |
| |
| # Continue to breakpoint 2. |
| process.Continue() |
| self.assertTrue(process and process.IsValid(), PROCESS_IS_VALID) |
| self.assertEqual( |
| len(lldbutil.get_threads_stopped_at_breakpoint(process, breakpoint2)), 1) |
| |
| # The list is now inconsistent. However, we should be able to get the first three |
| # elements at least (and most importantly, not crash). |
| self.expect( |
| "frame variable numbers_list", |
| substrs=[ |
| '[0] = 1', |
| '[1] = 2', |
| '[2] = 3']) |
| |
| # Run to completion. |
| process.Continue() |
| self.assertEqual(process.GetState(), lldb.eStateExited, PROCESS_EXITED) |
| |
| @add_test_categories(["libstdcxx"]) |
| def test_with_run_command_libstdcpp(self): |
| self.do_test_with_run_command(USE_LIBSTDCPP) |
| |
| @add_test_categories(["libc++"]) |
| def test_with_run_command_libcpp(self): |
| self.do_test_with_run_command(USE_LIBCPP) |