gcc/testsuite/gcc.dg/tsan/tsan.exp

   1 # Copyright (C) 2013-2014 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 if ![check_effective_target_fthread_sanitizer] {
  27   return
  28 }
  29
  30 # Initialize `dg'.
  31 dg-init
  32 torture-init
  33 set-torture-options [list \
  34         { -O0 } \
  35         { -O2 } ]
  36
  37 if [tsan_init] {
  38
  39 # Main loop.
  40 gcc-dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.c $srcdir/c-c++-common/tsan/*.c]] ""
  41
  42 }
  43
  44 # All done.
  45 tsan_finish
  46 torture-finish
  47 dg-finish