diff options
author | Pedro Alves <pedro@codesourcery.com> | 2012-02-24 16:47:55 +0000 |
---|---|---|
committer | Pedro Alves <pedro@codesourcery.com> | 2012-02-24 16:47:55 +0000 |
commit | 65ae660cb7a22700d04c8546da2b464dcbd94432 (patch) | |
tree | faeda1678ac26fec583942a0041ebf9ef20a52e5 /gdb/stack.c | |
parent | 43ccafa1a264f71c66a74569bbc76abe5199db70 (diff) | |
download | gdb-65ae660cb7a22700d04c8546da2b464dcbd94432.tar.gz |
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 070d658d918..22b16a54dcc 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.")); } } |