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