diff options
| author | jbj <devnull@localhost> | 2004-03-23 05:09:13 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2004-03-23 05:09:13 +0000 |
| commit | 7b5c3b42c9b847badc5c6f66f054ee536ce82edd (patch) | |
| tree | e43fbc2496a3485768e5e45fe15f068a456e9a81 /lua/lstring.c | |
| parent | 9ecefd3901e8d3dc5652247bb4ab02f73a949fb7 (diff) | |
| download | rpm-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.tar.gz rpm-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.tar.bz2 rpm-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.zip | |
Splint annotations.
CVS patchset: 7182
CVS date: 2004/03/23 05:09:13
Diffstat (limited to 'lua/lstring.c')
| -rw-r--r-- | lua/lstring.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lua/lstring.c b/lua/lstring.c index 8f194ec8a..3ef0c9c10 100644 --- a/lua/lstring.c +++ b/lua/lstring.c @@ -1,5 +1,5 @@ /* -** $Id: lstring.c,v 1.1 2004/03/16 21:58:30 niemeyer Exp $ +** $Id: lstring.c,v 1.2 2004/03/23 05:09:14 jbj Exp $ ** String table (keeps all strings handled by Lua) ** See Copyright Notice in lua.h */ @@ -48,7 +48,10 @@ void luaS_resize (lua_State *L, int newsize) { } -static TString *newlstr (lua_State *L, const char *str, size_t l, lu_hash h) { +/*@null@*/ +static TString *newlstr (lua_State *L, const char *str, size_t l, lu_hash h) + /*@modifies L @*/ +{ TString *ts = cast(TString *, luaM_malloc(L, sizestring(l))); stringtable *tb; ts->tsv.len = l; |