1 # Copyright 2009 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 this program. If not, see <http://www.gnu.org/licenses/>.
20 # The intent of this testcase is to verify that GDB does not keep
21 # a filesystem lock on the executable file once the executable
22 # is no longer running.
24 set testfile "arrayidx"
25 set srcfile ${testfile}.c
26 set binfile ${objdir}/${subdir}/${testfile}
27 if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
28 untested "Couldn't compile ${srcfile}"
34 gdb_reinitialize_dir $srcdir/$subdir
37 # Sanity-check: Verify that the executable exists. This is just to
38 # make sure that, when we verify later that the file does not exist,
39 # it really has been deleted.
40 if { ! [file exists $binfile] } {
41 fail "executable does not exist (${binfile})"
45 if ![runto_main] then {
46 perror "couldn't run to breakpoint"
51 ".*Program exited normally\\." \
52 "continue until program exits"
54 # Try deleting the executable file, now that the program has exited,
55 # and make sure that the deletion worked by verifying that the exe
56 # is no longer there (the "file delete" tcl command does not return
57 # any status, apparently).
59 if { [file exists $binfile] } {
60 fail "executable still exists (${binfile})"