1#   Copyright (C) 2019 Free Software Foundation, Inc.
2
3# This program is free software; you can redistribute it and/or modify
4# it under the terms of the GNU General Public License as published by
5# the Free Software Foundation; either version 3 of the License, or
6# (at your option) any later version.
7#
8# This program is distributed in the hope that it will be useful,
9# but WITHOUT ANY WARRANTY; without even the implied warranty of
10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11# GNU General Public License for more details.
12#
13# You should have received a copy of the GNU General Public License
14# along with GCC; see the file COPYING3.  If not see
15# <http://www.gnu.org/licenses/>.
16
17# GCC testsuite that uses the `dg.exp' driver.
18
19# Load support procs.
20load_lib gcc-dg.exp
21
22# If the analyzer has not been enabled, bail.
23if { ![check_effective_target_analyzer] } {
24    return
25}
26
27global DEFAULT_CFLAGS
28if [info exists DEFAULT_CFLAGS] then {
29  set save_default_cflags $DEFAULT_CFLAGS
30}
31
32# If a testcase doesn't have special options, use these.
33set DEFAULT_CFLAGS "-fanalyzer -fdiagnostics-path-format=separate-events -Wanalyzer-too-complex -fanalyzer-call-summaries"
34
35# Initialize `dg'.
36dg-init
37
38# Main loop.
39dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.\[cS\]]] \
40	"" $DEFAULT_CFLAGS
41
42# All done.
43dg-finish
44
45if [info exists save_default_cflags] {
46  set DEFAULT_CFLAGS $save_default_cflags
47} else {
48  unset DEFAULT_CFLAGS
49}
50