comparison gcc/testsuite/gcc.dg/analyzer/analyzer.exp @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
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.
20 load_lib gcc-dg.exp
21
22 # If the analyzer has not been enabled, bail.
23 if { ![check_effective_target_analyzer] } {
24 return
25 }
26
27 global DEFAULT_CFLAGS
28 if [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.
33 set DEFAULT_CFLAGS "-fanalyzer -fdiagnostics-path-format=separate-events -Wanalyzer-too-complex -fanalyzer-call-summaries"
34
35 # Initialize `dg'.
36 dg-init
37
38 # Main loop.
39 dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.\[cS\]]] \
40 "" $DEFAULT_CFLAGS
41
42 # All done.
43 dg-finish
44
45 if [info exists save_default_cflags] {
46 set DEFAULT_CFLAGS $save_default_cflags
47 } else {
48 unset DEFAULT_CFLAGS
49 }