Pre-release splint and cppcheck cleanup. All regression tests pass.

1 files changed, 3 insertions, 1 deletions

diff --git a/gpspipe.c b/gpspipe.c
index 69dfcd91..d68a062a 100644
--- a/gpspipe.c
+++ b/gpspipe.c
@@ -151,6 +151,7 @@ static void usage(void)
 	);
 }
 
+/*@ -compdestroy @*/
 int main( int argc, char **argv)
 {
     char buf[4096];
@@ -379,8 +380,9 @@ int main( int argc, char **argv)
     }
 #endif /* __UNUSED__ */
 
-    exit(0);
+    /*@i1@*/exit(0);
 }
+/*@ +compdestroy @*/
 
 static void spinner (unsigned int v, unsigned int num) {
     char *spin = "|/-\\";