Compare commits
6 Commits
Author | SHA1 | Date |
---|---|---|
Jan Kratochvil | a85ad4966c | |
Sergio Durigan Junior | 259e224402 | |
Sergio Durigan Junior | 60f38d2ebd | |
Sergio Durigan Junior | 81b9cf010a | |
Jan Kratochvil | cc58fc0cba | |
Jan Kratochvil | 081d76f3ce |
|
@ -0,0 +1,229 @@
|
||||||
|
From: Pedro Alves <palves at redhat dot com>
|
||||||
|
To: gdb-patches at sourceware dot org
|
||||||
|
Subject: [PATCH] Fix GCC PR83906 - [8 Regression] Random FAIL: libstdc++-prettyprinters/80276.cc whatis p4
|
||||||
|
Date: Wed, 24 Jan 2018 17:27:22 +0000
|
||||||
|
Message-Id: <20180124172722.31553-1-palves@redhat.com>
|
||||||
|
|
||||||
|
GCC PR83906 [1] is about a GCC/libstdc++ GDB/Python type printer
|
||||||
|
testcase failing randomly, as shown by running (in libstdc++'s
|
||||||
|
testsuite):
|
||||||
|
|
||||||
|
make check RUNTESTFLAGS=prettyprinters.exp=80276.cc
|
||||||
|
|
||||||
|
in a loop. Sometimes you get this:
|
||||||
|
|
||||||
|
FAIL: libstdc++-prettyprinters/80276.cc whatis p4
|
||||||
|
|
||||||
|
I.e., this:
|
||||||
|
type = std::unique_ptr<std::vector<std::unique_ptr<std::list<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >>[]>>[99]>
|
||||||
|
|
||||||
|
instead of this:
|
||||||
|
type = std::unique_ptr<std::vector<std::unique_ptr<std::list<std::string>[]>>[99]>
|
||||||
|
|
||||||
|
Jonathan Wakely tracked it on the printer side to this bit in
|
||||||
|
libstdc++'s type printer:
|
||||||
|
|
||||||
|
if self.type_obj == type_obj:
|
||||||
|
return strip_inline_namespaces(self.name)
|
||||||
|
|
||||||
|
This assumes the two types resolve to the same gdb.Type but some times
|
||||||
|
the comparison unexpectedly fails.
|
||||||
|
|
||||||
|
Running the testcase manually under Valgrind finds the problem in GDB:
|
||||||
|
|
||||||
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
==6118== Conditional jump or move depends on uninitialised value(s)
|
||||||
|
==6118== at 0x4C35CB0: bcmp (vg_replace_strmem.c:1100)
|
||||||
|
==6118== by 0x6F773A: check_types_equal(type*, type*, VEC_type_equality_entry_d**) (gdbtypes.c:3515)
|
||||||
|
==6118== by 0x6F7B00: check_types_worklist(VEC_type_equality_entry_d**, bcache*) (gdbtypes.c:3618)
|
||||||
|
==6118== by 0x6F7C03: types_deeply_equal(type*, type*) (gdbtypes.c:3655)
|
||||||
|
==6118== by 0x4D5B06: typy_richcompare(_object*, _object*, int) (py-type.c:1007)
|
||||||
|
==6118== by 0x63D7E6C: PyObject_RichCompare (object.c:961)
|
||||||
|
==6118== by 0x646EAEC: PyEval_EvalFrameEx (ceval.c:4960)
|
||||||
|
==6118== by 0x646DC08: PyEval_EvalFrameEx (ceval.c:4519)
|
||||||
|
==6118== by 0x646DC08: PyEval_EvalFrameEx (ceval.c:4519)
|
||||||
|
==6118== by 0x646DC08: PyEval_EvalFrameEx (ceval.c:4519)
|
||||||
|
==6118== by 0x646DC08: PyEval_EvalFrameEx (ceval.c:4519)
|
||||||
|
==6118== by 0x646DC08: PyEval_EvalFrameEx (ceval.c:4519)
|
||||||
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||||
|
|
||||||
|
That "bcmp" call is really a memcmp call in check_types_equal. The
|
||||||
|
problem is that gdb is memcmp'ing two objects that are equal in value:
|
||||||
|
|
||||||
|
(top-gdb) p *TYPE_RANGE_DATA (type1)
|
||||||
|
$1 = {low = {kind = PROP_CONST, data = {const_val = 0, baton = 0x0}}, high = {kind = PROP_CONST, data = {const_val = 15, baton = 0xf}}, flag_upper_bound_is_count = 0,
|
||||||
|
flag_bound_evaluated = 0}
|
||||||
|
(top-gdb) p *TYPE_RANGE_DATA (type2)
|
||||||
|
$2 = {low = {kind = PROP_CONST, data = {const_val = 0, baton = 0x0}}, high = {kind = PROP_CONST, data = {const_val = 15, baton = 0xf}}, flag_upper_bound_is_count = 0,
|
||||||
|
flag_bound_evaluated = 0}
|
||||||
|
|
||||||
|
but differ in padding. Notice the 4-byte hole:
|
||||||
|
|
||||||
|
(top-gdb) ptype /o range_bounds
|
||||||
|
/* offset | size */ type = struct range_bounds {
|
||||||
|
/* 0 | 16 */ struct dynamic_prop {
|
||||||
|
/* 0 | 4 */ dynamic_prop_kind kind;
|
||||||
|
/* XXX 4-byte hole */
|
||||||
|
/* 8 | 8 */ union dynamic_prop_data {
|
||||||
|
/* 8 */ LONGEST const_val;
|
||||||
|
/* 8 */ void *baton;
|
||||||
|
|
||||||
|
/* total size (bytes): 8 */
|
||||||
|
} data;
|
||||||
|
|
||||||
|
which is filled with garbage:
|
||||||
|
|
||||||
|
(top-gdb) x /40bx TYPE_RANGE_DATA (type1)
|
||||||
|
0x2fa7ea0: 0x01 0x00 0x00 0x00 0x43 0x01 0x00 0x00
|
||||||
|
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
|
0x2fa7ea8: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||||||
|
0x2fa7eb0: 0x01 0x00 0x00 0x00 0xfe 0x7f 0x00 0x00
|
||||||
|
0x2fa7eb8: 0x0f 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||||||
|
0x2fa7ec0: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||||||
|
(top-gdb) x /40bx TYPE_RANGE_DATA (type2)
|
||||||
|
0x20379b0: 0x01 0x00 0x00 0x00 0xfe 0x7f 0x00 0x00
|
||||||
|
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
|
0x20379b8: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||||||
|
0x20379c0: 0x01 0x00 0x00 0x00 0xfe 0x7f 0x00 0x00
|
||||||
|
0x20379c8: 0x0f 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||||||
|
0x20379d0: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00
|
||||||
|
|
||||||
|
(top-gdb) p memcmp (TYPE_RANGE_DATA (type1), TYPE_RANGE_DATA (type2), sizeof (*TYPE_RANGE_DATA (type1)))
|
||||||
|
$3 = -187
|
||||||
|
|
||||||
|
In some cases objects of type range_bounds are memset when allocated,
|
||||||
|
but then their dynamic_prop low/high fields are copied over from some
|
||||||
|
template dynamic_prop object that wasn't memset. E.g.,
|
||||||
|
create_static_range_type's low/high locals are left with garbage in
|
||||||
|
the padding, and then that padding is copied over to the range_bounds
|
||||||
|
object's low/high fields.
|
||||||
|
|
||||||
|
At first, I considered making sure to always memset range_bounds
|
||||||
|
objects, thinking that maybe type objects are being put in some bcache
|
||||||
|
instance somewhere. But then I hacked bcache/bcache_full to poison
|
||||||
|
non-pod types, and made dynamic_prop a non-pod, and GDB still
|
||||||
|
compiled.
|
||||||
|
|
||||||
|
So given that, it seems safest to not assume padding will always be
|
||||||
|
memset, and instead treat them as regular value types, implementing
|
||||||
|
(in)equality operators and using those instead of memcmp.
|
||||||
|
|
||||||
|
This fixes the random FAILs in GCC's testcase.
|
||||||
|
|
||||||
|
[1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83906
|
||||||
|
|
||||||
|
gdb/ChangeLog:
|
||||||
|
2018-01-24 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
GCC PR libstdc++/83906
|
||||||
|
* gdbtypes.c (operator==(const dynamic_prop &,
|
||||||
|
const dynamic_prop &)): New.
|
||||||
|
(operator==(const range_bounds &, const range_bounds &)): New.
|
||||||
|
(check_types_equal): Use them instead of memcmp.
|
||||||
|
* gdbtypes.h (operator==(const dynamic_prop &,
|
||||||
|
const dynamic_prop &)): Declare.
|
||||||
|
(operator!=(const dynamic_prop &, const dynamic_prop &)): Declare.
|
||||||
|
(operator==(const range_bounds &, const range_bounds &)): Declare.
|
||||||
|
(operator!=(const range_bounds &, const range_bounds &)): Declare.
|
||||||
|
---
|
||||||
|
gdb/gdbtypes.c | 41 +++++++++++++++++++++++++++++++++++++++--
|
||||||
|
gdb/gdbtypes.h | 20 ++++++++++++++++++++
|
||||||
|
2 files changed, 59 insertions(+), 2 deletions(-)
|
||||||
|
|
||||||
|
Index: gdb-8.0.1/gdb/gdbtypes.c
|
||||||
|
===================================================================
|
||||||
|
--- gdb-8.0.1.orig/gdb/gdbtypes.c
|
||||||
|
+++ gdb-8.0.1/gdb/gdbtypes.c
|
||||||
|
@@ -855,6 +855,44 @@ allocate_stub_method (struct type *type)
|
||||||
|
return mtype;
|
||||||
|
}
|
||||||
|
|
||||||
|
+/* See gdbtypes.h. */
|
||||||
|
+
|
||||||
|
+bool
|
||||||
|
+operator== (const dynamic_prop &l, const dynamic_prop &r)
|
||||||
|
+{
|
||||||
|
+ if (l.kind != r.kind)
|
||||||
|
+ return false;
|
||||||
|
+
|
||||||
|
+ switch (l.kind)
|
||||||
|
+ {
|
||||||
|
+ case PROP_UNDEFINED:
|
||||||
|
+ return true;
|
||||||
|
+ case PROP_CONST:
|
||||||
|
+ return l.data.const_val == r.data.const_val;
|
||||||
|
+ case PROP_ADDR_OFFSET:
|
||||||
|
+ case PROP_LOCEXPR:
|
||||||
|
+ case PROP_LOCLIST:
|
||||||
|
+ return l.data.baton == r.data.baton;
|
||||||
|
+ }
|
||||||
|
+
|
||||||
|
+ gdb_assert_not_reached ("unhandled dynamic_prop kind");
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+/* See gdbtypes.h. */
|
||||||
|
+
|
||||||
|
+bool
|
||||||
|
+operator== (const range_bounds &l, const range_bounds &r)
|
||||||
|
+{
|
||||||
|
+#define FIELD_EQ(FIELD) (l.FIELD == r.FIELD)
|
||||||
|
+
|
||||||
|
+ return (FIELD_EQ (low)
|
||||||
|
+ && FIELD_EQ (high)
|
||||||
|
+ && FIELD_EQ (flag_upper_bound_is_count)
|
||||||
|
+ && FIELD_EQ (flag_bound_evaluated));
|
||||||
|
+
|
||||||
|
+#undef FIELD_EQ
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
/* Create a range type with a dynamic range from LOW_BOUND to
|
||||||
|
HIGH_BOUND, inclusive. See create_range_type for further details. */
|
||||||
|
|
||||||
|
@@ -3466,8 +3504,7 @@ check_types_equal (struct type *type1, s
|
||||||
|
|
||||||
|
if (TYPE_CODE (type1) == TYPE_CODE_RANGE)
|
||||||
|
{
|
||||||
|
- if (memcmp (TYPE_RANGE_DATA (type1), TYPE_RANGE_DATA (type2),
|
||||||
|
- sizeof (*TYPE_RANGE_DATA (type1))) != 0)
|
||||||
|
+ if (*TYPE_RANGE_DATA (type1) != *TYPE_RANGE_DATA (type2))
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
Index: gdb-8.0.1/gdb/gdbtypes.h
|
||||||
|
===================================================================
|
||||||
|
--- gdb-8.0.1.orig/gdb/gdbtypes.h
|
||||||
|
+++ gdb-8.0.1/gdb/gdbtypes.h
|
||||||
|
@@ -408,6 +408,16 @@ struct dynamic_prop
|
||||||
|
union dynamic_prop_data data;
|
||||||
|
};
|
||||||
|
|
||||||
|
+/* Compare two dynamic_prop objects for equality. dynamic_prop
|
||||||
|
+ instances are equal iff they have the same type and storage. */
|
||||||
|
+extern bool operator== (const dynamic_prop &l, const dynamic_prop &r);
|
||||||
|
+
|
||||||
|
+/* Compare two dynamic_prop objects for inequality. */
|
||||||
|
+static inline bool operator!= (const dynamic_prop &l, const dynamic_prop &r)
|
||||||
|
+{
|
||||||
|
+ return !(l == r);
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
/* * Define a type's dynamic property node kind. */
|
||||||
|
enum dynamic_prop_node_kind
|
||||||
|
{
|
||||||
|
@@ -568,6 +578,16 @@ struct range_bounds
|
||||||
|
int flag_bound_evaluated : 1;
|
||||||
|
};
|
||||||
|
|
||||||
|
+/* Compare two range_bounds objects for equality. Simply does
|
||||||
|
+ memberwise comparison. */
|
||||||
|
+extern bool operator== (const range_bounds &l, const range_bounds &r);
|
||||||
|
+
|
||||||
|
+/* Compare two range_bounds objects for inequality. */
|
||||||
|
+static inline bool operator!= (const range_bounds &l, const range_bounds &r)
|
||||||
|
+{
|
||||||
|
+ return !(l == r);
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
union type_specific
|
||||||
|
{
|
||||||
|
/* * CPLUS_STUFF is for TYPE_CODE_STRUCT. It is initialized to
|
|
@ -130,7 +130,7 @@ Index: gdb-8.0.1/gdb/symtab.h
|
||||||
struct program_space *pspace;
|
struct program_space *pspace;
|
||||||
|
|
||||||
struct symtab *symtab;
|
struct symtab *symtab;
|
||||||
+ struct symbol *symbol = NULL;
|
+ struct symbol *symbol;
|
||||||
struct obj_section *section;
|
struct obj_section *section;
|
||||||
/* Line number. Line numbers start at 1 and proceed through symtab->nlines.
|
/* Line number. Line numbers start at 1 and proceed through symtab->nlines.
|
||||||
0 is never a valid line number; it is used to indicate that line number
|
0 is never a valid line number; it is used to indicate that line number
|
||||||
|
|
|
@ -0,0 +1,320 @@
|
||||||
|
commit e379cee61f3890e535e995828e8846b020ef2a32
|
||||||
|
Author: Pedro Alves <palves@redhat.com>
|
||||||
|
Date: Fri Jan 5 18:26:18 2018 +0000
|
||||||
|
|
||||||
|
Fix regression: cannot start with LD_PRELOAD=libSegFault.so (PR gdb/18653#c7)
|
||||||
|
|
||||||
|
At https://sourceware.org/bugzilla/show_bug.cgi?id=18653#c7, Andrew
|
||||||
|
reports that the fix for PR gdb/18653 made GDB useless if you preload
|
||||||
|
libSegFault.so, because GDB internal-errors on startup:
|
||||||
|
|
||||||
|
$ LD_PRELOAD=libSegFault.so gdb
|
||||||
|
src/gdb/common/signals-state-save-restore.c:64: internal-error: unexpected signal handler
|
||||||
|
A problem internal to GDB has been detected,
|
||||||
|
further debugging may prove unreliable.
|
||||||
|
Aborted (core dumped)
|
||||||
|
$
|
||||||
|
|
||||||
|
The internal error comes from the code saving the signal dispositions
|
||||||
|
inherited from gdb's parent:
|
||||||
|
|
||||||
|
(top-gdb) bt
|
||||||
|
#0 0x000000000056b001 in internal_error(char const*, int, char const*, ...) (file=0xaf5f38 "src/gdb/common/signals-state-save-restore.c", line=64, fmt=0xaf5f18 "unexpected signal handler") at src/gdb/common/errors.c:54
|
||||||
|
#1 0x00000000005752c9 in save_original_signals_state() () at src/gdb/common/signals-state-save-restore.c:64
|
||||||
|
#2 0x00000000007425de in captured_main_1(captured_main_args*) (context=0x7fffffffd860)
|
||||||
|
at src/gdb/main.c:509
|
||||||
|
#3 0x0000000000743622 in captured_main(void*) (data=0x7fffffffd860) at src/gdb/main.c:1145
|
||||||
|
During symbol reading, cannot get low and high bounds for subprogram DIE at 24065.
|
||||||
|
#4 0x00000000007436f9 in gdb_main(captured_main_args*) (args=0x7fffffffd860) at src/gdb/main.c:1171
|
||||||
|
#5 0x0000000000413acd in main(int, char**) (argc=1, argv=0x7fffffffd968) at src/gdb/gdb.c:32
|
||||||
|
|
||||||
|
This commit downgrades the internal error to a warning. You'll get
|
||||||
|
instead:
|
||||||
|
|
||||||
|
~~~
|
||||||
|
$ LD_PRELOAD=libSegFault.so gdb
|
||||||
|
warning: Found custom handler for signal 11 (Segmentation fault) preinstalled.
|
||||||
|
Some signal dispositions inherited from the environment (SIG_DFL/SIG_IGN)
|
||||||
|
won't be propagated to spawned programs.
|
||||||
|
GNU gdb (GDB) 8.0.50.20171213-git
|
||||||
|
Copyright (C) 2017 Free Software Foundation, Inc.
|
||||||
|
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
|
||||||
|
This is free software: you are free to change and redistribute it.
|
||||||
|
There is NO WARRANTY, to the extent permitted by law. Type "show copying"
|
||||||
|
and "show warranty" for details.
|
||||||
|
This GDB was configured as "x86_64-pc-linux-gnu".
|
||||||
|
Type "show configuration" for configuration details.
|
||||||
|
For bug reporting instructions, please see:
|
||||||
|
<http://www.gnu.org/software/gdb/bugs/>.
|
||||||
|
Find the GDB manual and other documentation resources online at:
|
||||||
|
<http://www.gnu.org/software/gdb/documentation/>.
|
||||||
|
For help, type "help".
|
||||||
|
Type "apropos word" to search for commands related to "word"...
|
||||||
|
(gdb)
|
||||||
|
~~~
|
||||||
|
|
||||||
|
This also moves the location where save_original_signals_state is
|
||||||
|
called a bit further below (to after option processing), so that "-q"
|
||||||
|
disables the warning:
|
||||||
|
|
||||||
|
~~~
|
||||||
|
$ LD_PRELOAD=libSegFault.so gdb -q
|
||||||
|
(gdb)
|
||||||
|
~~~
|
||||||
|
|
||||||
|
New testcase included.
|
||||||
|
|
||||||
|
gdb/ChangeLog:
|
||||||
|
2018-01-05 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
PR gdb/18653
|
||||||
|
* common/signals-state-save-restore.c
|
||||||
|
(save_original_signals_state): New parameter 'quiet'. Warn if we
|
||||||
|
find a custom handler preinstalled, instead of internal erroring.
|
||||||
|
But only warn if !quiet.
|
||||||
|
* common/signals-state-save-restore.h
|
||||||
|
(save_original_signals_state): New parameter 'quiet'.
|
||||||
|
* main.c (captured_main_1): Move save_original_signals_state call
|
||||||
|
after option handling, and pass QUIET.
|
||||||
|
|
||||||
|
gdb/gdbserver/ChangeLog:
|
||||||
|
2018-01-05 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
PR gdb/18653
|
||||||
|
* server.c (captured_main): Pass quiet=false to
|
||||||
|
save_original_signals_state.
|
||||||
|
|
||||||
|
gdb/testsuite/ChangeLog:
|
||||||
|
2018-01-05 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
PR gdb/18653
|
||||||
|
* gdb.base/libsegfault.exp: New.
|
||||||
|
|
||||||
|
### a/gdb/ChangeLog
|
||||||
|
### b/gdb/ChangeLog
|
||||||
|
## -1,3 +1,15 @@
|
||||||
|
+2018-01-05 Pedro Alves <palves@redhat.com>
|
||||||
|
+
|
||||||
|
+ PR gdb/18653
|
||||||
|
+ * common/signals-state-save-restore.c
|
||||||
|
+ (save_original_signals_state): New parameter 'quiet'. Warn if we
|
||||||
|
+ find a custom handler preinstalled, instead of internal erroring.
|
||||||
|
+ But only warn if !quiet.
|
||||||
|
+ * common/signals-state-save-restore.h
|
||||||
|
+ (save_original_signals_state): New parameter 'quiet'.
|
||||||
|
+ * main.c (captured_main_1): Move save_original_signals_state call
|
||||||
|
+ after option handling, and pass QUIET.
|
||||||
|
+
|
||||||
|
2018-01-05 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
* spu-tdep.c (spu_catch_start): Pass
|
||||||
|
--- a/gdb/common/signals-state-save-restore.c
|
||||||
|
+++ b/gdb/common/signals-state-save-restore.c
|
||||||
|
@@ -35,7 +35,7 @@ static sigset_t original_signal_mask;
|
||||||
|
/* See signals-state-save-restore.h. */
|
||||||
|
|
||||||
|
void
|
||||||
|
-save_original_signals_state (void)
|
||||||
|
+save_original_signals_state (bool quiet)
|
||||||
|
{
|
||||||
|
#ifdef HAVE_SIGACTION
|
||||||
|
int i;
|
||||||
|
@@ -45,6 +45,8 @@ save_original_signals_state (void)
|
||||||
|
if (res == -1)
|
||||||
|
perror_with_name (("sigprocmask"));
|
||||||
|
|
||||||
|
+ bool found_preinstalled = false;
|
||||||
|
+
|
||||||
|
for (i = 1; i < NSIG; i++)
|
||||||
|
{
|
||||||
|
struct sigaction *oldact = &original_signal_actions[i];
|
||||||
|
@@ -59,9 +61,31 @@ save_original_signals_state (void)
|
||||||
|
perror_with_name (("sigaction"));
|
||||||
|
|
||||||
|
/* If we find a custom signal handler already installed, then
|
||||||
|
- this function was called too late. */
|
||||||
|
- if (oldact->sa_handler != SIG_DFL && oldact->sa_handler != SIG_IGN)
|
||||||
|
- internal_error (__FILE__, __LINE__, _("unexpected signal handler"));
|
||||||
|
+ this function was called too late. This is a warning instead
|
||||||
|
+ of an internal error because this can also happen if you
|
||||||
|
+ LD_PRELOAD a library that installs a signal handler early via
|
||||||
|
+ __attribute__((constructor)), like libSegFault.so. */
|
||||||
|
+ if (!quiet
|
||||||
|
+ && oldact->sa_handler != SIG_DFL
|
||||||
|
+ && oldact->sa_handler != SIG_IGN)
|
||||||
|
+ {
|
||||||
|
+ found_preinstalled = true;
|
||||||
|
+
|
||||||
|
+ /* Use raw fprintf here because we're being called in early
|
||||||
|
+ startup, because GDB's filtered streams are are
|
||||||
|
+ created. */
|
||||||
|
+ fprintf (stderr,
|
||||||
|
+ _("warning: Found custom handler for signal "
|
||||||
|
+ "%d (%s) preinstalled.\n"), i,
|
||||||
|
+ strsignal (i));
|
||||||
|
+ }
|
||||||
|
+ }
|
||||||
|
+
|
||||||
|
+ if (found_preinstalled)
|
||||||
|
+ {
|
||||||
|
+ fprintf (stderr, _("\
|
||||||
|
+Some signal dispositions inherited from the environment (SIG_DFL/SIG_IGN)\n\
|
||||||
|
+won't be propagated to spawned programs.\n"));
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
--- a/gdb/common/signals-state-save-restore.h
|
||||||
|
+++ b/gdb/common/signals-state-save-restore.h
|
||||||
|
@@ -28,9 +28,10 @@
|
||||||
|
back to what was originally inherited from gdb/gdbserver's parent,
|
||||||
|
just before execing the target program to debug. */
|
||||||
|
|
||||||
|
-/* Save the signal state of all signals. */
|
||||||
|
+/* Save the signal state of all signals. If !QUIET, warn if we detect
|
||||||
|
+ a custom signal handler preinstalled. */
|
||||||
|
|
||||||
|
-extern void save_original_signals_state (void);
|
||||||
|
+extern void save_original_signals_state (bool quiet);
|
||||||
|
|
||||||
|
/* Restore the signal state of all signals. */
|
||||||
|
|
||||||
|
### a/gdb/gdbserver/ChangeLog
|
||||||
|
### b/gdb/gdbserver/ChangeLog
|
||||||
|
## -1,3 +1,9 @@
|
||||||
|
+2018-01-05 Pedro Alves <palves@redhat.com>
|
||||||
|
+
|
||||||
|
+ PR gdb/18653
|
||||||
|
+ * server.c (captured_main): Pass quiet=false to
|
||||||
|
+ save_original_signals_state.
|
||||||
|
+
|
||||||
|
2018-01-01 Joel Brobecker <brobecker@adacore.com>
|
||||||
|
|
||||||
|
* gdbreplay.c (gdbreplay_version): Update copyright year in
|
||||||
|
--- a/gdb/gdbserver/server.c
|
||||||
|
+++ b/gdb/gdbserver/server.c
|
||||||
|
@@ -3712,7 +3712,7 @@ captured_main (int argc, char *argv[])
|
||||||
|
opened by remote_prepare. */
|
||||||
|
notice_open_fds ();
|
||||||
|
|
||||||
|
- save_original_signals_state ();
|
||||||
|
+ save_original_signals_state (false);
|
||||||
|
|
||||||
|
/* We need to know whether the remote connection is stdio before
|
||||||
|
starting the inferior. Inferiors created in this scenario have
|
||||||
|
--- a/gdb/main.c
|
||||||
|
+++ b/gdb/main.c
|
||||||
|
@@ -506,7 +506,6 @@ captured_main_1 (struct captured_main_args *context)
|
||||||
|
|
||||||
|
bfd_init ();
|
||||||
|
notice_open_fds ();
|
||||||
|
- save_original_signals_state ();
|
||||||
|
|
||||||
|
saved_command_line = (char *) xstrdup ("");
|
||||||
|
|
||||||
|
@@ -849,6 +848,8 @@ captured_main_1 (struct captured_main_args *context)
|
||||||
|
quiet = 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
+ save_original_signals_state (quiet);
|
||||||
|
+
|
||||||
|
/* Try to set up an alternate signal stack for SIGSEGV handlers. */
|
||||||
|
setup_alternate_signal_stack ();
|
||||||
|
|
||||||
|
### a/gdb/testsuite/ChangeLog
|
||||||
|
### b/gdb/testsuite/ChangeLog
|
||||||
|
## -1,3 +1,8 @@
|
||||||
|
+2018-01-05 Pedro Alves <palves@redhat.com>
|
||||||
|
+
|
||||||
|
+ PR gdb/18653
|
||||||
|
+ * gdb.base/libsegfault.exp: New.
|
||||||
|
+
|
||||||
|
2018-01-05 Joel Brobecker <brobecker@adacore.com>
|
||||||
|
|
||||||
|
PR gdb/22670
|
||||||
|
--- /dev/null
|
||||||
|
+++ b/gdb/testsuite/gdb.base/libsegfault.exp
|
||||||
|
@@ -0,0 +1,84 @@
|
||||||
|
+# Copyright 2017-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/>.
|
||||||
|
+
|
||||||
|
+# This file is part of the gdb testsuite.
|
||||||
|
+
|
||||||
|
+# Test that GDB tolerates being started with libSegFault.so preloaded
|
||||||
|
+# with LD_PRELOAD, and that GDB warns about a custom SIGSEGV custom
|
||||||
|
+# handler. See PR gdb/18653
|
||||||
|
+# <https://sourceware.org/bugzilla/show_bug.cgi?id=18653#c7>.
|
||||||
|
+
|
||||||
|
+# We cannot expect remote hosts to see environment variables set on
|
||||||
|
+# the local machine.
|
||||||
|
+if { [is_remote host] } {
|
||||||
|
+ unsupported "can't set environment variables on remote host"
|
||||||
|
+ return -1
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# Spawn GDB with LIB preloaded with LD_PRELOAD. CMDLINE_OPTS are
|
||||||
|
+# command line options passed to GDB.
|
||||||
|
+
|
||||||
|
+proc gdb_spawn_with_ld_preload {lib cmdline_opts} {
|
||||||
|
+ global env
|
||||||
|
+
|
||||||
|
+ save_vars { env(LD_PRELOAD) } {
|
||||||
|
+ if { ![info exists env(LD_PRELOAD) ]
|
||||||
|
+ || $env(LD_PRELOAD) == "" } {
|
||||||
|
+ set env(LD_PRELOAD) "$lib"
|
||||||
|
+ } else {
|
||||||
|
+ append env(LD_PRELOAD) ":$lib"
|
||||||
|
+ }
|
||||||
|
+
|
||||||
|
+ gdb_spawn_with_cmdline_opts $cmdline_opts
|
||||||
|
+ }
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+proc test_libsegfault {} {
|
||||||
|
+ global gdb_prompt
|
||||||
|
+
|
||||||
|
+ set libsegfault "libSegFault.so"
|
||||||
|
+
|
||||||
|
+ # When started normally, if libSegFault.so is preloaded, GDB
|
||||||
|
+ # should warn about not being able to propagate the signal
|
||||||
|
+ # disposition of SIGSEGV.
|
||||||
|
+ gdb_exit
|
||||||
|
+ gdb_spawn_with_ld_preload $libsegfault ""
|
||||||
|
+
|
||||||
|
+ set test "gdb emits custom handler warning"
|
||||||
|
+ gdb_test_multiple "" $test {
|
||||||
|
+ -re "cannot be preloaded.*\r\n$gdb_prompt $" {
|
||||||
|
+ # Glibc 2.22 outputs:
|
||||||
|
+ # ERROR: ld.so: object 'libSegFault.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored.
|
||||||
|
+ untested "cannot preload libSegFault.so"
|
||||||
|
+ return
|
||||||
|
+ }
|
||||||
|
+ -re "Found custom handler.*won't be propagated.*\r\n$gdb_prompt $" {
|
||||||
|
+ pass $test
|
||||||
|
+ }
|
||||||
|
+ }
|
||||||
|
+
|
||||||
|
+ # "-q" should disable the warning, though.
|
||||||
|
+ gdb_exit
|
||||||
|
+ gdb_spawn_with_ld_preload $libsegfault "-q"
|
||||||
|
+
|
||||||
|
+ set test "quiet suppresses custom handler warning"
|
||||||
|
+ gdb_test_multiple "" $test {
|
||||||
|
+ -re "^$gdb_prompt $" {
|
||||||
|
+ pass $test
|
||||||
|
+ }
|
||||||
|
+ }
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+test_libsegfault
|
|
@ -74,3 +74,461 @@ Date: Wed Aug 9 05:01:55 2017 -0700
|
||||||
|| attr->form == DW_FORM_GNU_strp_alt)
|
|| attr->form == DW_FORM_GNU_strp_alt)
|
||||||
str = DW_STRING (attr);
|
str = DW_STRING (attr);
|
||||||
else
|
else
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
commit f24b864960e61f9a91f8c168c1afe12a6676ad7a
|
||||||
|
Author: Walfred Tedeschi <walfred.tedeschi@intel.com>
|
||||||
|
Date: Mon Oct 16 08:59:38 2017 +0200
|
||||||
|
|
||||||
|
PR22137: gdbserver crashes on host with pkru register.
|
||||||
|
|
||||||
|
This patch adds missing backslash on a makefile and regenerate the
|
||||||
|
files created via the xml files. Those were not in sync with the xml file.
|
||||||
|
|
||||||
|
gdb/ChangeLog:
|
||||||
|
|
||||||
|
2017-10-16 Walfred Tedeschi <walfred.tedeschi@intel.com>
|
||||||
|
|
||||||
|
* features/Makefile (i386-avx-mpx-avx512-pku.dat): Add backslash
|
||||||
|
at the end of the line.
|
||||||
|
* regformats/i386/amd64-avx-mpx-avx512-pku-linux.dat: Regenerate.
|
||||||
|
* regformats/i386/amd64-avx-mpx-avx512-pku.dat: Regenerate.
|
||||||
|
|
||||||
|
### a/gdb/ChangeLog
|
||||||
|
### b/gdb/ChangeLog
|
||||||
|
## -1,3 +1,10 @@
|
||||||
|
+2017-10-16 Walfred Tedeschi <walfred.tedeschi@intel.com>
|
||||||
|
+
|
||||||
|
+ * features/Makefile (i386-avx-mpx-avx512-pku.dat): Add backslash
|
||||||
|
+ at the end of the line.
|
||||||
|
+ * regformats/i386/amd64-avx-mpx-avx512-pku-linux.dat: Regenerate.
|
||||||
|
+ * regformats/i386/amd64-avx-mpx-avx512-pku.dat: Regenerate.
|
||||||
|
+
|
||||||
|
2017-09-07 Joel Brobecker <brobecker@adacore.com>
|
||||||
|
|
||||||
|
* version.in: Set GDB version number to 8.0.1.DATE-git.
|
||||||
|
--- a/gdb/features/Makefile
|
||||||
|
+++ b/gdb/features/Makefile
|
||||||
|
@@ -281,7 +281,7 @@ $(outdir)/i386/i386-avx-avx512.dat: i386/32bit-core.xml i386/32bit-avx.xml \
|
||||||
|
i386/32bit-avx512.xml
|
||||||
|
$(outdir)/i386/i386-avx-avx512-linux.dat: i386/32bit-core.xml i386/32bit-avx.xml \
|
||||||
|
i386/32bit-linux.xml i386/32bit-avx512.xml
|
||||||
|
-$(outdir)/i386/i386-avx-mpx-avx512-pku.dat: i386/32bit-core.xml
|
||||||
|
+$(outdir)/i386/i386-avx-mpx-avx512-pku.dat: i386/32bit-core.xml \
|
||||||
|
i386/32bit-avx.xml i386/32bit-mpx.xml i386/32bit-avx512.xml \
|
||||||
|
i386/32bit-pkeys.xml
|
||||||
|
$(outdir)/i386/i386-avx-mpx-avx512-pku-linux.dat: i386/32bit-core.xml \
|
||||||
|
--- a/gdb/regformats/i386/amd64-avx-mpx-avx512-pku-linux.dat
|
||||||
|
+++ b/gdb/regformats/i386/amd64-avx-mpx-avx512-pku-linux.dat
|
||||||
|
@@ -157,3 +157,4 @@ expedite:rbp,rsp,rip
|
||||||
|
256:zmm29h
|
||||||
|
256:zmm30h
|
||||||
|
256:zmm31h
|
||||||
|
+32:pkru
|
||||||
|
--- a/gdb/regformats/i386/amd64-avx-mpx-avx512-pku.dat
|
||||||
|
+++ b/gdb/regformats/i386/amd64-avx-mpx-avx512-pku.dat
|
||||||
|
@@ -60,9 +60,6 @@ expedite:rbp,rsp,rip
|
||||||
|
128:xmm14
|
||||||
|
128:xmm15
|
||||||
|
32:mxcsr
|
||||||
|
-64:orig_rax
|
||||||
|
-64:fs_base
|
||||||
|
-64:gs_base
|
||||||
|
128:ymm0h
|
||||||
|
128:ymm1h
|
||||||
|
128:ymm2h
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
commit 50a1fdd59c1777672a9be0e81fe2301c2a115fce
|
||||||
|
Author: Pedro Alves <palves@redhat.com>
|
||||||
|
Date: Mon Dec 4 15:59:20 2017 +0000
|
||||||
|
|
||||||
|
Fix displaced-stepping RIP-relative VEX-encoded instructions (AVX) (PR gdb/22499)
|
||||||
|
|
||||||
|
PR gdb/22499 is about a latent bug exposed by the switch to "maint set
|
||||||
|
target-non-stop on" by default on x86-64 GNU/Linux, a while ago. With
|
||||||
|
that on, GDB is also preferring to use displaced-stepping by default.
|
||||||
|
|
||||||
|
The testcase in the bug is failing because GDB ends up incorrectly
|
||||||
|
displaced-stepping over a RIP-relative VEX-encoded instruction, like
|
||||||
|
this:
|
||||||
|
|
||||||
|
0x00000000004007f5 <+15>: c5 fb 10 05 8b 01 00 00 vmovsd 0x18b(%rip),%xmm0 # 0x400988
|
||||||
|
|
||||||
|
While RIP-relative instructions need adjustment when relocated to the
|
||||||
|
scratch pad, GDB ends up just copying VEX-encoded instructions to the
|
||||||
|
scratch pad unmodified, with the end result that the inferior ends up
|
||||||
|
executing an instruction that fetches/writes memory from the wrong
|
||||||
|
address...
|
||||||
|
|
||||||
|
This patch teaches GDB about the VEX-encoding prefixes, fixing the
|
||||||
|
problem, and adds a testcase that fails without the GDB fix.
|
||||||
|
|
||||||
|
I think we may need a similar treatment for EVEX-encoded instructions,
|
||||||
|
but I didn't address that simply because I couldn't find any
|
||||||
|
EVEX-encoded RIP-relative instruction in the gas testsuite. In any
|
||||||
|
case, this commit is forward progress as-is already.
|
||||||
|
|
||||||
|
gdb/ChangeLog:
|
||||||
|
2017-12-04 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
PR gdb/22499
|
||||||
|
* amd64-tdep.c (amd64_insn::rex_offset): Rename to...
|
||||||
|
(amd64_insn::enc_prefix_offset): ... this, and tweak comment.
|
||||||
|
(vex2_prefix_p, vex3_prefix_p): New functions.
|
||||||
|
(amd64_get_insn_details): Adjust to rename. Also skip VEX2 and
|
||||||
|
VEX3 prefixes.
|
||||||
|
(fixup_riprel): Set VEX3.!B.
|
||||||
|
|
||||||
|
gdb/testsuite/ChangeLog:
|
||||||
|
2017-12-04 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
PR gdb/22499
|
||||||
|
* gdb.arch/amd64-disp-step-avx.S: New file.
|
||||||
|
* gdb.arch/amd64-disp-step-avx.exp: New file.
|
||||||
|
|
||||||
|
### a/gdb/ChangeLog
|
||||||
|
### b/gdb/ChangeLog
|
||||||
|
## -1,3 +1,13 @@
|
||||||
|
+2017-12-04 Pedro Alves <palves@redhat.com>
|
||||||
|
+
|
||||||
|
+ PR gdb/22499
|
||||||
|
+ * amd64-tdep.c (amd64_insn::rex_offset): Rename to...
|
||||||
|
+ (amd64_insn::enc_prefix_offset): ... this, and tweak comment.
|
||||||
|
+ (vex2_prefix_p, vex3_prefix_p): New functions.
|
||||||
|
+ (amd64_get_insn_details): Adjust to rename. Also skip VEX2 and
|
||||||
|
+ VEX3 prefixes.
|
||||||
|
+ (fixup_riprel): Set VEX3.!B.
|
||||||
|
+
|
||||||
|
2017-12-03 Simon Marchi <simon.marchi@ericsson.com>
|
||||||
|
|
||||||
|
* target.h (mem_region_vector): Remove.
|
||||||
|
--- a/gdb/amd64-tdep.c
|
||||||
|
+++ b/gdb/amd64-tdep.c
|
||||||
|
@@ -1037,8 +1037,9 @@ struct amd64_insn
|
||||||
|
{
|
||||||
|
/* The number of opcode bytes. */
|
||||||
|
int opcode_len;
|
||||||
|
- /* The offset of the rex prefix or -1 if not present. */
|
||||||
|
- int rex_offset;
|
||||||
|
+ /* The offset of the REX/VEX instruction encoding prefix or -1 if
|
||||||
|
+ not present. */
|
||||||
|
+ int enc_prefix_offset;
|
||||||
|
/* The offset to the first opcode byte. */
|
||||||
|
int opcode_offset;
|
||||||
|
/* The offset to the modrm byte or -1 if not present. */
|
||||||
|
@@ -1124,6 +1125,22 @@ rex_prefix_p (gdb_byte pfx)
|
||||||
|
return REX_PREFIX_P (pfx);
|
||||||
|
}
|
||||||
|
|
||||||
|
+/* True if PFX is the start of the 2-byte VEX prefix. */
|
||||||
|
+
|
||||||
|
+static bool
|
||||||
|
+vex2_prefix_p (gdb_byte pfx)
|
||||||
|
+{
|
||||||
|
+ return pfx == 0xc5;
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+/* True if PFX is the start of the 3-byte VEX prefix. */
|
||||||
|
+
|
||||||
|
+static bool
|
||||||
|
+vex3_prefix_p (gdb_byte pfx)
|
||||||
|
+{
|
||||||
|
+ return pfx == 0xc4;
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
/* Skip the legacy instruction prefixes in INSN.
|
||||||
|
We assume INSN is properly sentineled so we don't have to worry
|
||||||
|
about falling off the end of the buffer. */
|
||||||
|
@@ -1242,19 +1259,30 @@ amd64_get_insn_details (gdb_byte *insn, struct amd64_insn *details)
|
||||||
|
details->raw_insn = insn;
|
||||||
|
|
||||||
|
details->opcode_len = -1;
|
||||||
|
- details->rex_offset = -1;
|
||||||
|
+ details->enc_prefix_offset = -1;
|
||||||
|
details->opcode_offset = -1;
|
||||||
|
details->modrm_offset = -1;
|
||||||
|
|
||||||
|
/* Skip legacy instruction prefixes. */
|
||||||
|
insn = amd64_skip_prefixes (insn);
|
||||||
|
|
||||||
|
- /* Skip REX instruction prefix. */
|
||||||
|
+ /* Skip REX/VEX instruction encoding prefixes. */
|
||||||
|
if (rex_prefix_p (*insn))
|
||||||
|
{
|
||||||
|
- details->rex_offset = insn - start;
|
||||||
|
+ details->enc_prefix_offset = insn - start;
|
||||||
|
++insn;
|
||||||
|
}
|
||||||
|
+ else if (vex2_prefix_p (*insn))
|
||||||
|
+ {
|
||||||
|
+ /* Don't record the offset in this case because this prefix has
|
||||||
|
+ no REX.B equivalent. */
|
||||||
|
+ insn += 2;
|
||||||
|
+ }
|
||||||
|
+ else if (vex3_prefix_p (*insn))
|
||||||
|
+ {
|
||||||
|
+ details->enc_prefix_offset = insn - start;
|
||||||
|
+ insn += 3;
|
||||||
|
+ }
|
||||||
|
|
||||||
|
details->opcode_offset = insn - start;
|
||||||
|
|
||||||
|
@@ -1329,10 +1357,22 @@ fixup_riprel (struct gdbarch *gdbarch, amd64_displaced_step_closure *dsc,
|
||||||
|
arch_tmp_regno = amd64_get_unused_input_int_reg (insn_details);
|
||||||
|
tmp_regno = amd64_arch_reg_to_regnum (arch_tmp_regno);
|
||||||
|
|
||||||
|
- /* REX.B should be unset as we were using rip-relative addressing,
|
||||||
|
- but ensure it's unset anyway, tmp_regno is not r8-r15. */
|
||||||
|
- if (insn_details->rex_offset != -1)
|
||||||
|
- dsc->insn_buf[insn_details->rex_offset] &= ~REX_B;
|
||||||
|
+ /* Position of the not-B bit in the 3-byte VEX prefix (in byte 1). */
|
||||||
|
+ static constexpr gdb_byte VEX3_NOT_B = 0x20;
|
||||||
|
+
|
||||||
|
+ /* REX.B should be unset (VEX.!B set) as we were using rip-relative
|
||||||
|
+ addressing, but ensure it's unset (set for VEX) anyway, tmp_regno
|
||||||
|
+ is not r8-r15. */
|
||||||
|
+ if (insn_details->enc_prefix_offset != -1)
|
||||||
|
+ {
|
||||||
|
+ gdb_byte *pfx = &dsc->insn_buf[insn_details->enc_prefix_offset];
|
||||||
|
+ if (rex_prefix_p (pfx[0]))
|
||||||
|
+ pfx[0] &= ~REX_B;
|
||||||
|
+ else if (vex3_prefix_p (pfx[0]))
|
||||||
|
+ pfx[1] |= VEX3_NOT_B;
|
||||||
|
+ else
|
||||||
|
+ gdb_assert_not_reached ("unhandled prefix");
|
||||||
|
+ }
|
||||||
|
|
||||||
|
regcache_cooked_read_unsigned (regs, tmp_regno, &orig_value);
|
||||||
|
dsc->tmp_regno = tmp_regno;
|
||||||
|
### a/gdb/testsuite/ChangeLog
|
||||||
|
### b/gdb/testsuite/ChangeLog
|
||||||
|
## -1,3 +1,9 @@
|
||||||
|
+2017-12-04 Pedro Alves <palves@redhat.com>
|
||||||
|
+
|
||||||
|
+ PR gdb/22499
|
||||||
|
+ * gdb.arch/amd64-disp-step-avx.S: New file.
|
||||||
|
+ * gdb.arch/amd64-disp-step-avx.exp: New file.
|
||||||
|
+
|
||||||
|
2017-12-03 Pedro Alves <palves@redhat.com>
|
||||||
|
|
||||||
|
* gdb.threads/process-dies-while-detaching.c: Include <errno.h>
|
||||||
|
--- /dev/null
|
||||||
|
+++ b/gdb/testsuite/gdb.arch/amd64-disp-step-avx.S
|
||||||
|
@@ -0,0 +1,70 @@
|
||||||
|
+/* Copyright 2009-2017 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/>.
|
||||||
|
+
|
||||||
|
+ This file is part of the gdb testsuite.
|
||||||
|
+
|
||||||
|
+ Test displaced stepping over VEX-encoded RIP-relative AVX
|
||||||
|
+ instructions. */
|
||||||
|
+
|
||||||
|
+ .text
|
||||||
|
+
|
||||||
|
+ .global main
|
||||||
|
+main:
|
||||||
|
+ nop
|
||||||
|
+
|
||||||
|
+/***********************************************/
|
||||||
|
+
|
||||||
|
+/* Test a VEX2-encoded RIP-relative instruction. */
|
||||||
|
+
|
||||||
|
+ .global test_rip_vex2
|
||||||
|
+test_rip_vex2:
|
||||||
|
+ vmovsd ro_var(%rip),%xmm0
|
||||||
|
+ .global test_rip_vex2
|
||||||
|
+test_rip_vex2_end:
|
||||||
|
+ nop
|
||||||
|
+
|
||||||
|
+/* Test a VEX3-encoded RIP-relative instruction. */
|
||||||
|
+
|
||||||
|
+ .global test_rip_vex3
|
||||||
|
+test_rip_vex3:
|
||||||
|
+ vextractf128 $0x0,%ymm0,var128(%rip)
|
||||||
|
+ .global test_rip_vex3
|
||||||
|
+test_rip_vex3_end:
|
||||||
|
+ nop
|
||||||
|
+
|
||||||
|
+ /* skip over test data */
|
||||||
|
+ jmp done
|
||||||
|
+
|
||||||
|
+/* RIP-relative ro-data for VEX2 test above. */
|
||||||
|
+
|
||||||
|
+ro_var:
|
||||||
|
+ .8byte 0x1122334455667788
|
||||||
|
+ .8byte 0x8877665544332211
|
||||||
|
+
|
||||||
|
+/***********************************************/
|
||||||
|
+
|
||||||
|
+/* All done. */
|
||||||
|
+
|
||||||
|
+done:
|
||||||
|
+ mov $0,%rdi
|
||||||
|
+ call exit
|
||||||
|
+ hlt
|
||||||
|
+
|
||||||
|
+/* RIP-relative data for VEX3 test above. */
|
||||||
|
+
|
||||||
|
+.data
|
||||||
|
+var128:
|
||||||
|
+ .8byte 0xaa55aa55aa55aa55
|
||||||
|
+ .8byte 0x55aa55aa55aa55aa
|
||||||
|
--- /dev/null
|
||||||
|
+++ b/gdb/testsuite/gdb.arch/amd64-disp-step-avx.exp
|
||||||
|
@@ -0,0 +1,141 @@
|
||||||
|
+# Copyright 2009-2017 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/>.
|
||||||
|
+
|
||||||
|
+# This file is part of the gdb testsuite.
|
||||||
|
+
|
||||||
|
+# Test displaced stepping over VEX-encoded RIP-relative AVX
|
||||||
|
+# instructions.
|
||||||
|
+
|
||||||
|
+if { ![istarget x86_64-*-* ] || ![is_lp64_target] } {
|
||||||
|
+ verbose "Skipping x86_64 displaced stepping tests."
|
||||||
|
+ return
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+standard_testfile .S
|
||||||
|
+
|
||||||
|
+set additional_flags "-Wa,-g"
|
||||||
|
+
|
||||||
|
+if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
|
||||||
|
+ [list debug $additional_flags]] } {
|
||||||
|
+ return -1
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# Get things started.
|
||||||
|
+
|
||||||
|
+gdb_test "set displaced-stepping on" ""
|
||||||
|
+gdb_test "show displaced-stepping" ".* displaced stepping .* is on.*"
|
||||||
|
+
|
||||||
|
+if ![runto_main] then {
|
||||||
|
+ fail "can't run to main"
|
||||||
|
+ return 0
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# GDB picks a spare register from this list to hold the RIP-relative
|
||||||
|
+# address.
|
||||||
|
+set rip_regs { "rax" "rbx" "rcx" "rdx" "rbp" "rsi" "rdi" }
|
||||||
|
+
|
||||||
|
+# Assign VAL to all the RIP_REGS.
|
||||||
|
+
|
||||||
|
+proc set_regs { val } {
|
||||||
|
+ global gdb_prompt
|
||||||
|
+ global rip_regs
|
||||||
|
+
|
||||||
|
+ foreach reg ${rip_regs} {
|
||||||
|
+ gdb_test_no_output "set \$${reg} = ${val}"
|
||||||
|
+ }
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# Verify all RIP_REGS print as HEX_VAL_RE in hex.
|
||||||
|
+
|
||||||
|
+proc verify_regs { hex_val_re } {
|
||||||
|
+ global rip_regs
|
||||||
|
+
|
||||||
|
+ foreach reg ${rip_regs} {
|
||||||
|
+ gdb_test "p /x \$${reg}" " = ${hex_val_re}" "${reg} expected value"
|
||||||
|
+ }
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# Set a break at FUNC, which starts with a RIP-relative instruction
|
||||||
|
+# that we want to displaced-step over, and then continue over the
|
||||||
|
+# breakpoint, forcing a displaced-stepping sequence.
|
||||||
|
+
|
||||||
|
+proc disp_step_func { func } {
|
||||||
|
+ global srcfile
|
||||||
|
+
|
||||||
|
+ set test_start_label "${func}"
|
||||||
|
+ set test_end_label "${func}_end"
|
||||||
|
+
|
||||||
|
+ gdb_test "break ${test_start_label}" \
|
||||||
|
+ "Breakpoint.*at.* file .*$srcfile, line.*" \
|
||||||
|
+ "break ${test_start_label}"
|
||||||
|
+ gdb_test "break ${test_end_label}" \
|
||||||
|
+ "Breakpoint.*at.* file .*$srcfile, line.*" \
|
||||||
|
+ "break ${test_end_label}"
|
||||||
|
+
|
||||||
|
+ gdb_test "continue" \
|
||||||
|
+ "Continuing.*Breakpoint.*, ${test_start_label} ().*" \
|
||||||
|
+ "continue to ${test_start_label}"
|
||||||
|
+
|
||||||
|
+ # GDB picks a spare register to hold the RIP-relative address.
|
||||||
|
+ # Ensure the spare register value is restored properly (rax-rdi,
|
||||||
|
+ # sans rsp).
|
||||||
|
+ set value "0xdeadbeefd3adb33f"
|
||||||
|
+ set_regs $value
|
||||||
|
+
|
||||||
|
+ gdb_test "continue" \
|
||||||
|
+ "Continuing.*Breakpoint.*, ${test_end_label} ().*" \
|
||||||
|
+ "continue to ${test_end_label}"
|
||||||
|
+
|
||||||
|
+ verify_regs $value
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# Test a VEX2-encoded RIP-relative instruction.
|
||||||
|
+with_test_prefix "vex2" {
|
||||||
|
+ # This case writes to the 'xmm0' register. Confirm the register's
|
||||||
|
+ # value is what we believe it is before the AVX instruction runs.
|
||||||
|
+ # Fedora: 0* for missing: https://sourceware.org/bugzilla/show_bug.cgi?id=16225
|
||||||
|
+ gdb_test "p /x \$xmm0.uint128" " = 0x00*" \
|
||||||
|
+ "xmm0 has expected value before"
|
||||||
|
+
|
||||||
|
+ disp_step_func "test_rip_vex2"
|
||||||
|
+
|
||||||
|
+ # Confirm the instruction's expected side effects. It should have
|
||||||
|
+ # modified xmm0.
|
||||||
|
+ # Fedora: 0* for missing: https://sourceware.org/bugzilla/show_bug.cgi?id=16225
|
||||||
|
+ gdb_test "p /x \$xmm0.uint128" " = 0x0*1122334455667788" \
|
||||||
|
+ "xmm0 has expected value after"
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# Test a VEX3-encoded RIP-relative instruction.
|
||||||
|
+with_test_prefix "vex3" {
|
||||||
|
+ # This case writes to the 'var128' variable. Confirm the
|
||||||
|
+ # variable's value is what we believe it is before the AVX
|
||||||
|
+ # instruction runs.
|
||||||
|
+ gdb_test "p /x (unsigned long long \[2\]) var128" \
|
||||||
|
+ " = \\{0xaa55aa55aa55aa55, 0x55aa55aa55aa55aa\\}" \
|
||||||
|
+ "var128 has expected value before"
|
||||||
|
+
|
||||||
|
+ # Run the AVX instruction.
|
||||||
|
+ disp_step_func "test_rip_vex3"
|
||||||
|
+
|
||||||
|
+ # Confirm the instruction's expected side effects. It should have
|
||||||
|
+ # modifed the 'var128' variable.
|
||||||
|
+ gdb_test "p /x (unsigned long long \[2\]) var128" \
|
||||||
|
+ " = \\{0x1122334455667788, 0x0\\}" \
|
||||||
|
+ "var128 has expected value after"
|
||||||
|
+}
|
||||||
|
+
|
||||||
|
+# Done, run program to exit.
|
||||||
|
+gdb_continue_to_end "amd64-disp-step-avx"
|
||||||
|
|
31
gdb.spec
31
gdb.spec
|
@ -20,13 +20,13 @@ Name: %{?scl_prefix}gdb
|
||||||
# Freeze it when GDB gets branched
|
# Freeze it when GDB gets branched
|
||||||
%global snapsrc 20170420
|
%global snapsrc 20170420
|
||||||
# See timestamp of source gnulib installed into gdb/gnulib/ .
|
# See timestamp of source gnulib installed into gdb/gnulib/ .
|
||||||
%global snapgnulib 20150822
|
%global snapgnulib 20161115
|
||||||
%global tarname gdb-%{version}
|
%global tarname gdb-%{version}
|
||||||
Version: 8.0.1
|
Version: 8.0.1
|
||||||
|
|
||||||
# The release always contains a leading reserved number, start it at 1.
|
# The release always contains a leading reserved number, start it at 1.
|
||||||
# `upstream' is not a part of `name' to stay fully rpm dependencies compatible for the testing.
|
# `upstream' is not a part of `name' to stay fully rpm dependencies compatible for the testing.
|
||||||
Release: 31%{?dist}
|
Release: 36%{?dist}
|
||||||
|
|
||||||
License: GPLv3+ and GPLv3+ with exceptions and GPLv2+ and GPLv2+ with exceptions and GPL+ and LGPLv2+ and LGPLv3+ and BSD and Public Domain and GFDL
|
License: GPLv3+ and GPLv3+ with exceptions and GPLv2+ and GPLv2+ with exceptions and GPL+ and LGPLv2+ and LGPLv3+ and BSD and Public Domain and GFDL
|
||||||
Group: Development/Debuggers
|
Group: Development/Debuggers
|
||||||
|
@ -737,6 +737,13 @@ Patch1259: gdb-rhbz1498758-5of5.patch
|
||||||
Patch1261: gdb-rhbz1228556-bpt-inlined-func-name-1of2.patch
|
Patch1261: gdb-rhbz1228556-bpt-inlined-func-name-1of2.patch
|
||||||
Patch1262: gdb-rhbz1228556-bpt-inlined-func-name-2of2.patch
|
Patch1262: gdb-rhbz1228556-bpt-inlined-func-name-2of2.patch
|
||||||
|
|
||||||
|
# Fix random 'FAIL: libstdc++-prettyprinters/80276.cc whatis p4' (GCC
|
||||||
|
# PR83906) (Pedro Alves).
|
||||||
|
Patch1263: gdb-random-libstdcpp-prettyprinters-fail.patch
|
||||||
|
|
||||||
|
# Fix signal handlers regression (RH BZ 1542149, Pedro Alves).
|
||||||
|
Patch1270: gdb-rhbz1542149-spawn-default-signal-handlers-regression.patch
|
||||||
|
|
||||||
%if 0%{!?rhel:1} || 0%{?rhel} > 6
|
%if 0%{!?rhel:1} || 0%{?rhel} > 6
|
||||||
# RL_STATE_FEDORA_GDB would not be found for:
|
# RL_STATE_FEDORA_GDB would not be found for:
|
||||||
# Patch642: gdb-readline62-ask-more-rh.patch
|
# Patch642: gdb-readline62-ask-more-rh.patch
|
||||||
|
@ -1149,6 +1156,8 @@ done
|
||||||
%patch1259 -p1
|
%patch1259 -p1
|
||||||
%patch1261 -p1
|
%patch1261 -p1
|
||||||
%patch1262 -p1
|
%patch1262 -p1
|
||||||
|
%patch1263 -p1
|
||||||
|
%patch1270 -p1
|
||||||
|
|
||||||
%patch1075 -p1
|
%patch1075 -p1
|
||||||
%if 0%{?rhel:1} && 0%{?rhel} <= 7
|
%if 0%{?rhel:1} && 0%{?rhel} <= 7
|
||||||
|
@ -1731,6 +1740,24 @@ then
|
||||||
fi
|
fi
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Tue Feb 6 2018 Jan Kratochvil <jan.kratochvil@redhat.com> - 8.0.1-36.fc26
|
||||||
|
- Fix signal handlers regression (RH BZ 1542149, Pedro Alves).
|
||||||
|
|
||||||
|
* Thu Jan 25 2018 Sergio Durigan Junior <sergiodj@redhat.com> - 8.0.1-35.fc26
|
||||||
|
- Add %patch directive to the commit below.
|
||||||
|
|
||||||
|
* Wed Jan 24 2018 Sergio Durigan Junior <sergiodj@fedoraproject.org> - 8.0.1-34.fc26
|
||||||
|
- Fix random 'FAIL: libstdc++-prettyprinters/80276.cc whatis p4' (GCC PR83906)
|
||||||
|
(Pedro Alves).
|
||||||
|
|
||||||
|
* Wed Dec 6 2017 Jan Kratochvil <jan.kratochvil@redhat.com> - 8.0.1-33.fc26
|
||||||
|
- [rhel7] Fix C++ compiler compatibility.
|
||||||
|
|
||||||
|
* Tue Dec 5 2017 Jan Kratochvil <jan.kratochvil@redhat.com> - 8.0.1-32.fc26
|
||||||
|
- Backport upstream fix for Intel PKRU (Walfred Tedeschi).
|
||||||
|
- Backport upstream fix AVX instr. single-stepping (RH BZ 1515209, Pedro Alves).
|
||||||
|
- Fix snapgnulib bundle number.
|
||||||
|
|
||||||
* Sat Dec 2 2017 Jan Kratochvil <jan.kratochvil@redhat.com> - 8.0.1-31.fc26
|
* Sat Dec 2 2017 Jan Kratochvil <jan.kratochvil@redhat.com> - 8.0.1-31.fc26
|
||||||
- [testsuite] Fix BuildRequires for non-x86* arches.
|
- [testsuite] Fix BuildRequires for non-x86* arches.
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue