[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