Remove splint tags.

1 files changed, 1 insertions, 17 deletions

diff --git a/lua/local/lrexlib.c b/lua/local/lrexlib.c
index 851a69043..81931c0a6 100644
--- a/lua/local/lrexlib.c
+++ b/lua/local/lrexlib.c
@@ -11,7 +11,6 @@
 #include "lauxlib.h"
 #include "lrexlib.h"
 
-/*@access regex_t @*/
 
 /* Sanity check */
 #if !defined(WITH_POSIX) && !defined(WITH_PCRE)
@@ -26,7 +25,6 @@
 #include <regex.h>
 
 static int rex_comp(lua_State *L)
-	/*@modifies L @*/
 {
   size_t l;
   const char *pattern;
@@ -51,19 +49,16 @@ static int rex_comp(lua_State *L)
   return 1;
 }
 
-static void rex_getargs(lua_State *L, /*@unused@*/ size_t *len, size_t *ncapt,
+static void rex_getargs(lua_State *L, size_t *len, size_t *ncapt,
                         const char **text, regex_t **pr, regmatch_t **match)
-	/*@modifies L, *ncapt, *text, *pr, *match @*/
 {
   luaL_checkany(L, 1);
   *pr = (regex_t *)lua_touserdata(L, 1);
-/*@-observertrans -dependenttrans @*/
 #ifdef REG_BASIC
   *text = luaL_checklstring(L, 2, len);
 #else
   *text = luaL_checklstring(L, 2, NULL);
 #endif
-/*@=observertrans =dependenttrans @*/
   *ncapt = (*pr)->re_nsub;
   luaL_checkstack(L, *ncapt + 2, "too many captures");
   *match = malloc((*ncapt + 1) * sizeof(regmatch_t));
@@ -71,7 +66,6 @@ static void rex_getargs(lua_State *L, /*@unused@*/ size_t *len, size_t *ncapt,
 
 static void rex_push_matches(lua_State *L, const char *text, regmatch_t *match,
                              size_t ncapt)
-	/*@modifies L @*/
 {
   size_t i;
   lua_newtable(L);
@@ -85,7 +79,6 @@ static void rex_push_matches(lua_State *L, const char *text, regmatch_t *match,
 }
 
 static int rex_match(lua_State *L)
-	/*@modifies L @*/
 {
   int res;
 #ifdef REG_BASIC
@@ -122,7 +115,6 @@ static int rex_match(lua_State *L)
 }
 
 static int rex_gmatch(lua_State *L)
-	/*@modifies L @*/
 {
   int res;
 #ifdef REG_BASIC
@@ -170,7 +162,6 @@ static int rex_gmatch(lua_State *L)
 }
 
 static int rex_gc (lua_State *L)
-	/*@modifies L @*/
 {
   regex_t *r = (regex_t *)luaL_checkudata(L, 1, "regex_t");
   if (r)
@@ -178,15 +169,12 @@ static int rex_gc (lua_State *L)
   return 0;
 }
 
-/*@-readonlytrans@*/
-/*@unchecked@*/
 static const luaL_reg rexmeta[] = {
   {"match",   rex_match},
   {"gmatch",  rex_gmatch},
   {"__gc",    rex_gc},
   {NULL, NULL}
 };
-/*@=readonlytrans@*/
 
 #endif /* WITH_POSIX */
 
@@ -317,8 +305,6 @@ static const luaL_reg pcremeta[] = {
 
 /* Open the library */
 
-/*@-readonlytrans@*/
-/*@unchecked@*/
 static const luaL_reg rexlib[] = {
 #ifdef WITH_POSIX
   {"newPOSIX", rex_comp},
@@ -328,10 +314,8 @@ static const luaL_reg rexlib[] = {
 #endif
   {NULL, NULL}
 };
-/*@=readonlytrans@*/
 
 static void createmeta(lua_State *L, const char *name)
-	/*@modifies L @*/
 {
   luaL_newmetatable(L, name);   /* create new metatable */
   lua_pushliteral(L, "__index");