1# Copyright 2003, 2007 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
16# Tests for PR gdb/1250.
17# 2003-07-15  Michael Chastain <mec@shout.net>
18
19# This file is part of the gdb testsuite.
20
21if $tracelevel then {
22        strace $tracelevel
23        }
24
25#
26# test running programs
27#
28set prms_id 0
29set bug_id 0
30
31set testfile "gdb1250"
32set srcfile ${testfile}.c
33set binfile ${objdir}/${subdir}/${testfile}
34
35if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
36     untested gdb1250.exp
37     return -1
38}
39
40gdb_exit
41gdb_start
42gdb_reinitialize_dir $srcdir/$subdir
43gdb_load ${binfile}
44
45if ![runto abort {allow-pending}] then {
46    perror "couldn't run to breakpoint"
47    continue
48}
49
50# See http://sources.redhat.com/gdb/bugs/1250
51#
52# In a nutshell: the function 'beta' ends with a call to 'abort', which
53# is a noreturn function.  So the last instruction of 'beta' is a call
54# to 'abort'.  When gdb looks for information about the caller of
55# 'beta', it looks at the instruction after the call to 'abort' -- which
56# is the first instruction of 'alpha'!  So gdb uses the wrong frame
57# information.  It thinks that the test program is in 'alpha' and that
58# the prologue "push %ebp / mov %esp,%ebp" has not been executed yet,
59# and grabs the wrong values.
60#
61# By the nature of the bug, it could pass if the C compiler is not smart
62# enough to implement 'abort' as a noreturn function.  This is okay.
63# The real point is that users often put breakpoints on noreturn
64# functions such as 'abort' or some kind of exitting function, and those
65# breakpoints should work.
66
67gdb_test_multiple "backtrace" "backtrace from abort" {
68    -re "#0.*abort.*\r\n#1.*beta.*\r\n#2.*alpha.*\r\n#3.*main.*\r\n$gdb_prompt $" {
69	pass "backtrace from abort"
70    }
71    -re "#0.*abort.*\r\n#1.*beta.*\r\n$gdb_prompt $" {
72	# This happens with gdb HEAD as of 2003-07-13, with gcc 3.3,
73	# binutils 2.14, either -gdwarf-2 or -gstabs+, on native
74	# i686-pc-linux-gnu.
75	#
76	# gdb gets 'abort' and 'beta' right and then goes into the
77	# weeds.
78	kfail "gdb/1250" "backtrace from abort"
79    }
80}
81