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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 80648a3e952a9234a7d5cabd2d3c5217350deaf1..9f290184ec4d1ccde113678a9119682dbca7f866 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+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.
+
 2012-02-24  Jan Kratochvil  <jan.kratochvil@redhat.com>
            Pedro Alves  <palves@redhat.com>
 

diff --git a/gdb/stack.c b/gdb/stack.c
index 070d658d918ff47b04a504694d6752462e639f1d..22b16a54dcc1e49274b9323963b8fcd362e2ab57 100644 (file)
--- 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."));
     }
 }