lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]



On Tue, Jun 16, 2015 at 12:54 PM, Rena <hyperhacker@gmail.com> wrote:

Does Infer understand `__attribute__((returns_nonnull))` ? (I think
it's a gcc extension, but it could be hidden behind a macro that only
expands to that on gcc.)



It seems not. Couldn't find anything in the docs or in the source.
Changed the declaration of luaM_realloc_ to this:

LUAI_FUNC void *luaM_realloc_ (lua_State *L, void *block, size_t oldsize,
                                                          size_t size) __attribute__((returns_nonnull));

And tested again, to no avail.