[deliverable/binutils-gdb.git] / gdb / testsuite / gdb.base / constvars.exp

# Copyright 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
# 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

# written by Elena Zannoni (elz@apollo.hp.com)
#
# This file is part of the gdb testsuite
#
# tests for const variables
#           const pointers to vars
#           pointers to const variables
#           const pointers to const vars
# with mixed types

if $tracelevel then {
    strace $tracelevel
}

#
# test running programs
#
set prms_id 0
set bug_id 0

set testfile "constvars"
set srcfile ${testfile}.c
set binfile ${objdir}/${subdir}/${testfile}

# Create and source the file that provides information about the compiler
# used to compile the test case.
if [get_compiler_info ${binfile}] {
    return -1;
}

if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable debug ] != "" } {
    gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
}

gdb_exit
gdb_start
gdb_reinitialize_dir $srcdir/$subdir
gdb_load ${binfile}


#
# set it up at a breakpoint so we can play with the variable values
#
if ![runto_main] then {
    perror "couldn't run to breakpoint"
    continue
}

get_debug_format

proc local_compiler_xfail_check { } {
    if { [test_compiler_info gcc-2-*] } then {
	if { ![test_debug_format "HP"] \
		&& ![test_debug_format "DWARF 2"] } then {
	    setup_xfail "*-*-*" 
	}
    }

    global hp_cc_compiler
    if { $hp_cc_compiler } {
	setup_xfail "hppa*-*-hpux*"
    }
}

send_gdb "break marker1\n" ; gdb_expect -re ".*$gdb_prompt $"

    send_gdb "cont\n"
    gdb_expect {
        -re "Break.* marker1 \\(\\) at .*:$decimal.*$gdb_prompt $" {
            send_gdb "up\n"
            gdb_expect {
		-re ".*main.*$gdb_prompt $" {
		    pass "up from marker1"
		}
                -re ".*$gdb_prompt $" {
		    fail "up from marker1"
		}
                timeout { fail "up from marker1 (timeout)" }
            }
        }
        -re "Break.* marker1__.* \\(\\) at .*:$decimal.*$gdb_prompt $" {
	    fail "continue to marker1 (demangling)"
            send_gdb "up\n"
            gdb_expect {
		-re ".*main.*$gdb_prompt $" {
		    pass "up from marker1"
		}
                -re ".*$gdb_prompt $" {
		    fail "up from marker1"
		}
                timeout { fail "up from marker1 (timeout)" }
            }
        }
        -re "$gdb_prompt $" { fail "continue to marker1"  }
        timeout { fail "(timeout) continue to marker1"  }
    }

# test function parameters

local_compiler_xfail_check
if { [test_compiler_info gcc-3-*] && [test_debug_format "stabs"] } then {
    # With stabs, even GCC 3 does not get the const char arguments correct.
    setup_xfail "*-*-*"
}
send_gdb "ptype qux1\n"
gdb_expect {
    -re "type = int \\(const char, const char, const char \\*, char \\* const\\).*$gdb_prompt $" {
        pass "ptype qux1"
    }
    -re ".*$gdb_prompt $" { fail "ptype qux1" }
    timeout           { fail "(timeout) ptype qux1" }
}   

# test vars and pointers

proc do_constvar_tests {} {
    gdb_test "print lave" " = 66 'B'"
    gdb_test "ptype lave" "type = char"
    gdb_test "print lavish" " = 10 '\\\\n'"
    gdb_test "ptype lavish" "type = unsigned char"
    gdb_test "print lax" " = 20"
    gdb_test "ptype lax" "type = short.*"
    gdb_test "print lecherous" " = 30"
    gdb_test "ptype lecherous" "type = (unsigned short|short unsigned)( int)?"
    gdb_test "print lechery" " = 40"
    gdb_test "ptype lechery" "type = long.*"
    gdb_test "print lectern" " = 50"
    gdb_test "ptype lectern" "type = (unsigned long|long unsigned)( int)?"
    gdb_test "print leeway" " = 60"
    gdb_test "ptype leeway" "type = float"
    gdb_test "print legacy" " = 70"
    gdb_test "ptype legacy" "type = double"
    gdb_test "print laconic" " = 65 'A'"
    local_compiler_xfail_check
    gdb_test "ptype laconic" "type = const char"
    gdb_test "print laggard" " = 1 '.001'"
    local_compiler_xfail_check
    gdb_test "ptype laggard" "type = const unsigned char"
    gdb_test "print lagoon" " = 2"
    local_compiler_xfail_check
    gdb_test "ptype lagoon" "type = const short( int)?"
    gdb_test "print laity" " = 3"
    local_compiler_xfail_check
    gdb_test "ptype laity" "type = const (unsigned short|short unsigned)( int)?"
    gdb_test "print lambent" " = 4"
    local_compiler_xfail_check
    gdb_test "ptype lambent" "type = const long( int)?"
    gdb_test "print laminated" " = 5"
    local_compiler_xfail_check
    gdb_test "ptype laminated" "type = const (unsigned long|long unsigned)( int)?"
    gdb_test "print lampoon" " = 6"
    local_compiler_xfail_check
    gdb_test "ptype lampoon" "type = const float"
    gdb_test "print languid" " = 7"
    local_compiler_xfail_check
    gdb_test "ptype languid" "type = const double"
    gdb_test "print *legend" " = 66 'B'"
    local_compiler_xfail_check
    gdb_test "ptype legend" "type = const char \\*"
    gdb_test "print *legerdemain" " = 10 '\\\\n'"
    local_compiler_xfail_check
    gdb_test "ptype legerdemain" "type = const unsigned char \\*"
    gdb_test "print *leniency" " = 20"
    local_compiler_xfail_check
    gdb_test "ptype leniency" "type = const short( int)? \\*"
    gdb_test "print *leonine" " = 30"
    local_compiler_xfail_check
    gdb_test "ptype leonine" "type = const (unsigned short|short unsigned)( int)? \\*"
    gdb_test "print *lesion" " = 40"
    local_compiler_xfail_check
    gdb_test "ptype lesion" "type = const long( int)? \\*"
    gdb_test "print *lethal" " = 50"
    local_compiler_xfail_check
    gdb_test "ptype lethal" "type = const (unsigned long|long unsigned)( int)? \\*"
    gdb_test "print *lethargic" " = 60"
    local_compiler_xfail_check
    gdb_test "ptype lethargic" "type = const float \\*"
    gdb_test "print *levity" " = 70"
    local_compiler_xfail_check
    gdb_test "ptype levity" "type = const double \\*"
    gdb_test "print *lewd" " = 65 'A'"
    local_compiler_xfail_check
    gdb_test "ptype lewd" "type = const char \\* const"
    gdb_test "print *lexicographer" " = 1 '.001'"
    local_compiler_xfail_check
    gdb_test "ptype lexicographer" "type = const unsigned char \\* const"
    gdb_test "print *lexicon" " = 2"
    local_compiler_xfail_check
    gdb_test "ptype lexicon" "type = const short( int)? \\* const"
    gdb_test "print *liaison" " = 3"
    local_compiler_xfail_check
    gdb_test "ptype liaison" "type = const (unsigned short|short unsigned)( int)? \\* const"
    gdb_test "print *libation" " = 4"
    local_compiler_xfail_check
    gdb_test "ptype libation" "type = const long( int)? \\* const"
    gdb_test "print *libelous" " = 5"
    local_compiler_xfail_check
    gdb_test "ptype libelous" "type = const (unsigned long|long unsigned)( int)? \\* const"
    gdb_test "print *libertine" " = 6"
    local_compiler_xfail_check
    gdb_test "ptype libertine" "type = const float \\* const"
    gdb_test "print *libidinous" " = 7"
    local_compiler_xfail_check
    gdb_test "ptype libidinous" "type = const double \\* const"
    gdb_test "print *languish" " = 65 'A'"
    local_compiler_xfail_check
    gdb_test "ptype languish" "type = const char \\*"
    gdb_test "print *languor" " = 1 '.001'"
    local_compiler_xfail_check
    gdb_test "ptype languor" "type = const unsigned char \\*"
    gdb_test "print *lank" " = 2"
    local_compiler_xfail_check
    gdb_test "ptype lank" "type = const short( int)? \\*"
    gdb_test "print *lapidary" " = 3"
    local_compiler_xfail_check
    gdb_test "ptype lapidary" "type = const (unsigned short|short unsigned)( int)? \\*"
    gdb_test "print *larceny" " = 4"
    local_compiler_xfail_check
    gdb_test "ptype larceny" "type = const long( int)? \\*"
    gdb_test "print *largess" " = 5"
    local_compiler_xfail_check
    gdb_test "ptype largess" "type = const (unsigned long|long unsigned)( int)? \\*"
    gdb_test "print *lascivious" " = 6"
    local_compiler_xfail_check

    gdb_test "ptype lascivious" "type = const float \\*"
    gdb_test "print *lassitude" " = 7"
    local_compiler_xfail_check
    gdb_test "ptype lassitude" "type = const double \\*"
    gdb_test "print *lamprey" " = 66 'B'"
    local_compiler_xfail_check
    gdb_test "ptype lamprey" "type = char \\* const"
    gdb_test "print *lariat" " = 10 '\\\\n'"
    local_compiler_xfail_check
    gdb_test "ptype lariat" "type = unsigned char \\* const"
    gdb_test "print *laudanum" " = 20"
    local_compiler_xfail_check
    gdb_test "ptype laudanum" "type = short( int)? \\* const"
    gdb_test "print *lecithin" " = 30"
    local_compiler_xfail_check
    gdb_test "ptype lecithin" "type = (unsigned short|short unsigned)( int)? \\* const"
    gdb_test "print *leviathan" " = 40"
    local_compiler_xfail_check
    gdb_test "ptype leviathan" "type = long( int)? \\* const"
    gdb_test "print *libretto" " = 50"
    local_compiler_xfail_check
    gdb_test "ptype libretto" "type = (unsigned long|long unsigned)( int)? \\* const"
    gdb_test "print *lissome" " = 60"
    local_compiler_xfail_check
    gdb_test "ptype lissome" "type = float \\* const"
    gdb_test "print *locust" " = 70"
    local_compiler_xfail_check
    gdb_test "ptype locust" "type = double \\* const"

    local_compiler_xfail_check
    if { [test_compiler_info gcc-3-*] && [test_debug_format "stabs"] } then {
	# With stabs, even GCC 3 does not get the constant structure member
	# correct.
	setup_xfail "*-*-*"
    }
    gdb_test "ptype crass" "type = struct crass \{\[\r\n\]+\[\ \t\]+char \\* const ptr;\[\r\n\]+\}"
    local_compiler_xfail_check
    gdb_test "ptype crisp" "type = struct crisp \{\[\r\n\]+\[\ \t\]+char \\* const \\*ptr;\[\r\n\]+\}"
}

do_constvar_tests
Commit	Line	Data
	1	# Copyright 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
	2	# Free Software Foundation, Inc.
	3
	4	# This program is free software; you can redistribute it and/or modify
	5	# it under the terms of the GNU General Public License as published by
	6	# the Free Software Foundation; either version 2 of the License, or
	7	# (at your option) any later version.
	8	#
	9	# This program is distributed in the hope that it will be useful,
	10	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	11	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	12	# GNU General Public License for more details.
	13	#
	14	# You should have received a copy of the GNU General Public License
	15	# along with this program; if not, write to the Free Software
	16	# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
	17
	18	# Please email any bugs, comments, and/or additions to this file to:
	19	# bug-gdb@prep.ai.mit.edu
	20
	21	# written by Elena Zannoni (elz@apollo.hp.com)
	22	#
	23	# This file is part of the gdb testsuite
	24	#
	25	# tests for const variables
	26	# const pointers to vars
	27	# pointers to const variables
	28	# const pointers to const vars
	29	# with mixed types
	30
	31	if $tracelevel then {
	32	strace $tracelevel
	33	}
	34
	35	#
	36	# test running programs
	37	#
	38	set prms_id 0
	39	set bug_id 0
	40
	41	set testfile "constvars"
	42	set srcfile ${testfile}.c
	43	set binfile ${objdir}/${subdir}/${testfile}
	44
	45	# Create and source the file that provides information about the compiler
	46	# used to compile the test case.
	47	if [get_compiler_info ${binfile}] {
	48	return -1;
	49	}
	50
	51	if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable debug ] != "" } {
	52	gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
	53	}
	54
	55	gdb_exit
	56	gdb_start
	57	gdb_reinitialize_dir $srcdir/$subdir
	58	gdb_load ${binfile}
	59
	60
	61	#
	62	# set it up at a breakpoint so we can play with the variable values
	63	#
	64	if ![runto_main] then {
	65	perror "couldn't run to breakpoint"
	66	continue
	67	}
	68
	69	get_debug_format
	70
	71	proc local_compiler_xfail_check { } {
	72	if { [test_compiler_info gcc-2-*] } then {
	73	if { ![test_debug_format "HP"] \
	74	&& ![test_debug_format "DWARF 2"] } then {
	75	setup_xfail "--*"
	76	}
	77	}
	78
	79	global hp_cc_compiler
	80	if { $hp_cc_compiler } {
	81	setup_xfail "hppa--hpux*"
	82	}
	83	}
	84
	85	send_gdb "break marker1\n" ; gdb_expect -re ".*$gdb_prompt $"
	86
	87	send_gdb "cont\n"
	88	gdb_expect {
	89	-re "Break.* marker1 \\(\\) at .:$decimal.$gdb_prompt $" {
	90	send_gdb "up\n"
	91	gdb_expect {
	92	-re ".main.$gdb_prompt $" {
	93	pass "up from marker1"
	94	}
	95	-re ".*$gdb_prompt $" {
	96	fail "up from marker1"
	97	}
	98	timeout { fail "up from marker1 (timeout)" }
	99	}
	100	}
	101	-re "Break.* marker1__.* \\(\\) at .:$decimal.$gdb_prompt $" {
	102	fail "continue to marker1 (demangling)"
	103	send_gdb "up\n"
	104	gdb_expect {
	105	-re ".main.$gdb_prompt $" {
	106	pass "up from marker1"
	107	}
	108	-re ".*$gdb_prompt $" {
	109	fail "up from marker1"
	110	}
	111	timeout { fail "up from marker1 (timeout)" }
	112	}
	113	}
	114	-re "$gdb_prompt $" { fail "continue to marker1" }
	115	timeout { fail "(timeout) continue to marker1" }
	116	}
	117
	118	# test function parameters
	119
	120	local_compiler_xfail_check
	121	if { [test_compiler_info gcc-3-*] && [test_debug_format "stabs"] } then {
	122	# With stabs, even GCC 3 does not get the const char arguments correct.
	123	setup_xfail "--*"
	124	}
	125	send_gdb "ptype qux1\n"
	126	gdb_expect {
	127	-re "type = int \\(const char, const char, const char \\, char \\ const\\).*$gdb_prompt $" {
	128	pass "ptype qux1"
	129	}
	130	-re ".*$gdb_prompt $" { fail "ptype qux1" }
	131	timeout { fail "(timeout) ptype qux1" }
	132	}
	133
	134	# test vars and pointers
	135
	136	proc do_constvar_tests {} {
	137	gdb_test "print lave" " = 66 'B'"
	138	gdb_test "ptype lave" "type = char"
	139	gdb_test "print lavish" " = 10 '\\\\n'"
	140	gdb_test "ptype lavish" "type = unsigned char"
	141	gdb_test "print lax" " = 20"
	142	gdb_test "ptype lax" "type = short.*"
	143	gdb_test "print lecherous" " = 30"
	144	gdb_test "ptype lecherous" "type = (unsigned short\|short unsigned)( int)?"
	145	gdb_test "print lechery" " = 40"
	146	gdb_test "ptype lechery" "type = long.*"
	147	gdb_test "print lectern" " = 50"
	148	gdb_test "ptype lectern" "type = (unsigned long\|long unsigned)( int)?"
	149	gdb_test "print leeway" " = 60"
	150	gdb_test "ptype leeway" "type = float"
	151	gdb_test "print legacy" " = 70"
	152	gdb_test "ptype legacy" "type = double"
	153	gdb_test "print laconic" " = 65 'A'"
	154	local_compiler_xfail_check
	155	gdb_test "ptype laconic" "type = const char"
	156	gdb_test "print laggard" " = 1 '.001'"
	157	local_compiler_xfail_check
	158	gdb_test "ptype laggard" "type = const unsigned char"
	159	gdb_test "print lagoon" " = 2"
	160	local_compiler_xfail_check
	161	gdb_test "ptype lagoon" "type = const short( int)?"
	162	gdb_test "print laity" " = 3"
	163	local_compiler_xfail_check
	164	gdb_test "ptype laity" "type = const (unsigned short\|short unsigned)( int)?"
	165	gdb_test "print lambent" " = 4"
	166	local_compiler_xfail_check
	167	gdb_test "ptype lambent" "type = const long( int)?"
	168	gdb_test "print laminated" " = 5"
	169	local_compiler_xfail_check
	170	gdb_test "ptype laminated" "type = const (unsigned long\|long unsigned)( int)?"
	171	gdb_test "print lampoon" " = 6"
	172	local_compiler_xfail_check
	173	gdb_test "ptype lampoon" "type = const float"
	174	gdb_test "print languid" " = 7"
	175	local_compiler_xfail_check
	176	gdb_test "ptype languid" "type = const double"
	177	gdb_test "print *legend" " = 66 'B'"
	178	local_compiler_xfail_check
	179	gdb_test "ptype legend" "type = const char \\*"
	180	gdb_test "print *legerdemain" " = 10 '\\\\n'"
	181	local_compiler_xfail_check
	182	gdb_test "ptype legerdemain" "type = const unsigned char \\*"
	183	gdb_test "print *leniency" " = 20"
	184	local_compiler_xfail_check
	185	gdb_test "ptype leniency" "type = const short( int)? \\*"
	186	gdb_test "print *leonine" " = 30"
	187	local_compiler_xfail_check
	188	gdb_test "ptype leonine" "type = const (unsigned short\|short unsigned)( int)? \\*"
	189	gdb_test "print *lesion" " = 40"
	190	local_compiler_xfail_check
	191	gdb_test "ptype lesion" "type = const long( int)? \\*"
	192	gdb_test "print *lethal" " = 50"
	193	local_compiler_xfail_check
	194	gdb_test "ptype lethal" "type = const (unsigned long\|long unsigned)( int)? \\*"
	195	gdb_test "print *lethargic" " = 60"
	196	local_compiler_xfail_check
	197	gdb_test "ptype lethargic" "type = const float \\*"
	198	gdb_test "print *levity" " = 70"
	199	local_compiler_xfail_check
	200	gdb_test "ptype levity" "type = const double \\*"
	201	gdb_test "print *lewd" " = 65 'A'"
	202	local_compiler_xfail_check
	203	gdb_test "ptype lewd" "type = const char \\* const"
	204	gdb_test "print *lexicographer" " = 1 '.001'"
	205	local_compiler_xfail_check
	206	gdb_test "ptype lexicographer" "type = const unsigned char \\* const"
	207	gdb_test "print *lexicon" " = 2"
	208	local_compiler_xfail_check
	209	gdb_test "ptype lexicon" "type = const short( int)? \\* const"
	210	gdb_test "print *liaison" " = 3"
	211	local_compiler_xfail_check
	212	gdb_test "ptype liaison" "type = const (unsigned short\|short unsigned)( int)? \\* const"
	213	gdb_test "print *libation" " = 4"
	214	local_compiler_xfail_check
	215	gdb_test "ptype libation" "type = const long( int)? \\* const"
	216	gdb_test "print *libelous" " = 5"
	217	local_compiler_xfail_check
	218	gdb_test "ptype libelous" "type = const (unsigned long\|long unsigned)( int)? \\* const"
	219	gdb_test "print *libertine" " = 6"
	220	local_compiler_xfail_check
	221	gdb_test "ptype libertine" "type = const float \\* const"
	222	gdb_test "print *libidinous" " = 7"
	223	local_compiler_xfail_check
	224	gdb_test "ptype libidinous" "type = const double \\* const"
	225	gdb_test "print *languish" " = 65 'A'"
	226	local_compiler_xfail_check
	227	gdb_test "ptype languish" "type = const char \\*"
	228	gdb_test "print *languor" " = 1 '.001'"
	229	local_compiler_xfail_check
	230	gdb_test "ptype languor" "type = const unsigned char \\*"
	231	gdb_test "print *lank" " = 2"
	232	local_compiler_xfail_check
	233	gdb_test "ptype lank" "type = const short( int)? \\*"
	234	gdb_test "print *lapidary" " = 3"
	235	local_compiler_xfail_check
	236	gdb_test "ptype lapidary" "type = const (unsigned short\|short unsigned)( int)? \\*"
	237	gdb_test "print *larceny" " = 4"
	238	local_compiler_xfail_check
	239	gdb_test "ptype larceny" "type = const long( int)? \\*"
	240	gdb_test "print *largess" " = 5"
	241	local_compiler_xfail_check
	242	gdb_test "ptype largess" "type = const (unsigned long\|long unsigned)( int)? \\*"
	243	gdb_test "print *lascivious" " = 6"
	244	local_compiler_xfail_check
	245
	246	gdb_test "ptype lascivious" "type = const float \\*"
	247	gdb_test "print *lassitude" " = 7"
	248	local_compiler_xfail_check
	249	gdb_test "ptype lassitude" "type = const double \\*"
	250	gdb_test "print *lamprey" " = 66 'B'"
	251	local_compiler_xfail_check
	252	gdb_test "ptype lamprey" "type = char \\* const"
	253	gdb_test "print *lariat" " = 10 '\\\\n'"
	254	local_compiler_xfail_check
	255	gdb_test "ptype lariat" "type = unsigned char \\* const"
	256	gdb_test "print *laudanum" " = 20"
	257	local_compiler_xfail_check
	258	gdb_test "ptype laudanum" "type = short( int)? \\* const"
	259	gdb_test "print *lecithin" " = 30"
	260	local_compiler_xfail_check
	261	gdb_test "ptype lecithin" "type = (unsigned short\|short unsigned)( int)? \\* const"
	262	gdb_test "print *leviathan" " = 40"
	263	local_compiler_xfail_check
	264	gdb_test "ptype leviathan" "type = long( int)? \\* const"
	265	gdb_test "print *libretto" " = 50"
	266	local_compiler_xfail_check
	267	gdb_test "ptype libretto" "type = (unsigned long\|long unsigned)( int)? \\* const"
	268	gdb_test "print *lissome" " = 60"
	269	local_compiler_xfail_check
	270	gdb_test "ptype lissome" "type = float \\* const"
	271	gdb_test "print *locust" " = 70"
	272	local_compiler_xfail_check
	273	gdb_test "ptype locust" "type = double \\* const"
	274
	275	local_compiler_xfail_check
	276	if { [test_compiler_info gcc-3-*] && [test_debug_format "stabs"] } then {
	277	# With stabs, even GCC 3 does not get the constant structure member
	278	# correct.
	279	setup_xfail "--*"
	280	}
	281	gdb_test "ptype crass" "type = struct crass \{\[\r\n\]+\[\ \t\]+char \\* const ptr;\[\r\n\]+\}"
	282	local_compiler_xfail_check
	283	gdb_test "ptype crisp" "type = struct crisp \{\[\r\n\]+\[\ \t\]+char \\* const \\*ptr;\[\r\n\]+\}"
	284	}
	285
	286	do_constvar_tests