[people/ms/gcc.git] / gcc / tsan.h

/* ThreadSanitizer, a data race detector.
   Copyright (C) 2011-2023 Free Software Foundation, Inc.
   Contributed by Dmitry Vyukov <dvyukov@google.com>

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.  */

#ifndef TREE_TSAN
#define TREE_TSAN

extern void tsan_finish_file (void);

#endif /* TREE_TSAN */
Commit	Line	Data
32b4b7f5	1	/* ThreadSanitizer, a data race detector.
aeee4812	2	Copyright (C) 2011-2023 Free Software Foundation, Inc.
32b4b7f5 DV	3	Contributed by Dmitry Vyukov <dvyukov@google.com>
	4
	5	This file is part of GCC.
	6
	7	GCC is free software; you can redistribute it and/or modify it under
	8	the terms of the GNU General Public License as published by the Free
	9	Software Foundation; either version 3, or (at your option) any later
	10	version.
	11
	12	GCC is distributed in the hope that it will be useful, but WITHOUT ANY
	13	WARRANTY; without even the implied warranty of MERCHANTABILITY or
	14	FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
	15	for more details.
	16
	17	You should have received a copy of the GNU General Public License
	18	along with GCC; see the file COPYING3. If not see
	19	<http://www.gnu.org/licenses/>. */
	20
	21	#ifndef TREE_TSAN
	22	#define TREE_TSAN
	23
	24	extern void tsan_finish_file (void);
	25
	26	#endif /* TREE_TSAN */