diff options
| author | Pedro Alves <palves@redhat.com> | 2012-02-24 16:47:56 +0000 |
|---|---|---|
| committer | Pedro Alves <palves@redhat.com> | 2012-02-24 16:47:56 +0000 |
| commit | e36930bb63717e596980a9aff05ef19be999919f (patch) | |
| tree | 9012fb545f3f0b158a5b45d1719395bba902e123 /gdb/stack.c | |
| parent | 883bc8d1cbb83056eb7bce86a008e0dd56f62f3b (diff) | |
| download | gdb-e36930bb63717e596980a9aff05ef19be999919f.zip gdb-e36930bb63717e596980a9aff05ef19be999919f.tar.gz gdb-e36930bb63717e596980a9aff05ef19be999919f.tar.bz2 | |
2012-02-24 Pedro Alves <palves@redhat.com>
* stack.c (set_last_displayed_sal): Issue internal_error instead
of warning, and issue it after clearing the last displayed sal.
Diffstat (limited to 'gdb/stack.c')
| -rw-r--r-- | gdb/stack.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/stack.c b/gdb/stack.c index 070d658..22b16a5 100644 --- a/gdb/stack.c +++ b/gdb/stack.c @@ -911,8 +911,9 @@ set_last_displayed_sal (int valid, struct program_space *pspace, last_displayed_line = line; if (valid && pspace == NULL) { - warning (_("Trying to set NULL pspace.")); clear_last_displayed_sal (); + internal_error (__FILE__, __LINE__, + _("Trying to set NULL pspace.")); } } |