199451b44SJordan Rupprecht"""
299451b44SJordan RupprechtUse lldb Python SBValue API to create a watchpoint for read_write of 'globl' var.
399451b44SJordan Rupprecht"""
499451b44SJordan Rupprecht
599451b44SJordan Rupprechtfrom __future__ import print_function
699451b44SJordan Rupprecht
799451b44SJordan Rupprecht
899451b44SJordan Rupprechtimport lldb
999451b44SJordan Rupprechtfrom lldbsuite.test.decorators import *
1099451b44SJordan Rupprechtfrom lldbsuite.test.lldbtest import *
1199451b44SJordan Rupprechtfrom lldbsuite.test import lldbutil
1299451b44SJordan Rupprecht
1399451b44SJordan Rupprecht
1499451b44SJordan Rupprechtclass SetWatchpointAPITestCase(TestBase):
1599451b44SJordan Rupprecht
1699451b44SJordan Rupprecht    mydir = TestBase.compute_mydir(__file__)
1799451b44SJordan Rupprecht    NO_DEBUG_INFO_TESTCASE = True
1899451b44SJordan Rupprecht
1999451b44SJordan Rupprecht    def setUp(self):
2099451b44SJordan Rupprecht        # Call super's setUp().
2199451b44SJordan Rupprecht        TestBase.setUp(self)
2299451b44SJordan Rupprecht        # Our simple source filename.
2399451b44SJordan Rupprecht        self.source = 'main.c'
2499451b44SJordan Rupprecht        # Find the line number to break inside main().
2599451b44SJordan Rupprecht        self.line = line_number(
2699451b44SJordan Rupprecht            self.source, '// Set break point at this line.')
2799451b44SJordan Rupprecht
2899451b44SJordan Rupprecht    @add_test_categories(['pyapi'])
2999451b44SJordan Rupprecht    # Read-write watchpoints not supported on SystemZ
3099451b44SJordan Rupprecht    @expectedFailureAll(archs=['s390x'])
3199451b44SJordan Rupprecht    def test_watch_val(self):
3299451b44SJordan Rupprecht        """Exercise SBValue.Watch() API to set a watchpoint."""
3399451b44SJordan Rupprecht        self.build()
3499451b44SJordan Rupprecht        exe = self.getBuildArtifact("a.out")
3599451b44SJordan Rupprecht
3699451b44SJordan Rupprecht        # Create a target by the debugger.
3799451b44SJordan Rupprecht        target = self.dbg.CreateTarget(exe)
3899451b44SJordan Rupprecht        self.assertTrue(target, VALID_TARGET)
3999451b44SJordan Rupprecht
4099451b44SJordan Rupprecht        # Now create a breakpoint on main.c.
4199451b44SJordan Rupprecht        breakpoint = target.BreakpointCreateByLocation(self.source, self.line)
4299451b44SJordan Rupprecht        self.assertTrue(breakpoint and
4399451b44SJordan Rupprecht                        breakpoint.GetNumLocations() == 1,
4499451b44SJordan Rupprecht                        VALID_BREAKPOINT)
4599451b44SJordan Rupprecht
4699451b44SJordan Rupprecht        # Now launch the process, and do not stop at the entry point.
4799451b44SJordan Rupprecht        process = target.LaunchSimple(
4899451b44SJordan Rupprecht            None, None, self.get_process_working_directory())
4999451b44SJordan Rupprecht
5099451b44SJordan Rupprecht        # We should be stopped due to the breakpoint.  Get frame #0.
5199451b44SJordan Rupprecht        process = target.GetProcess()
52*619e2e09SDave Lee        self.assertEqual(process.GetState(), lldb.eStateStopped,
5399451b44SJordan Rupprecht                        PROCESS_STOPPED)
5499451b44SJordan Rupprecht        thread = lldbutil.get_stopped_thread(
5599451b44SJordan Rupprecht            process, lldb.eStopReasonBreakpoint)
5699451b44SJordan Rupprecht        frame0 = thread.GetFrameAtIndex(0)
5799451b44SJordan Rupprecht
5899451b44SJordan Rupprecht        # Watch 'global' for read and write.
5999451b44SJordan Rupprecht        value = frame0.FindValue('global', lldb.eValueTypeVariableGlobal)
6099451b44SJordan Rupprecht        error = lldb.SBError()
6199451b44SJordan Rupprecht        watchpoint = value.Watch(True, True, True, error)
6299451b44SJordan Rupprecht        self.assertTrue(value and watchpoint,
6399451b44SJordan Rupprecht                        "Successfully found the variable and set a watchpoint")
6499451b44SJordan Rupprecht        self.DebugSBValue(value)
6599451b44SJordan Rupprecht
6699451b44SJordan Rupprecht        # Hide stdout if not running with '-t' option.
6799451b44SJordan Rupprecht        if not self.TraceOn():
6899451b44SJordan Rupprecht            self.HideStdout()
6999451b44SJordan Rupprecht
7099451b44SJordan Rupprecht        print(watchpoint)
7199451b44SJordan Rupprecht
7299451b44SJordan Rupprecht        # Continue.  Expect the program to stop due to the variable being
7399451b44SJordan Rupprecht        # written to.
7499451b44SJordan Rupprecht        process.Continue()
7599451b44SJordan Rupprecht
7699451b44SJordan Rupprecht        if (self.TraceOn()):
7799451b44SJordan Rupprecht            lldbutil.print_stacktraces(process)
7899451b44SJordan Rupprecht
7999451b44SJordan Rupprecht        thread = lldbutil.get_stopped_thread(
8099451b44SJordan Rupprecht            process, lldb.eStopReasonWatchpoint)
8199451b44SJordan Rupprecht        self.assertTrue(thread, "The thread stopped due to watchpoint")
8299451b44SJordan Rupprecht        self.DebugSBValue(value)
8399451b44SJordan Rupprecht
8499451b44SJordan Rupprecht        # Continue.  Expect the program to stop due to the variable being read
8599451b44SJordan Rupprecht        # from.
8699451b44SJordan Rupprecht        process.Continue()
8799451b44SJordan Rupprecht
8899451b44SJordan Rupprecht        if (self.TraceOn()):
8999451b44SJordan Rupprecht            lldbutil.print_stacktraces(process)
9099451b44SJordan Rupprecht
9199451b44SJordan Rupprecht        thread = lldbutil.get_stopped_thread(
9299451b44SJordan Rupprecht            process, lldb.eStopReasonWatchpoint)
9399451b44SJordan Rupprecht        self.assertTrue(thread, "The thread stopped due to watchpoint")
9499451b44SJordan Rupprecht        self.DebugSBValue(value)
9599451b44SJordan Rupprecht
9699451b44SJordan Rupprecht        # Continue the process.  We don't expect the program to be stopped
9799451b44SJordan Rupprecht        # again.
9899451b44SJordan Rupprecht        process.Continue()
9999451b44SJordan Rupprecht
10099451b44SJordan Rupprecht        # At this point, the inferior process should have exited.
10199451b44SJordan Rupprecht        self.assertTrue(
10299451b44SJordan Rupprecht            process.GetState() == lldb.eStateExited,
10399451b44SJordan Rupprecht            PROCESS_EXITED)
10499451b44SJordan Rupprecht
10599451b44SJordan Rupprecht        self.dbg.DeleteTarget(target)
106e3a0283eSJonas Devlieghere
107e3a0283eSJonas Devlieghere        # The next check relies on the watchpoint being destructed, which does
108e3a0283eSJonas Devlieghere        # not happen during replay because objects are intentionally kept alive
109e3a0283eSJonas Devlieghere        # forever.
110e3a0283eSJonas Devlieghere        if not configuration.is_reproducer():
11199451b44SJordan Rupprecht            self.assertFalse(watchpoint.IsValid())
112