Switch the license of all files explicitly copyright the FSF

[thirdparty/binutils-gdb.git] / sim / common / sim-stop.c

diff --git a/sim/common/sim-stop.c b/sim/common/sim-stop.c
index 1a11bd559d73e06b70b3fe65d380e10f1967f768..e0cd69c5989027e73aee1ca563a8cebca3eb4453 100644 (file)
--- a/sim/common/sim-stop.c
+++ b/sim/common/sim-stop.c
@@ -1,40 +1,39 @@
 /* Generic simulator stop.
-   Copyright (C) 1997 Free Software Foundation, Inc.
+   Copyright (C) 1997, 2007 Free Software Foundation, Inc.
    Contributed by Cygnus Support.
 
 This file is part of GDB, the GNU debugger.
 
 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 2, or (at your option)
-any later version.
+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, write to the Free Software Foundation, Inc.,
-59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
+You should have received a copy of the GNU General Public License
+along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include "sim-main.h"
+#include "sim-assert.h"
 
-#include <signal.h>
-
-
-/* Generic implementation if sim_stop */
+/* Generic implementation of sim_stop.  */
 
 static void
 control_c_simulation (SIM_DESC sd,
                      void *data)
 {
-  sim_engine_halt (sd, NULL, NULL, NULL_CIA, sim_stopped, SIGINT);
+  ASSERT (STATE_MAGIC (sd) == SIM_MAGIC_NUMBER);
+  sim_engine_halt (sd, NULL, NULL, NULL_CIA, sim_stopped, SIM_SIGINT);
 }
 
 int
 sim_stop (SIM_DESC sd)
 {
+  ASSERT (STATE_MAGIC (sd) == SIM_MAGIC_NUMBER);
   sim_events_schedule_after_signal(sd,
                                   0 /*NOW*/,
                                   control_c_simulation,