Re: [ANN] Lua 5.3.1 (rc2) now available

[Ignacio Burgueño <iburgueno@...>]

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.