lib/: run_command(): Use ATTR_ACCESS() instead of /*@out@*/

Link: <https://splint.org/manual/manual.html#undefined>
Cc: Serge Hallyn <serge@hallyn.com>
Signed-off-by: Alejandro Colomar <alx@kernel.org>

diff --git a/lib/prototypes.h b/lib/prototypes.h
index 3856d7f8ff8e5ed92c2a31023bd422936ee47c83..61a9db5e167658540f7815bd4e2882eeac470e13 100644 (file)
--- a/lib/prototypes.h
+++ b/lib/prototypes.h
@@ -433,8 +433,9 @@ extern void spw_free (/*@out@*/ /*@only@*/struct spwd *spent);
 extern int shell (const char *file, /*@null@*/const char *arg, char *const envp[]);
 
 /* spawn.c */
-extern int run_command (const char *cmd, const char *argv[],
-                        /*@null@*/const char *envp[], /*@out@*/int *status);
+ATTR_ACCESS(write_only, 4)
+extern int run_command(const char *cmd, const char *argv[],
+                       /*@null@*/const char *envp[], int *status);
 
 /* strtoday.c */
 extern long strtoday (const char *);

diff --git a/lib/spawn.c b/lib/spawn.c
index ce1a97db0b585b877b63c7d5de2dbf5f03eb4d85..2f930ca0a84aa7732b4bc6134897b6614c8b51ca 100644 (file)
--- a/lib/spawn.c
+++ b/lib/spawn.c
@@ -17,8 +17,9 @@
 
 #include "shadowlog_internal.h"
 
-int run_command (const char *cmd, const char *argv[],
-                 /*@null@*/const char *envp[], /*@out@*/int *status)
+int
+run_command(const char *cmd, const char *argv[],
+            /*@null@*/const char *envp[], int *status)
 {
        pid_t pid, wpid;