From a6f51264fd3cf6b06890d0ff50066230edee9426 Mon Sep 17 00:00:00 2001
From: Dale Weiler <killfieldengine@gmail.com>
Date: Fri, 28 Dec 2012 12:43:08 +0000
Subject: [PATCH] Fixed another possible implementation specific bug thanks to
 this progressive splint idea :)

---
 main.c    | 4 ++--
 splint.sh | 1 -
 test.c    | 2 +-
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/main.c b/main.c
index 244d570..1946795 100644
--- a/main.c
+++ b/main.c
@@ -527,7 +527,7 @@ int main(int argc, char **argv) {
 
     if (OPTS_FLAG(TRUE_EMPTY_STRINGS) && OPTS_FLAG(FALSE_EMPTY_STRINGS)) {
         con_err("-ftrue-empty-strings and -ffalse-empty-strings are mutually exclusive");
-        exit(1);
+        exit(EXIT_FAILURE);
     }
 
     /* the standard decides which set of operators to use */
@@ -550,7 +550,7 @@ int main(int argc, char **argv) {
                 operators[operator_count-1].id != opid2(':','?'))
             {
                 con_err("internal error: operator precedence table wasn't updated correctly!\n");
-                exit(1);
+                exit(EXIT_FAILURE);
             }
             operators_free = true;
             newops = (oper_info*)mem_a(sizeof(operators[0]) * operator_count);
diff --git a/splint.sh b/splint.sh
index 8d4ab2a..ae688ee 100755
--- a/splint.sh
+++ b/splint.sh
@@ -55,7 +55,6 @@ FLAGS_MAYBE="\
     -realcompare         \
     -observertrans       \
     -shiftnegative       \
-    -exitarg             \
     -freshtrans          \
     -abstract            \
     -statictrans"
diff --git a/test.c b/test.c
index 5756d45..0762876 100644
--- a/test.c
+++ b/test.c
@@ -121,7 +121,7 @@ FILE ** task_popen(const char *command, const char *mode) {
         close(2), dup(errhandle[1]);
 
         execvp(*argv, argv);
-        exit(1);
+        exit(EXIT_FAILURE);
     } else {
         /* fork failed */
         goto task_popen_error_3;
-- 
2.39.2