]>
Commit | Line | Data |
---|---|---|
23a5b65a | 1 | # Copyright (C) 2013-2014 Free Software Foundation, Inc. |
85826504 MO |
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 g++-dg.exp | |
23 | load_lib tsan-dg.exp | |
475948fa | 24 | load_lib torture-options.exp |
85826504 MO |
25 | |
26 | if ![check_effective_target_fthread_sanitizer] { | |
27 | return | |
28 | } | |
29 | ||
30 | # Initialize `dg'. | |
31 | dg-init | |
475948fa MO |
32 | torture-init |
33 | set-torture-options [list \ | |
34 | { -O0 } \ | |
35 | { -O2 } ] | |
36 | ||
85826504 MO |
37 | if [tsan_init] { |
38 | ||
39 | # Main loop. | |
a03bd005 | 40 | gcc-dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.C $srcdir/c-c++-common/tsan/*.c]] "" "" |
85826504 MO |
41 | |
42 | } | |
43 | ||
44 | # All done. | |
45 | tsan_finish | |
bf2d1a65 | 46 | torture-finish |
85826504 | 47 | dg-finish |