| """Test that lldb steps correctly after the inferior has crashed while in a recursive routine.""" |
| |
| |
| import lldb |
| from lldbsuite.test.decorators import * |
| from lldbsuite.test.lldbtest import * |
| from lldbsuite.test import lldbplatformutil |
| from lldbsuite.test import lldbutil |
| |
| |
| class CrashingRecursiveInferiorStepTestCase(TestBase): |
| def test_recursive_inferior_crashing_step(self): |
| """Test that stepping after a crash behaves correctly.""" |
| self.build() |
| self.recursive_inferior_crashing_step() |
| |
| @skipIfTargetAndroid() # debuggerd interferes with this test on Android |
| @expectedFailureAll(oslist=["windows"], bugnumber="llvm.org/pr24778") |
| @expectedFailureNetBSD |
| def test_recursive_inferior_crashing_step_after_break(self): |
| """Test that lldb functions correctly after stepping through a crash.""" |
| self.build() |
| self.recursive_inferior_crashing_step_after_break() |
| |
| # Inferior exits after stepping after a segfault. This is working as |
| # intended IMHO. |
| @skipIf(oslist=["freebsd", "linux", "netbsd"]) |
| def test_recursive_inferior_crashing_expr_step_and_expr(self): |
| """Test that lldb expressions work before and after stepping after a crash.""" |
| self.build() |
| self.recursive_inferior_crashing_expr_step_expr() |
| |
| def set_breakpoint(self, line): |
| lldbutil.run_break_set_by_file_and_line( |
| self, "main.c", line, num_expected_locations=1, loc_exact=True |
| ) |
| |
| def check_stop_reason(self): |
| # We should have one crashing thread |
| self.assertEqual( |
| len( |
| lldbutil.get_crashed_threads( |
| self, self.dbg.GetSelectedTarget().GetProcess() |
| ) |
| ), |
| 1, |
| STOPPED_DUE_TO_EXC_BAD_ACCESS, |
| ) |
| |
| def setUp(self): |
| # Call super's setUp(). |
| TestBase.setUp(self) |
| # Find the line number of the crash. |
| self.line = line_number("main.c", "// Crash here.") |
| |
| def recursive_inferior_crashing_step(self): |
| """Test that lldb functions correctly after stepping through a crash.""" |
| exe = self.getBuildArtifact("a.out") |
| self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET) |
| |
| self.set_breakpoint(self.line) |
| self.runCmd("run", RUN_SUCCEEDED) |
| |
| self.expect( |
| "thread list", |
| STOPPED_DUE_TO_BREAKPOINT, |
| substrs=["main.c:%d" % self.line, "stop reason = breakpoint"], |
| ) |
| |
| self.runCmd("next") |
| self.check_stop_reason() |
| |
| # The lldb expression interpreter should be able to read from addresses |
| # of the inferior after a crash. |
| self.expect("expression i", substrs=["(int) $0 ="]) |
| |
| # lldb should be able to read from registers from the inferior after |
| # crashing. |
| lldbplatformutil.check_first_register_readable(self) |
| |
| # And it should report the correct line number. |
| self.expect("thread backtrace all", substrs=["main.c:%d" % self.line]) |
| |
| def recursive_inferior_crashing_step_after_break(self): |
| """Test that lldb behaves correctly when stepping after a crash.""" |
| exe = self.getBuildArtifact("a.out") |
| self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET) |
| |
| self.runCmd("run", RUN_SUCCEEDED) |
| self.check_stop_reason() |
| |
| expected_state = "exited" # Provide the exit code. |
| if self.platformIsDarwin(): |
| # TODO: Determine why 'next' and 'continue' have no effect after a |
| # crash. |
| expected_state = "stopped" |
| |
| self.expect("next", substrs=["Process", expected_state]) |
| |
| if expected_state == "exited": |
| self.expect("thread list", error=True, substrs=["Process must be launched"]) |
| else: |
| self.check_stop_reason() |
| |
| def recursive_inferior_crashing_expr_step_expr(self): |
| """Test that lldb expressions work before and after stepping after a crash.""" |
| exe = self.getBuildArtifact("a.out") |
| self.runCmd("file " + exe, CURRENT_EXECUTABLE_SET) |
| |
| self.runCmd("run", RUN_SUCCEEDED) |
| self.check_stop_reason() |
| |
| # The lldb expression interpreter should be able to read from addresses |
| # of the inferior after a crash. |
| self.expect("expression null", startstr="(char *) $0 = 0x0") |
| |
| self.runCmd("next") |
| |
| # The lldb expression interpreter should be able to read from addresses |
| # of the inferior after a step. |
| self.expect("expression null", startstr="(char *) $1 = 0x0") |
| |
| self.check_stop_reason() |