[Pkg-wmaker-commits] [wmbiff] 17/84: cleanup for splint annotations

Doug Torrance dtorrance-guest at moszumanska.debian.org
Thu Aug 20 03:01:48 UTC 2015


This is an automated email from the git hooks/post-receive script.

dtorrance-guest pushed a commit to tag wmbiff_0_4_10
in repository wmbiff.

commit ad6f4d6e78ebe72a0d877bb397d1370dbdb6d934
Author: bluehal <bluehal>
Date:   Sat Jun 8 22:13:48 2002 +0000

    cleanup for splint annotations
---
 wmbiff/Imap4Client.c | 11 +++++++----
 wmbiff/ShellClient.c |  2 +-
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/wmbiff/Imap4Client.c b/wmbiff/Imap4Client.c
index 5e0fb86..5e34a53 100644
--- a/wmbiff/Imap4Client.c
+++ b/wmbiff/Imap4Client.c
@@ -72,7 +72,8 @@ static struct imap_authentication_method {
 
 
 /* recover a socket from the connection cache */
-/*@null@*//*@dependent@ */
+/*@null@*/
+/*@dependent@*/
 static struct connection_state *state_for_pcu(Pop3 pc)
 {
 	char *connection_id;
@@ -114,9 +115,11 @@ static void bind_state_to_pcu(Pop3 pc,
 
 /* remove from the connection cache */
 static
-/*@owned@*//*@null@ */
-struct connection_state *unbind( /*@returned@ */ struct connection_state
-								*scs)
+/*@owned@*/
+/*@null@*/
+struct connection_state *unbind(
+/*@returned@*/ struct connection_state
+								   *scs)
 {
 	int i;
 	struct connection_state *retval = NULL;
diff --git a/wmbiff/ShellClient.c b/wmbiff/ShellClient.c
index bfb6cab..465fb6a 100644
--- a/wmbiff/ShellClient.c
+++ b/wmbiff/ShellClient.c
@@ -81,7 +81,7 @@ static int kind_pclose( /*@only@ */ FILE * F,
 	return (exit_status);
 }
 
-int grabCommandOutput(Pop3 pc, const char *command, /*@out@ */
+int grabCommandOutput(Pop3 pc, const char *command,	/*@out@ */
 					  char **output)
 {
 	FILE *F;

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-wmaker/wmbiff.git



More information about the Pkg-wmaker-commits mailing list