1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
|
# OBSOLETE # Copyright 1995, 1996, 1997 Free Software Foundation, Inc.
# OBSOLETE
# OBSOLETE # This program is free software; you can redistribute it and/or modify
# OBSOLETE # it under the terms of the GNU General Public License as published by
# OBSOLETE # the Free Software Foundation; either version 2 of the License, or
# OBSOLETE # (at your option) any later version.
# OBSOLETE #
# OBSOLETE # This program is distributed in the hope that it will be useful,
# OBSOLETE # but WITHOUT ANY WARRANTY; without even the implied warranty of
# OBSOLETE # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# OBSOLETE # GNU General Public License for more details.
# OBSOLETE #
# OBSOLETE # You should have received a copy of the GNU General Public License
# OBSOLETE # along with this program; if not, write to the Free Software
# OBSOLETE # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
# OBSOLETE
# OBSOLETE # Please email any bugs, comments, and/or additions to this file to:
# OBSOLETE # bug-gdb@prep.ai.mit.edu
# OBSOLETE
# OBSOLETE # This file tests various Chill values, expressions, and types.
# OBSOLETE
# OBSOLETE if $tracelevel then {
# OBSOLETE strace $tracelevel
# OBSOLETE }
# OBSOLETE
# OBSOLETE if [skip_chill_tests] then { continue }
# OBSOLETE
# OBSOLETE set testfile "powerset"
# OBSOLETE set srcfile ${srcdir}/$subdir/${testfile}.ch
# OBSOLETE set binfile ${objdir}/${subdir}/${testfile}.exe
# OBSOLETE if { [compile "${srcfile} -g -w -o ${binfile} ${CHILL_RT0} ${CHILL_LIB}"] != "" } {
# OBSOLETE perror "Couldn't compile ${srcfile}"
# OBSOLETE return -1
# OBSOLETE }
# OBSOLETE
# OBSOLETE # Set the current language to chill. This counts as a test. If it
# OBSOLETE # fails, then we skip the other tests.
# OBSOLETE
# OBSOLETE proc set_lang_chill {} {
# OBSOLETE global gdb_prompt
# OBSOLETE global binfile objdir subdir
# OBSOLETE
# OBSOLETE verbose "loading file '$binfile'"
# OBSOLETE gdb_load $binfile
# OBSOLETE send_gdb "set language chill\n"
# OBSOLETE gdb_expect {
# OBSOLETE -re ".*$gdb_prompt $" {}
# OBSOLETE timeout { fail "set language chill (timeout)" ; return 0 }
# OBSOLETE }
# OBSOLETE
# OBSOLETE send_gdb "show language\n"
# OBSOLETE gdb_expect {
# OBSOLETE -re ".* source language is \"chill\".*$gdb_prompt $" {
# OBSOLETE pass "set language to \"chill\""
# OBSOLETE send_gdb "break xx_\n"
# OBSOLETE gdb_expect {
# OBSOLETE -re ".*$gdb_prompt $" {
# OBSOLETE send_gdb "run\n"
# OBSOLETE gdb_expect -re ".*$gdb_prompt $" {}
# OBSOLETE return 1
# OBSOLETE }
# OBSOLETE timeout {
# OBSOLETE fail "can't set breakpoint (timeout)"
# OBSOLETE return 0
# OBSOLETE }
# OBSOLETE }
# OBSOLETE }
# OBSOLETE -re ".*$gdb_prompt $" {
# OBSOLETE fail "setting language to \"chill\""
# OBSOLETE return 0
# OBSOLETE }
# OBSOLETE timeout {
# OBSOLETE fail "can't show language (timeout)"
# OBSOLETE return 0
# OBSOLETE }
# OBSOLETE }
# OBSOLETE }
# OBSOLETE
# OBSOLETE # Testing printing of a specific value. Increment passcount for
# OBSOLETE # success or issue fail message for failure. In both cases, return
# OBSOLETE # a 1 to indicate that more tests can proceed. However a timeout
# OBSOLETE # is a serious error, generates a special fail message, and causes
# OBSOLETE # a 0 to be returned to indicate that more tests are likely to fail
# OBSOLETE # as well.
# OBSOLETE #
# OBSOLETE # Args are:
# OBSOLETE #
# OBSOLETE # First one is string to send_gdb to gdb
# OBSOLETE # Second one is string to match gdb result to
# OBSOLETE # Third one is an optional message to be printed
# OBSOLETE
# OBSOLETE proc test_print_accept { args } {
# OBSOLETE global gdb_prompt
# OBSOLETE global passcount
# OBSOLETE global verbose
# OBSOLETE
# OBSOLETE if [llength $args]==3 then {
# OBSOLETE set message [lindex $args 2]
# OBSOLETE } else {
# OBSOLETE set message [lindex $args 0]
# OBSOLETE }
# OBSOLETE set sendthis [lindex $args 0]
# OBSOLETE set expectthis [lindex $args 1]
# OBSOLETE set result [gdb_test $sendthis ".* = ${expectthis}" $message]
# OBSOLETE if $result==0 {incr passcount}
# OBSOLETE return $result
# OBSOLETE }
# OBSOLETE
# OBSOLETE proc test_card {} {
# OBSOLETE global passcount
# OBSOLETE
# OBSOLETE verbose "testing builtin CARD"
# OBSOLETE set passcount 0
# OBSOLETE
# OBSOLETE # discrete mode names
# OBSOLETE test_print_accept "print card(v_ps1)" "4"
# OBSOLETE test_print_accept "print card(v_ps2)" "15"
# OBSOLETE test_print_accept "print card(v_ps3)" "4"
# OBSOLETE test_print_accept "print card(v_ps4)" "11"
# OBSOLETE test_print_accept "print card(v_ps5)" "1"
# OBSOLETE test_print_accept "print card(v_ps51)" "0"
# OBSOLETE test_print_accept "print card(v_ps6)" "101"
# OBSOLETE
# OBSOLETE # a failure
# OBSOLETE setup_xfail "*-*-*"
# OBSOLETE test_print_accept "print card(m_ps1)" "typename in invalid context"
# OBSOLETE }
# OBSOLETE
# OBSOLETE proc test_min {} {
# OBSOLETE global passcount
# OBSOLETE
# OBSOLETE verbose "testing builtin MIN"
# OBSOLETE set passcount 0
# OBSOLETE
# OBSOLETE # discrete mode names
# OBSOLETE test_print_accept "print min(v_ps1)" "1"
# OBSOLETE test_print_accept "print min(v_ps2)" "-100"
# OBSOLETE test_print_accept "print min(v_ps3)" "bb"
# OBSOLETE test_print_accept "print min(v_ps4)" "','"
# OBSOLETE test_print_accept "print min(v_ps5)" "FALSE"
# OBSOLETE test_print_accept "print min(v_ps6)" "-50"
# OBSOLETE
# OBSOLETE # a failure
# OBSOLETE setup_xfail "*-*-*"
# OBSOLETE test_print_accept "print min(v_ps51)" "MIN for empty powerset"
# OBSOLETE setup_xfail "*-*-*"
# OBSOLETE test_print_accept "print min(m_ps1)" "typename in invalid context"
# OBSOLETE }
# OBSOLETE
# OBSOLETE proc test_max {} {
# OBSOLETE global passcount
# OBSOLETE
# OBSOLETE verbose "testing builtin MIN"
# OBSOLETE set passcount 0
# OBSOLETE
# OBSOLETE # discrete mode names
# OBSOLETE test_print_accept "print max(v_ps1)" "7"
# OBSOLETE test_print_accept "print max(v_ps2)" "100"
# OBSOLETE test_print_accept "print max(v_ps3)" "ii"
# OBSOLETE test_print_accept "print max(v_ps4)" "'z'"
# OBSOLETE test_print_accept "print max(v_ps5)" "FALSE"
# OBSOLETE test_print_accept "print max(v_ps6)" "50"
# OBSOLETE
# OBSOLETE # test an IN
# OBSOLETE test_print_accept "print 0 in v_ps6" "TRUE"
# OBSOLETE
# OBSOLETE # a failure
# OBSOLETE setup_xfail "*-*-*"
# OBSOLETE test_print_accept "print max(v_ps51)" "MAX for empty powerset"
# OBSOLETE }
# OBSOLETE
# OBSOLETE # Start with a fresh gdb.
# OBSOLETE
# OBSOLETE gdb_exit
# OBSOLETE gdb_start
# OBSOLETE gdb_reinitialize_dir $srcdir/$subdir
# OBSOLETE
# OBSOLETE gdb_test "set print sevenbit-strings" ".*"
# OBSOLETE
# OBSOLETE if [set_lang_chill] then {
# OBSOLETE # test builtins as described in chapter 6.20.3 Z.200
# OBSOLETE test_card
# OBSOLETE test_min
# OBSOLETE test_max
# OBSOLETE } else {
# OBSOLETE warning "$test_name tests suppressed."
# OBSOLETE }
|
