diff options
Diffstat (limited to 'gdb/testsuite/gdb.chill/powerset.exp')
| -rw-r--r-- | gdb/testsuite/gdb.chill/powerset.exp | 374 |
1 files changed, 187 insertions, 187 deletions
diff --git a/gdb/testsuite/gdb.chill/powerset.exp b/gdb/testsuite/gdb.chill/powerset.exp index c41276c..6d19248 100644 --- a/gdb/testsuite/gdb.chill/powerset.exp +++ b/gdb/testsuite/gdb.chill/powerset.exp @@ -1,187 +1,187 @@ -# Copyright 1995, 1996, 1997 Free Software Foundation, Inc. - -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - -# Please email any bugs, comments, and/or additions to this file to: -# bug-gdb@prep.ai.mit.edu - -# This file tests various Chill values, expressions, and types. - -if $tracelevel then { - strace $tracelevel -} - -if [skip_chill_tests] then { continue } - -set testfile "powerset" -set srcfile ${srcdir}/$subdir/${testfile}.ch -set binfile ${objdir}/${subdir}/${testfile}.exe -if { [compile "${srcfile} -g -w -o ${binfile} ${CHILL_RT0} ${CHILL_LIB}"] != "" } { - perror "Couldn't compile ${srcfile}" - return -1 -} - -# Set the current language to chill. This counts as a test. If it -# fails, then we skip the other tests. - -proc set_lang_chill {} { - global gdb_prompt - global binfile objdir subdir - - verbose "loading file '$binfile'" - gdb_load $binfile - send_gdb "set language chill\n" - gdb_expect { - -re ".*$gdb_prompt $" {} - timeout { fail "set language chill (timeout)" ; return 0 } - } - - send_gdb "show language\n" - gdb_expect { - -re ".* source language is \"chill\".*$gdb_prompt $" { - pass "set language to \"chill\"" - send_gdb "break xx_\n" - gdb_expect { - -re ".*$gdb_prompt $" { - send_gdb "run\n" - gdb_expect -re ".*$gdb_prompt $" {} - return 1 - } - timeout { - fail "can't set breakpoint (timeout)" - return 0 - } - } - } - -re ".*$gdb_prompt $" { - fail "setting language to \"chill\"" - return 0 - } - timeout { - fail "can't show language (timeout)" - return 0 - } - } -} - -# Testing printing of a specific value. Increment passcount for -# success or issue fail message for failure. In both cases, return -# a 1 to indicate that more tests can proceed. However a timeout -# is a serious error, generates a special fail message, and causes -# a 0 to be returned to indicate that more tests are likely to fail -# as well. -# -# Args are: -# -# First one is string to send_gdb to gdb -# Second one is string to match gdb result to -# Third one is an optional message to be printed - -proc test_print_accept { args } { - global gdb_prompt - global passcount - global verbose - - if [llength $args]==3 then { - set message [lindex $args 2] - } else { - set message [lindex $args 0] - } - set sendthis [lindex $args 0] - set expectthis [lindex $args 1] - set result [gdb_test $sendthis ".* = ${expectthis}" $message] - if $result==0 {incr passcount} - return $result -} - -proc test_card {} { - global passcount - - verbose "testing builtin CARD" - set passcount 0 - - # discrete mode names - test_print_accept "print card(v_ps1)" "4" - test_print_accept "print card(v_ps2)" "15" - test_print_accept "print card(v_ps3)" "4" - test_print_accept "print card(v_ps4)" "11" - test_print_accept "print card(v_ps5)" "1" - test_print_accept "print card(v_ps51)" "0" - test_print_accept "print card(v_ps6)" "101" - - # a failure - setup_xfail "*-*-*" - test_print_accept "print card(m_ps1)" "typename in invalid context" -} - -proc test_min {} { - global passcount - - verbose "testing builtin MIN" - set passcount 0 - - # discrete mode names - test_print_accept "print min(v_ps1)" "1" - test_print_accept "print min(v_ps2)" "-100" - test_print_accept "print min(v_ps3)" "bb" - test_print_accept "print min(v_ps4)" "','" - test_print_accept "print min(v_ps5)" "FALSE" - test_print_accept "print min(v_ps6)" "-50" - - # a failure - setup_xfail "*-*-*" - test_print_accept "print min(v_ps51)" "MIN for empty powerset" - setup_xfail "*-*-*" - test_print_accept "print min(m_ps1)" "typename in invalid context" -} - -proc test_max {} { - global passcount - - verbose "testing builtin MIN" - set passcount 0 - - # discrete mode names - test_print_accept "print max(v_ps1)" "7" - test_print_accept "print max(v_ps2)" "100" - test_print_accept "print max(v_ps3)" "ii" - test_print_accept "print max(v_ps4)" "'z'" - test_print_accept "print max(v_ps5)" "FALSE" - test_print_accept "print max(v_ps6)" "50" - - # test an IN - test_print_accept "print 0 in v_ps6" "TRUE" - - # a failure - setup_xfail "*-*-*" - test_print_accept "print max(v_ps51)" "MAX for empty powerset" -} - -# Start with a fresh gdb. - -gdb_exit -gdb_start -gdb_reinitialize_dir $srcdir/$subdir - -gdb_test "set print sevenbit-strings" ".*" - -if [set_lang_chill] then { - # test builtins as described in chapter 6.20.3 Z.200 - test_card - test_min - test_max -} else { - warning "$test_name tests suppressed." -} +# 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 } |