binutils-gdb/gdb/testsuite/gdb.python/py-mi-var-info-path-expression.c
Jan Vrany 5abe0f0cc7 Fix segfault when invoking -var-info-path-expression on a dynamic varobj
Invoking -var-info-path-expression on a dynamic varobj lead either in wrong
(nonsense) result or to a segmentation fault in cplus_describe_child().
This was caused by the fact that varobj_get_path_expr() called
cplus_path_expr_of_child() ignoring the fact the parent of the variable
is dynamic. Then, cplus_describe_child() accessed the underlaying C type
members by index, causing (i) either wrong (nonsense) expression being
returned (since dynamic child may be completely arbibtrary value)
or (ii) segmentation fault (in case the index higher than number of
underlaying C type members.

This fixes the problem by checking whether a varobj is a child of a dynamic
varobj and, if so, reporting an error as described in documentation.

gdb/ChangeLog:

	* varobj.c (varobj_get_path_expr_parent): Report an error if
	parent is a dynamic varobj.

gdb/testsuite/Changelog:

	* gdb.python/py-mi-var-info-path-expression.c: New file.
	* gdb.python/py-mi-var-info-path-expression.py: New file.
	* gdb.python/py-mi-var-info-path-expression.exp: New file.
2018-07-31 10:13:41 -04:00

63 lines
1.3 KiB
C

/* This testcase is part of GDB, the GNU debugger.
Copyright (C) 2018 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 3 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, see <http://www.gnu.org/licenses/>. */
enum cons_type
{
type_atom = 0,
type_cons = 1
};
struct atom
{
int ival;
};
struct cons
{
enum cons_type type;
union
{
struct atom atom;
struct cons *slots[2];
};
};
#define nil ((struct cons*)0);
int
main ()
{
struct cons c1, c2, c3, c4;
c1.type = type_cons;
c1.slots[0] = &c4;
c1.slots[1] = &c2;
c2.type = type_cons;
c2.slots[0] = nil;
c2.slots[1] = &c3;
c3.type = type_cons;
c3.slots[0] = nil;
c3.slots[1] = nil;
c4.type = type_atom;
c4.atom.ival = 13;
return 0; /* next line */
}