1 //===-- tsan_report.h -------------------------------------------*- C++ -*-===//
3 // This file is distributed under the University of Illinois Open Source
4 // License. See LICENSE.TXT for details.
6 //===----------------------------------------------------------------------===//
8 // This file is a part of ThreadSanitizer (TSan), a race detector.
10 //===----------------------------------------------------------------------===//
14 #include "tsan_defs.h"
15 #include "tsan_vector.h"
21 ReportTypeUseAfterFree
,
23 ReportTypeMutexDestroyLocked
,
24 ReportTypeSignalUnsafe
,
25 ReportTypeErrnoInSignal
49 enum ReportLocationType
{
55 struct ReportLocation
{
56 ReportLocationType type
;
82 Vector
<ReportStack
*> stacks
;
83 Vector
<ReportMop
*> mops
;
84 Vector
<ReportLocation
*> locs
;
85 Vector
<ReportMutex
*> mutexes
;
86 Vector
<ReportThread
*> threads
;
93 ReportDesc(const ReportDesc
&);
94 void operator = (const ReportDesc
&);
97 // Format and output the report to the console/log. No additional logic.
98 void PrintReport(const ReportDesc
*rep
);
99 void PrintStack(const ReportStack
*stack
);
101 } // namespace __tsan
103 #endif // TSAN_REPORT_H