Remove splint tags.

1 files changed, 14 insertions, 36 deletions

diff --git a/rpmio/argv.h b/rpmio/argv.h
index 7cab8f23d..e944754e0 100644
--- a/rpmio/argv.h
+++ b/rpmio/argv.h
@@ -25,61 +25,49 @@ extern "C" {
  * @param argv		argv array
  * @param fp		output file handle (NULL uses stderr)
  */
-void argvPrint(const char * msg, ARGV_t argv, FILE * fp)
-	/*@globals fileSystem @*/
-	/*@modifies *fp, fileSystem @*/;
+void argvPrint(const char * msg, ARGV_t argv, FILE * fp);
 
 /**
  * Destroy an argi array.
  * @param argi		argi array
  * @return		NULL always
  */
-/*@null@*/
-ARGI_t argiFree(/*@only@*/ /*@null@*/ ARGI_t argi)
-	/*@modifies argi @*/;
+ARGI_t argiFree(ARGI_t argi);
 
 /**
  * Destroy an argv array.
  * @param argv		argv array
  * @return		NULL always
  */
-/*@null@*/
-ARGV_t argvFree(/*@only@*/ /*@null@*/ ARGV_t argv)
-	/*@modifies argv @*/;
+ARGV_t argvFree(ARGV_t argv);
 
 /**
  * Return no. of elements in argi array.
  * @param argi		argi array
  * @return		no. of elements
  */
-int argiCount(/*@null@*/ const ARGI_t argi)
-	/*@*/;
+int argiCount(const ARGI_t argi);
 
 /**
  * Return data from argi array.
  * @param argi		argi array
  * @return		argi array data address
  */
-/*@null@*/
-ARGint_t argiData(/*@null@*/ const ARGI_t argi)
-	/*@*/;
+ARGint_t argiData(const ARGI_t argi);
 
 /**
  * Return no. of elements in argv array.
  * @param argv		argv array
  * @return		no. of elements
  */
-int argvCount(/*@null@*/ const ARGV_t argv)
-	/*@*/;
+int argvCount(const ARGV_t argv);
 
 /**
  * Return data from argv array.
  * @param argv		argv array
  * @return		argv array data address
  */
-/*@null@*/
-ARGV_t argvData(/*@null@*/ const ARGV_t argv)
-	/*@*/;
+ARGV_t argvData(const ARGV_t argv);
 
 /**
  * Compare argv arrays (qsort/bsearch).
@@ -87,10 +75,7 @@ ARGV_t argvData(/*@null@*/ const ARGV_t argv)
  * @param b		2nd instance address
  * @return		result of comparison
  */
-/*@-exportlocal@*/
-int argvCmp(const void * a, const void * b)
-	/*@*/;
-/*@=exportlocal@*/
+int argvCmp(const void * a, const void * b);
 
 /**
  * Sort an argv array.
@@ -98,8 +83,7 @@ int argvCmp(const void * a, const void * b)
  * @param compar	strcmp-like comparison function, or NULL for argvCmp()
  * @return		0 always
  */
-int argvSort(ARGV_t argv, int (*compar)(const void *, const void *))
-	/*@modifies *argv @*/;
+int argvSort(ARGV_t argv, int (*compar)(const void *, const void *));
 
 /**
  * Find an element in an argv array.
@@ -108,10 +92,8 @@ int argvSort(ARGV_t argv, int (*compar)(const void *, const void *))
  * @param compar	strcmp-like comparison function, or NULL for argvCmp()
  * @return		found string (NULL on failure)
  */
-/*@dependent@*/ /*@null@*/
 ARGV_t argvSearch(ARGV_t argv, ARGstr_t val,
-		int (*compar)(const void *, const void *))
-	/*@*/;
+		int (*compar)(const void *, const void *));
 
 /**
  * Add an int to an argi array.
@@ -120,8 +102,7 @@ ARGV_t argvSearch(ARGV_t argv, ARGstr_t val,
  * @param val		int arg to add
  * @return		0 always
  */
-int argiAdd(/*@out@*/ ARGI_t * argip, int ix, int val)
-	/*@modifies *argip @*/;
+int argiAdd(ARGI_t * argip, int ix, int val);
 
 /**
  * Add a string to an argv array.
@@ -129,8 +110,7 @@ int argiAdd(/*@out@*/ ARGI_t * argip, int ix, int val)
  * @param val		string arg to append
  * @return		0 always
  */
-int argvAdd(/*@out@*/ ARGV_t * argvp, ARGstr_t val)
-	/*@modifies *argvp @*/;
+int argvAdd(ARGV_t * argvp, ARGstr_t val);
 
 /**
  * Append one argv array to another.
@@ -138,8 +118,7 @@ int argvAdd(/*@out@*/ ARGV_t * argvp, ARGstr_t val)
  * @param av		argv array to append
  * @return		0 always
  */
-int argvAppend(/*@out@*/ ARGV_t * argvp, const ARGV_t av)
-	/*@modifies *argvp @*/;
+int argvAppend(ARGV_t * argvp, const ARGV_t av);
 
 /**
  * Split a string into an argv array.
@@ -148,8 +127,7 @@ int argvAppend(/*@out@*/ ARGV_t * argvp, const ARGV_t av)
  * @param seps		seperator characters
  * @return		0 always
  */
-int argvSplit(ARGV_t * argvp, const char * str, const char * seps)
-	/*@modifies *argvp @*/;
+int argvSplit(ARGV_t * argvp, const char * str, const char * seps);
 
 #ifdef __cplusplus
 }