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
;
84 Vector
<ReportStack
*> stacks
;
85 Vector
<ReportMop
*> mops
;
86 Vector
<ReportLocation
*> locs
;
87 Vector
<ReportMutex
*> mutexes
;
88 Vector
<ReportThread
*> threads
;
95 ReportDesc(const ReportDesc
&);
96 void operator = (const ReportDesc
&);
99 // Format and output the report to the console/log. No additional logic.
100 void PrintReport(const ReportDesc
*rep
);
101 void PrintStack(const ReportStack
*stack
);
103 } // namespace __tsan
105 #endif // TSAN_REPORT_H