Add target for "make splint". A few files need extra guards to avoid

errors on systems where they would not otherwise be compiled.
No warnings from splint.

diff --git a/Makefile.in b/Makefile.in
index 4098f5200195e973f62e47313766f46f07d1259c..e5b9a56144be92933f0ad2dacb9810a29fa1a606 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -86,6 +86,9 @@ XGETTEXT_OPTS = -F -k_ -kN_ -kU_ --copyright-holder="Todd C. Miller" \
 # Default cppcheck options when run from the top-level Makefile
 CPPCHECK_OPTS = -q --force --enable=warning,performance,portability --suppress=constStatement --error-exitcode=1 --inline-suppr -Dva_copy=va_copy -U__cplusplus -UQUAD_MAX -UQUAD_MIN -UUQUAD_MAX -U_POSIX_HOST_NAME_MAX -U_POSIX_PATH_MAX -U__NBBY -DNSIG=64
 
+# Default splint options when run from the top-level Makefile
+SPLINT_OPTS = -D__restrict= -checks
+
 all: config.status
        for d in $(SUBDIRS); do \
            (cd $$d && exec $(MAKE) $@) && continue; \
@@ -106,6 +109,14 @@ cppcheck: config.status
        done; \
        exit $$rval
 
+splint: config.status
+       rval=0; \
+       for d in $(SUBDIRS); do \
+           echo splinting $$d; \
+           (cd $$d && exec $(MAKE) SPLINT_OPTS="$(SPLINT_OPTS)" $@) || rval=`expr $$rval + $$?`; \
+       done; \
+       exit $$rval
+
 install-dirs install-binaries install-includes install-plugin: config.status pre-install
        for d in $(SUBDIRS); do \
            (cd $$d && exec $(MAKE) "INSTALL_OWNER=$(INSTALL_OWNER)" $@) && continue; \

diff --git a/doc/Makefile.in b/doc/Makefile.in
index c85496bd0413c17b23f2a671c9931d44110a2142..a6f2ea23f4a458bfeb02576380ed8e0356fa3874 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -338,6 +338,8 @@ uninstall:
                $(DESTDIR)$(mandirform)/sudoers.$(mansectform) \
                $(DESTDIR)$(mandirform)/sudoers.ldap.$(mansectform)
 
+splint:
+
 cppcheck:
 
 check:

diff --git a/examples/Makefile.in b/examples/Makefile.in
index c82dd788ebcc28199f304ed190334ce55ac5932f..784650469b941eafafb9e4e68ea8e08007e1b3b3 100644 (file)
--- a/examples/Makefile.in
+++ b/examples/Makefile.in
@@ -77,6 +77,8 @@ install-plugin:
 uninstall:
        -rm -rf $(DESTDIR)$(exampledir)
 
+splint:
+
 cppcheck:
 
 check:

diff --git a/include/Makefile.in b/include/Makefile.in
index 61ab18f5f943aded86013c449fbbd1ee792ddc12..bb96fba04ba4224892a661b38aae586823ab4a79 100644 (file)
--- a/include/Makefile.in
+++ b/include/Makefile.in
@@ -73,6 +73,8 @@ install-plugin:
 uninstall:
        -rm -f $(DESTDIR)$(includedir)/sudo_plugin.h
 
+splint:
+
 cppcheck:
 
 check:

diff --git a/lib/util/Makefile.in b/lib/util/Makefile.in
index ab59c913ef2605a22ba286e9632a96913f71ddab..b9cd86f375127457ba2be34d15b74cca0e1828ff 100644 (file)
--- a/lib/util/Makefile.in
+++ b/lib/util/Makefile.in
@@ -77,6 +77,9 @@ SHLIB_VERSION = 0:0:0
 # cppcheck options, usually set in the top-level Makefile
 CPPCHECK_OPTS = -q --force --enable=warning,performance,portability --suppress=constStatement --error-exitcode=1 --inline-suppr -Dva_copy=va_copy -U__cplusplus -UQUAD_MAX -UQUAD_MIN -UUQUAD_MAX -U_POSIX_HOST_NAME_MAX -U_POSIX_PATH_MAX -U__NBBY -DNSIG=64
 
+# splint options, usually set in the top-level Makefile
+SPLINT_OPTS = -D__restrict= -checks
+
 # Regression tests
 TEST_PROGS = atofoo_test conf_test hltq_test parseln_test progname_test @COMPAT_TEST_PROGS@
 TEST_LIBS = @LIBS@
@@ -211,6 +214,9 @@ install-plugin:
 uninstall:
        $(LIBTOOL) --mode=uninstall rm -f $(DESTDIR)$(libexecdir)/sudo/libsudo_util.la
 
+splint:
+       splint $(SPLINT_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
+
 cppcheck:
        cppcheck $(CPPCHECK_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
 

diff --git a/lib/zlib/Makefile.in b/lib/zlib/Makefile.in
index fda77ab381d80ace21ab782b56dc478efcaa8c61..55dabae9250454834f39c5f6f3f7b64f7bfec06e 100644 (file)
--- a/lib/zlib/Makefile.in
+++ b/lib/zlib/Makefile.in
@@ -134,6 +134,8 @@ install-plugin:
 uninstall:
        $(LIBTOOL) --mode=uninstall rm -f $(DESTDIR)$(libexecdir)/sudo/libsudo_z.la
 
+splint:
+
 cppcheck:
 
 check:

diff --git a/plugins/group_file/Makefile.in b/plugins/group_file/Makefile.in
index 302715ee21561042d526982a113f033425edeae9..eb23af87c78e5f25b414d64ae1d12c2b34f0e997 100644 (file)
--- a/plugins/group_file/Makefile.in
+++ b/plugins/group_file/Makefile.in
@@ -61,6 +61,9 @@ SSP_LDFLAGS = @SSP_LDFLAGS@
 # cppcheck options, usually set in the top-level Makefile
 CPPCHECK_OPTS = -q --force --enable=warning,performance,portability --suppress=constStatement --error-exitcode=1 --inline-suppr -Dva_copy=va_copy -U__cplusplus -UQUAD_MAX -UQUAD_MIN -UUQUAD_MAX -U_POSIX_HOST_NAME_MAX -U_POSIX_PATH_MAX -U__NBBY -DNSIG=64
 
+# splint options, usually set in the top-level Makefile
+SPLINT_OPTS = -D__restrict= -checks
+
 # Where to install things...
 prefix = @prefix@
 exec_prefix = @exec_prefix@
@@ -137,6 +140,9 @@ uninstall:
        -$(LIBTOOL) --mode=uninstall rm -f $(DESTDIR)$(plugindir)/group_file.la
        -rm -f $(DESTDIR)$(plugindir)/group_file.so~
 
+splint:
+       splint $(SPLINT_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
+
 cppcheck:
        cppcheck $(CPPCHECK_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
 

diff --git a/plugins/sample/Makefile.in b/plugins/sample/Makefile.in
index 23661af964319fb3f8e6653d3138890a6fb58569..1520fe567eb4e33108be7a8c6177dd9effeab64e 100644 (file)
--- a/plugins/sample/Makefile.in
+++ b/plugins/sample/Makefile.in
@@ -60,6 +60,9 @@ SSP_LDFLAGS = @SSP_LDFLAGS@
 # cppcheck options, usually set in the top-level Makefile
 CPPCHECK_OPTS = -q --force --enable=warning,performance,portability --suppress=constStatement --error-exitcode=1 --inline-suppr -Dva_copy=va_copy -U__cplusplus -UQUAD_MAX -UQUAD_MIN -UUQUAD_MAX -U_POSIX_HOST_NAME_MAX -U_POSIX_PATH_MAX -U__NBBY -DNSIG=64
 
+# splint options, usually set in the top-level Makefile
+SPLINT_OPTS = -D__restrict= -checks
+
 # Where to install things...
 prefix = @prefix@
 exec_prefix = @exec_prefix@
@@ -136,6 +139,9 @@ uninstall:
        -$(LIBTOOL) --mode=uninstall rm -f $(DESTDIR)$(plugindir)/sample_plugin.la
        -rm -f $(DESTDIR)$(plugindir)/sample_plugin.so~
 
+splint:
+       splint $(SPLINT_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
+
 cppcheck:
        cppcheck $(CPPCHECK_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
 

diff --git a/plugins/sudoers/Makefile.in b/plugins/sudoers/Makefile.in
index 8d8486e50c6b2080c3f72062a274bf141551e43e..f0d8187ec54aa94245374353094d48878d8cfe54 100644 (file)
--- a/plugins/sudoers/Makefile.in
+++ b/plugins/sudoers/Makefile.in
@@ -79,6 +79,9 @@ SSP_LDFLAGS = @SSP_LDFLAGS@
 # cppcheck options, usually set in the top-level Makefile
 CPPCHECK_OPTS = -q --force --enable=warning,performance,portability --suppress=constStatement --error-exitcode=1 --inline-suppr -Dva_copy=va_copy -U__cplusplus -UQUAD_MAX -UQUAD_MIN -UUQUAD_MAX -U_POSIX_HOST_NAME_MAX -U_POSIX_PATH_MAX -U__NBBY -DNSIG=64
 
+# splint options, usually set in the top-level Makefile
+SPLINT_OPTS = -D__restrict= -checks
+
 # Where to install things...
 prefix = @prefix@
 exec_prefix = @exec_prefix@
@@ -341,6 +344,9 @@ uninstall:
        -cmp $(DESTDIR)$(sudoersdir)/sudoers $(srcdir)/sudoers >/dev/null && \
            rm -f $(DESTDIR)$(sudoersdir)/sudoers
 
+splint:
+       splint $(SPLINT_OPTS) -I$(incdir) -I$(top_builddir) -I$(devdir) -I$(srcdir) -I$(top_srcdir) $(srcdir)/*.c $(srcdir)/auth/*.c
+
 cppcheck:
        cppcheck $(CPPCHECK_OPTS) -I$(incdir) -I$(top_builddir) -I$(devdir) -I$(srcdir) -I$(top_srcdir) $(srcdir)/*.c $(srcdir)/auth/*.c
 

diff --git a/plugins/sudoers/auth/afs.c b/plugins/sudoers/auth/afs.c
index a198043963a39da2fada2b2a0f9aadf0c5812ee2..c18c71b7df940677d8c897111aa67a620123a1b1 100644 (file)
--- a/plugins/sudoers/auth/afs.c
+++ b/plugins/sudoers/auth/afs.c
@@ -21,6 +21,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_AFS
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -81,3 +83,5 @@ sudo_afs_verify(struct passwd *pw, char *pass, sudo_auth *auth)
 
     debug_return_int(AUTH_FAILURE);
 }
+
+#endif HAVE_AFS

diff --git a/plugins/sudoers/auth/aix_auth.c b/plugins/sudoers/auth/aix_auth.c
index 7202e81c26120e3ef90e2daaaf9c6b26a18ed1b2..7c89d71d056ec0fab513e59fd1d6c3a919871c46 100644 (file)
--- a/plugins/sudoers/auth/aix_auth.c
+++ b/plugins/sudoers/auth/aix_auth.c
@@ -20,6 +20,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_AIXAUTH
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -183,3 +185,5 @@ sudo_aix_cleanup(struct passwd *pw, sudo_auth *auth)
 
     debug_return_int(AUTH_SUCCESS);
 }
+
+#endif /* HAVE_AIXAUTH */

diff --git a/plugins/sudoers/auth/bsdauth.c b/plugins/sudoers/auth/bsdauth.c
index 6881b59dc39a10f258cf2f99f6b0accca372dcc1..484bdda64818c89ff8fbb03711569482b8ffa9ca 100644 (file)
--- a/plugins/sudoers/auth/bsdauth.c
+++ b/plugins/sudoers/auth/bsdauth.c
@@ -21,6 +21,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_BSD_AUTH_H
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -183,3 +185,5 @@ bsdauth_cleanup(struct passwd *pw, sudo_auth *auth)
 
     debug_return_int(AUTH_SUCCESS);
 }
+
+#endif /* HAVE_BSD_AUTH_H */

diff --git a/plugins/sudoers/auth/dce.c b/plugins/sudoers/auth/dce.c
index 97bdd1c05d42827526a86f51aa058974c88d290d..34e21551891d19ace4c897cc7bd07bee210f251d 100644 (file)
--- a/plugins/sudoers/auth/dce.c
+++ b/plugins/sudoers/auth/dce.c
@@ -35,6 +35,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_DCE
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -196,3 +198,5 @@ check_dce_status(error_status_t input_status, char *comment)
     (void) fprintf(stderr, "%s %s\n", comment, error_string);
     debug_return_int(1);
 }
+
+#endif /* HAVE_DCE */

diff --git a/plugins/sudoers/auth/fwtk.c b/plugins/sudoers/auth/fwtk.c
index f2195976d9dcc96c2c18865e1b8ae604070cb522..120be77c7a621d7f8baae1f742fccd3b41ab0724 100644 (file)
--- a/plugins/sudoers/auth/fwtk.c
+++ b/plugins/sudoers/auth/fwtk.c
@@ -21,6 +21,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_FWTK
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -152,3 +154,5 @@ sudo_fwtk_cleanup(struct passwd *pw, sudo_auth *auth)
     auth_close();
     debug_return_int(AUTH_SUCCESS);
 }
+
+#endif /* HAVE_FWTK */

diff --git a/plugins/sudoers/auth/kerb5.c b/plugins/sudoers/auth/kerb5.c
index 2b3bd46fdba136bf3eb19eca57d1ac6232f23f87..c91c0de681772870e4ebaee61624ed8ccde28729 100644 (file)
--- a/plugins/sudoers/auth/kerb5.c
+++ b/plugins/sudoers/auth/kerb5.c
@@ -24,6 +24,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_KERB5
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -326,3 +328,5 @@ verify_krb_v5_tgt(krb5_context sudo_context, krb5_creds *cred, char *auth_name)
     debug_return_int(error);
 }
 #endif
+
+#endif /* HAVE_KERB5 */

diff --git a/plugins/sudoers/auth/pam.c b/plugins/sudoers/auth/pam.c
index 635d5adc400eebfdffcb911ba91017fb9991be27..2df852d7e9bcab998c21a3c38699aacf92ea339f 100644 (file)
--- a/plugins/sudoers/auth/pam.c
+++ b/plugins/sudoers/auth/pam.c
@@ -20,6 +20,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_PAM
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -408,3 +410,5 @@ done:
     }
     debug_return_int(ret);
 }
+
+#endif /* HAVE_PAM */

diff --git a/plugins/sudoers/auth/rfc1938.c b/plugins/sudoers/auth/rfc1938.c
index ca6f1e64d68ba28b3ab48f3a0ff64c333926b4f2..b893dda8ae8e58deee13a3ee894ec255b8459304 100644 (file)
--- a/plugins/sudoers/auth/rfc1938.c
+++ b/plugins/sudoers/auth/rfc1938.c
@@ -21,6 +21,8 @@
 
 #include <config.h>
 
+#if defined(HAVE_SKEY) || defined(HAVE_OPIE)
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -133,3 +135,5 @@ sudo_rfc1938_verify(struct passwd *pw, char *pass, sudo_auth *auth)
     else
        debug_return_int(AUTH_FAILURE);
 }
+
+#endif /* HAVE_SKEY || HAVE_OPIE */

diff --git a/plugins/sudoers/auth/secureware.c b/plugins/sudoers/auth/secureware.c
index 50ebdb07074dc957d5a7a70b0bcbedd2390bf7f8..1f29dad434508346e5732f951b09247493cd00b2 100644 (file)
--- a/plugins/sudoers/auth/secureware.c
+++ b/plugins/sudoers/auth/secureware.c
@@ -20,6 +20,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_GETPRPWNAM
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -116,3 +118,5 @@ sudo_secureware_cleanup(pw, auth)
     }
     debug_return_int(AUTH_SUCCESS);
 }
+
+#endif /* HAVE_GETPRPWNAM */

diff --git a/plugins/sudoers/auth/securid5.c b/plugins/sudoers/auth/securid5.c
index b495f76f7149c5a18e63f159d3e6e3b7c792dc37..e4fd3229006261136ddbbfc55211dfe0b90af564 100644 (file)
--- a/plugins/sudoers/auth/securid5.c
+++ b/plugins/sudoers/auth/securid5.c
@@ -25,6 +25,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_SECURID
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -222,3 +224,5 @@ then enter the new token code.\n", \
     /* Return stored state to calling process */
     debug_return_int(rval);
 }
+
+#endif /* HAVE_SECURID */

diff --git a/plugins/sudoers/auth/sia.c b/plugins/sudoers/auth/sia.c
index 27f0e0858af8840537060d68fa4af962fc05f837..c8d2ff0366c82292c0885241a2cd5a58fc95e770 100644 (file)
--- a/plugins/sudoers/auth/sia.c
+++ b/plugins/sudoers/auth/sia.c
@@ -23,6 +23,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_SIA_SES_INIT
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -153,3 +155,5 @@ sudo_sia_cleanup(struct passwd *pw, sudo_auth *auth)
     sudo_efree(sudo_argv);
     debug_return_int(AUTH_SUCCESS);
 }
+
+#endif /* HAVE_SIA_SES_INIT */

diff --git a/plugins/sudoers/bsm_audit.c b/plugins/sudoers/bsm_audit.c
index 7ced6b8364aac46537ff8a19744fdb0452ae3bec..5fe8b0403225bbc90a0adebd94809d62b97857ea 100644 (file)
--- a/plugins/sudoers/bsm_audit.c
+++ b/plugins/sudoers/bsm_audit.c
@@ -17,6 +17,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_BSM_AUDIT
+
 #include <sys/types.h>
 
 #include <bsm/audit.h>
@@ -260,3 +262,5 @@ bsm_audit_failure(char *exec_args[], char const *const fmt, va_list ap)
        }
        debug_return_int(0);
 }
+
+#endif /* HAVE_BSM_AUDIT */

diff --git a/plugins/sudoers/linux_audit.c b/plugins/sudoers/linux_audit.c
index a2c236da840fbc0f932b0ade21037dd281f14463..ba6fd88b97cd8e714365472238ce2701d30ce068 100644 (file)
--- a/plugins/sudoers/linux_audit.c
+++ b/plugins/sudoers/linux_audit.c
@@ -16,6 +16,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_LINUX_AUDIT
+
 #include <sys/types.h>
 #include <stdio.h>
 #ifdef STDC_HEADERS
@@ -103,3 +105,5 @@ done:
 
     debug_return_int(rc);
 }
+
+#endif /* HAVE_LINUX_AUDIT */

diff --git a/plugins/sudoers/solaris_audit.c b/plugins/sudoers/solaris_audit.c
index 0b19a733870f51a9a924e0601268bbad7b4c385e..13612e290ae7147478ee0e14fa025bb2d2df026a 100644 (file)
--- a/plugins/sudoers/solaris_audit.c
+++ b/plugins/sudoers/solaris_audit.c
@@ -16,6 +16,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_SOLARIS_AUDIT
+
 #include <sys/types.h>
 #include <stdarg.h>
 #include <stdio.h>
@@ -123,3 +125,5 @@ solaris_audit_failure(int argc, char *argv[], char const *const fmt, va_list ap)
 
        return 0;
 }
+
+#endif /* HAVE_SOLARIS_AUDIT */

diff --git a/plugins/sudoers/sssd.c b/plugins/sudoers/sssd.c
index a0ea804b225bf979bad22b2ae69f9994fa36e1d2..eeaa3d0690b58913d2a784b6e61586cd91657b97 100644 (file)
--- a/plugins/sudoers/sssd.c
+++ b/plugins/sudoers/sssd.c
@@ -19,6 +19,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_SSSD
+
 #include <sys/types.h>
 #include <sys/time.h>
 #include <sys/stat.h>
@@ -1463,3 +1465,5 @@ sudo_sss_display_privs(struct sudo_nss *nss, struct passwd *pw,
 
     debug_return_int(count);
 }
+
+#endif /* HAVE_SSSD */

diff --git a/plugins/system_group/Makefile.in b/plugins/system_group/Makefile.in
index 9c5dfecd7a27f621f1ab1a422a32d9ca3b5723a0..4794a8ad1f74216c65d8ce009d80d523401580e0 100644 (file)
--- a/plugins/system_group/Makefile.in
+++ b/plugins/system_group/Makefile.in
@@ -61,6 +61,9 @@ SSP_LDFLAGS = @SSP_LDFLAGS@
 # cppcheck options, usually set in the top-level Makefile
 CPPCHECK_OPTS = -q --force --enable=warning,performance,portability --suppress=constStatement --error-exitcode=1 --inline-suppr -Dva_copy=va_copy -U__cplusplus -UQUAD_MAX -UQUAD_MIN -UUQUAD_MAX -U_POSIX_HOST_NAME_MAX -U_POSIX_PATH_MAX -U__NBBY -DNSIG=64
 
+# splint options, usually set in the top-level Makefile
+SPLINT_OPTS = -D__restrict= -checks
+
 # Where to install things...
 prefix = @prefix@
 exec_prefix = @exec_prefix@
@@ -137,6 +140,9 @@ uninstall:
        -$(LIBTOOL) --mode=uninstall rm -f $(DESTDIR)$(plugindir)/system_group.la
        -rm -f $(DESTDIR)$(plugindir)/system_group.so~
 
+splint:
+       splint $(SPLINT_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
+
 cppcheck:
        cppcheck $(CPPCHECK_OPTS) -I$(incdir) -I$(top_builddir) -I$(top_srcdir) $(srcdir)/*.c
 

diff --git a/src/Makefile.in b/src/Makefile.in
index e5eca3f70d410f69afc44f599c44edbd9eafce82..791993026dccdfc2e380c3ad790d66c967c2819e 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -62,6 +62,9 @@ SSP_LDFLAGS = @SSP_LDFLAGS@
 # cppcheck options, usually set in the top-level Makefile
 CPPCHECK_OPTS = -q --force --enable=warning,performance,portability --suppress=constStatement --error-exitcode=1 --inline-suppr -Dva_copy=va_copy -U__cplusplus -UQUAD_MAX -UQUAD_MIN -UUQUAD_MAX -U_POSIX_HOST_NAME_MAX -U_POSIX_PATH_MAX -U__NBBY -DNSIG=64
 
+# splint options, usually set in the top-level Makefile
+SPLINT_OPTS = -D__restrict= -checks
+
 # Where to install things...
 prefix = @prefix@
 exec_prefix = @exec_prefix@
@@ -194,6 +197,9 @@ uninstall:
        -test -n "$(INIT_SCRIPT)" && \
            rm -f $(DESTDIR)$(RC_LINK) $(DESTDIR)$(INIT_DIR)/sudo
 
+splint:
+       splint $(SPLINT_OPTS) -I$(incdir) -I$(top_builddir) -I. -I$(srcdir) -I$(top_srcdir) $(srcdir)/*.c
+
 cppcheck:
        cppcheck $(CPPCHECK_OPTS) -I$(incdir) -I$(top_builddir) -I. -I$(srcdir) -I$(top_srcdir) $(srcdir)/*.c
 

diff --git a/src/selinux.c b/src/selinux.c
index c459ccfa4b6265ef9be7668ad2f76cdce04fddd0..af3c2b06fbaafde976010022755086c403bf2d33 100644 (file)
--- a/src/selinux.c
+++ b/src/selinux.c
@@ -26,6 +26,8 @@
 
 #include <config.h>
 
+#ifdef HAVE_SELINUX
+
 #include <sys/types.h>
 #include <sys/wait.h>
 #include <stdio.h>
@@ -418,3 +420,5 @@ selinux_execve(const char *path, char *const argv[], char *const envp[],
     errno = serrno;
     debug_return;
 }
+
+#endif /* HAVE_SELINUX */