comparison gcc/testsuite/gcc.dg/tsan/tsan.exp @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 # Copyright (C) 2013-2017 Free Software Foundation, Inc.
2 #
3 # This file is part of GCC.
4 #
5 # GCC is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation; either version 3, or (at your option)
8 # any later version.
9 #
10 # GCC is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
14 #
15 # You should have received a copy of the GNU General Public License
16 # along with GCC; see the file COPYING3. If not see
17 # <http://www.gnu.org/licenses/>.
18
19 # GCC testsuite that uses the `dg.exp' driver.
20
21 # Load support procs.
22 load_lib gcc-dg.exp
23 load_lib tsan-dg.exp
24 load_lib torture-options.exp
25
26 # Initialize `dg'.
27 dg-init
28 torture-init
29 set-torture-options [list \
30 { -O0 } \
31 { -O2 } ]
32
33 tsan_init
34
35 # Main loop.
36 if [check_effective_target_fsanitize_thread] {
37 gcc-dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.c $srcdir/c-c++-common/tsan/*.c]] "" ""
38 }
39
40 # All done.
41 tsan_finish
42 torture-finish
43 dg-finish