assertion must be always valid (not only in debug mode)

This commit is contained in:
Roberto Ierusalimschy 2002-10-25 18:29:20 -03:00
parent 96e15b8501
commit f36038e42a
2 changed files with 3 additions and 3 deletions

3
lmem.c
View File

@ -1,5 +1,5 @@
/*
** $Id: lmem.c,v 1.57 2002/06/18 15:19:27 roberto Exp roberto $
** $Id: lmem.c,v 1.58 2002/10/08 18:45:07 roberto Exp roberto $
** Interface to Memory Manager
** See Copyright Notice in lua.h
*/
@ -61,6 +61,7 @@ void *luaM_growaux (lua_State *L, void *block, int *size, int size_elems,
** generic allocation routine.
*/
void *luaM_realloc (lua_State *L, void *block, lu_mem oldsize, lu_mem size) {
lua_assert((oldsize == 0) == (block == NULL));
if (size == 0) {
if (block != NULL) {
l_free(block, oldsize);

View File

@ -1,5 +1,5 @@
/*
** $Id: ltests.c,v 1.137 2002/10/22 18:07:55 roberto Exp roberto $
** $Id: ltests.c,v 1.138 2002/10/25 20:05:28 roberto Exp roberto $
** Internal Module for Debugging of the Lua Implementation
** See Copyright Notice in lua.h
*/
@ -95,7 +95,6 @@ static void freeblock (void *block) {
void *debug_realloc (void *block, size_t oldsize, size_t size) {
lua_assert((oldsize == 0) == (block == NULL));
lua_assert(oldsize == 0 || oldsize == *blocksize(block));
/* ISO does not specify what realloc(NULL, 0) does */
lua_assert(block != NULL || size > 0);