1 # Copyright
(C
) 2006, 2007 Free Software Foundation
, Inc.
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.
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.
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
/>.
19 #
Define gcc callbacks
for dg.exp.
21 proc gnat
-dg
-test
{ prog do_what extra_tool_flags
} {
22 if { $do_what
== "compile" } {
23 lappend extra_tool_flags
"-c"
25 return [gcc
-dg
-test
-1 gnat_target_compile $prog $do_what $extra_tool_flags
]
28 proc gnat
-dg
-prune
{ system text } {
29 global additional_prunes
31 lappend additional_prunes
"gnatmake"
32 lappend additional_prunes
"compilation abandoned"
33 lappend additional_prunes
"fatal error: maximum errors reached"
34 lappend additional_prunes
"linker input file"
36 return [gcc
-dg
-prune $
system $
text]
41 # Modified dg
-runtest that can cycle through a list of optimization options
43 proc gnat
-dg
-runtest
{ testcases default
-extra
-flags
} {
44 return [gcc
-dg
-runtest $testcases $
{default
-extra
-flags
}]