diff --git a/programs/util.c b/programs/util.c index bb511bd5d..3c541c550 100644 --- a/programs/util.c +++ b/programs/util.c @@ -372,7 +372,7 @@ FileNamesTable* UTIL_allocateFileNamesTable(size_t tableSize) void UTIL_refFilename(FileNamesTable* fnt, const char* filename) { - if (fnt->tableCapacity <= fnt->tableSize) abort(); + assert(fnt->tableSize < fnt->tableCapacity); fnt->fileNames[fnt->tableSize] = filename; fnt->tableSize++; } diff --git a/programs/util.h b/programs/util.h index 0065ec46f..42978b958 100644 --- a/programs/util.h +++ b/programs/util.h @@ -221,11 +221,10 @@ FileNamesTable* UTIL_allocateFileNamesTable(size_t tableSize); /*! UTIL_refFilename() : - * Add a read-only name to reference into @fnt table. - * Since @filename is only referenced, its lifetime must outlive @fnt. - * This function never fails, but it can abort(). - * Internal table must be large enough to reference a new member - * (capacity > size), otherwise the function will abort(). + * Add a reference to read-only name into @fnt table. + * As @filename is only referenced, its lifetime must outlive @fnt. + * Internal table must be large enough to reference a new member, + * otherwise its UB (protected by an `assert()`). */ void UTIL_refFilename(FileNamesTable* fnt, const char* filename);