1"""
2Test ThreadSanitizer when multiple different issues are found.
3"""
4
5import lldb
6from lldbsuite.test.lldbtest import *
7from lldbsuite.test.decorators import *
8import lldbsuite.test.lldbutil as lldbutil
9import json
10
11
12class TsanMultipleTestCase(TestBase):
13
14    @expectedFailureAll(
15        oslist=["linux"],
16        bugnumber="non-core functionality, need to reenable and fix later (DES 2014.11.07)")
17    @expectedFailureNetBSD
18    @skipIfFreeBSD  # llvm.org/pr21136 runtimes not yet available by default
19    @skipIfRemote
20    @skipUnlessThreadSanitizer
21    @add_test_categories(["objc"])
22    def test(self):
23        self.build()
24        self.tsan_tests()
25
26    def tsan_tests(self):
27        exe = self.getBuildArtifact("a.out")
28        self.expect(
29            "file " + exe,
30            patterns=["Current executable set to .*a.out"])
31
32        self.runCmd("env TSAN_OPTIONS=abort_on_error=0")
33
34        self.runCmd("run")
35
36        stop_reason = self.dbg.GetSelectedTarget().process.GetSelectedThread().GetStopReason()
37        if stop_reason == lldb.eStopReasonExec:
38            # On OS X 10.10 and older, we need to re-exec to enable
39            # interceptors.
40            self.runCmd("continue")
41
42        report_count = 0
43        while self.dbg.GetSelectedTarget().process.GetSelectedThread(
44        ).GetStopReason() == lldb.eStopReasonInstrumentation:
45            report_count += 1
46
47            stop_description = self.dbg.GetSelectedTarget(
48            ).process.GetSelectedThread().GetStopDescription(100)
49
50            self.assertTrue(
51                (stop_description == "Data race detected") or
52                (stop_description == "Use of deallocated memory detected") or
53                (stop_description == "Thread leak detected") or
54                (stop_description == "Use of an uninitialized or destroyed mutex detected") or
55                (stop_description == "Unlock of an unlocked mutex (or by a wrong thread) detected")
56            )
57
58            self.expect(
59                "thread info -s",
60                "The extended stop info should contain the TSan provided fields",
61                substrs=[
62                    "instrumentation_class",
63                    "description",
64                    "mops"])
65
66            output_lines = self.res.GetOutput().split('\n')
67            json_line = '\n'.join(output_lines[2:])
68            data = json.loads(json_line)
69            self.assertEqual(data["instrumentation_class"], "ThreadSanitizer")
70
71            backtraces = self.dbg.GetSelectedTarget().process.GetSelectedThread(
72            ).GetStopReasonExtendedBacktraces(lldb.eInstrumentationRuntimeTypeThreadSanitizer)
73            self.assertTrue(backtraces.GetSize() >= 1)
74
75            self.runCmd("continue")
76
77        self.assertEqual(
78            self.dbg.GetSelectedTarget().process.GetState(),
79            lldb.eStateExited,
80            PROCESS_EXITED)
81