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/lobject.c | |
| parent | 9ecefd3901e8d3dc5652247bb4ab02f73a949fb7 (diff) | |
| download | librpm-tizen-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.tar.gz librpm-tizen-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.tar.bz2 librpm-tizen-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.zip | |
Splint annotations.
CVS patchset: 7182
CVS date: 2004/03/23 05:09:13
Diffstat (limited to 'lua/lobject.c')
| -rw-r--r-- | lua/lobject.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lua/lobject.c b/lua/lobject.c index dabc6db91..dd088de71 100644 --- a/lua/lobject.c +++ b/lua/lobject.c @@ -1,5 +1,5 @@ /* -** $Id: lobject.c,v 1.1 2004/03/16 21:58:30 niemeyer Exp $ +** $Id: lobject.c,v 1.2 2004/03/23 05:09:14 jbj Exp $ ** Some generic functions over Lua objects ** See Copyright Notice in lua.h */ @@ -101,7 +101,9 @@ int luaO_str2d (const char *s, lua_Number *result) { -static void pushstr (lua_State *L, const char *str) { +static void pushstr (lua_State *L, const char *str) + /*@modifies L @*/ +{ setsvalue2s(L->top, luaS_new(L, str)); incr_top(L); } |