From 33487b7d68ac2ff370dbab007d071a9feeb76095 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Tue, 15 Dec 2015 21:47:44 +0100
Subject: [PATCH] src/sharedspice.c, add ATTRIBUTE_NORETURN to function
 `shared_exit()' declaration

---
 src/frontend/error.c             | 2 +-
 src/frontend/numparam/spicenum.c | 2 +-
 src/sharedspice.c                | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/frontend/error.c b/src/frontend/error.c
index 906aad9e0..485343146 100644
--- a/src/frontend/error.c
+++ b/src/frontend/error.c
@@ -16,7 +16,7 @@ Author: 1985 Wayne A. Christopher, U. C. Berkeley CAD Group
 #ifdef HAS_WINGUI
 void winmessage(char *new_msg);
 #elif defined SHARED_MODULE
-extern void shared_exit(int status);
+extern ATTRIBUTE_NORETURN void shared_exit(int status);
 #endif
 
 /* global error message buffer */
diff --git a/src/frontend/numparam/spicenum.c b/src/frontend/numparam/spicenum.c
index 5206972b9..2a3247371 100644
--- a/src/frontend/numparam/spicenum.c
+++ b/src/frontend/numparam/spicenum.c
@@ -29,7 +29,7 @@ Todo:
 #include "ngspice/fteext.h"
 
 #ifdef SHARED_MODULE
-extern void shared_exit(int status);
+extern ATTRIBUTE_NORETURN void shared_exit(int status);
 #endif
 
 extern bool ft_batchmode;
diff --git a/src/sharedspice.c b/src/sharedspice.c
index ed8cb042e..c8dbae071 100644
--- a/src/sharedspice.c
+++ b/src/sharedspice.c
@@ -185,7 +185,7 @@ int sh_ExecutePerLoop(void);
 double getvsrcval(double, char*);
 int sh_vecinit(runDesc *run);
 
-void shared_exit(int status);
+ATTRIBUTE_NORETURN void shared_exit(int status);
 
 void sighandler_sharedspice(int num);
 
@@ -1450,7 +1450,7 @@ void SetAnalyse(
 
 /* a dll or shared library should never exit, if loaded dynamically,
    but ask for graceful shutdown (e.g. being detached) via a callback function */
-void shared_exit(int status)
+ATTRIBUTE_NORETURN void shared_exit(int status)
 {
     /* alert caller to detach dll (if we are in the main thread),
     or detach after a short sleep, if immediate is true, and we are