1# Copyright 2009, 2010, 2011 Free Software Foundation, Inc.
2
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.
7#
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.
12#
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/>.
15
16if $tracelevel {
17    strace $tracelevel
18}
19
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.
23
24set testfile "arrayidx"
25set srcfile ${testfile}.c
26# $EXEEXT suffix is needed here, because otherwise, Windows targets
27# don't find the $binfile for 'file delete $binfile'.
28set binfile ${objdir}/${subdir}/${testfile}$EXEEXT
29
30if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
31    untested "Couldn't compile ${srcfile}"
32    return -1
33}
34
35gdb_exit
36gdb_start
37gdb_reinitialize_dir $srcdir/$subdir
38gdb_load ${binfile}
39
40# Sanity-check: Verify that the executable exists. This is just to
41# make sure that, when we verify later that the file does not exist,
42# it really has been deleted.
43if { ! [file exists $binfile] } {
44    fail "executable does not exist (${binfile})"
45    return -1
46    }
47
48if ![runto_main] then {
49    perror "couldn't run to breakpoint"
50    continue
51}
52
53gdb_continue_to_end
54
55# Try deleting the executable file, now that the program has exited,
56# and make sure that the deletion worked by verifying that the exe
57# is no longer there (the "file delete" tcl command does not return
58# any status, apparently).
59file delete $binfile
60if { [file exists $binfile] } {
61    fail "executable still exists (${binfile})"
62    }
63
64
65