diff options
author | Andrew Cagney <cagney@redhat.com> | 2003-11-20 15:36:34 +0000 |
---|---|---|
committer | Andrew Cagney <cagney@redhat.com> | 2003-11-20 15:36:34 +0000 |
commit | 039cf96dc4850dfd1de813faa9200bdc4fadb021 (patch) | |
tree | 73c69b1f37a3b9413c5f5554fd9dc93178d785d8 /gdb/testsuite/gdb.base | |
parent | 90ced0dda19963b5a4f79acb8a0fe8e0fe77e70c (diff) | |
download | gdb-039cf96dc4850dfd1de813faa9200bdc4fadb021.zip gdb-039cf96dc4850dfd1de813faa9200bdc4fadb021.tar.gz gdb-039cf96dc4850dfd1de813faa9200bdc4fadb021.tar.bz2 |
2003-11-20 Andrew Cagney <cagney@redhat.com>
* gdb.base/maint.exp: Use gdb_internal_error_resync to recover
from the internal error.
* lib/gdb.exp (gdb_internal_error_resync): New procedure.
Original from Jim Blandy.
(gdb_test_multiple): Use gdb_internal_error_resync.
Diffstat (limited to 'gdb/testsuite/gdb.base')
-rw-r--r-- | gdb/testsuite/gdb.base/maint.exp | 32 |
1 files changed, 10 insertions, 22 deletions
diff --git a/gdb/testsuite/gdb.base/maint.exp b/gdb/testsuite/gdb.base/maint.exp index f82bf02..212d106 100644 --- a/gdb/testsuite/gdb.base/maint.exp +++ b/gdb/testsuite/gdb.base/maint.exp @@ -650,34 +650,22 @@ gdb_expect { } send_gdb "maint internal-error\n" -gdb_expect { - -re "Quit this debugging session.*\\(y or n\\) $" { - send_gdb "n\n" - gdb_expect { - -re "Create a core file.*\\(y or n\\) $" { - send_gdb "n\n" - gdb_expect { - -re ".*$gdb_prompt $" { - pass "maint internal-error" - } - timeout { - fail "(timeout) maint internal-error" - } - } - } - -re ".*$gdb_prompt $" { - fail "maint internal-error" - } - timeout { - fail "(timeout) maint internal-error" - } +gdb_expect { + -re "A problem internal to GDB has been detected" { + pass "maint internal-error" + if [gdb_internal_error_resync] { + pass "internal-error resync" + } else { + fail "internal-error resync" } } -re ".*$gdb_prompt $" { fail "maint internal-error" + untested "internal-error resync" } timeout { - fail "(timeout) maint internal-error" + fail "maint internal-error (timeout)" + untested "internal-error resync" } } |