Declare olsr_exit() as noreturn
authorHenning Rogge <henning.rogge@fkie.fraunhofer.de>
Mon, 29 Oct 2012 13:01:33 +0000 (14:01 +0100)
committerHenning Rogge <henning.rogge@fkie.fraunhofer.de>
Mon, 29 Oct 2012 13:01:33 +0000 (14:01 +0100)
CID 739654: Dereference after null check (FORWARD_NULL)
At (7): Dereferencing null pointer "node".

src/olsr.c
src/olsr.h

index 8401436..9876fb5 100644 (file)
@@ -560,6 +560,9 @@ olsr_exit(const char *msg, int val)
   olsr_cnf->exit_value = val;
 
   raise(SIGTERM);
+
+  /* just to be sure */
+  exit(val);
 }
 
 /**
index de0495c..0454739 100644 (file)
@@ -83,7 +83,7 @@ const char *olsr_link_to_string(uint8_t);
 
 const char *olsr_status_to_string(uint8_t);
 
-void olsr_exit(const char *, int);
+void olsr_exit(const char *, int) __attribute__((noreturn));
 
 void *olsr_malloc(size_t, const char *);