[ANN] Lua 5.3.1 (rc2) now available

classic Classic list List threaded Threaded
9 messages Options
Reply | Threaded
Open this post in threaded view
|

[ANN] Lua 5.3.1 (rc2) now available

Luiz Henrique de Figueiredo
Lua 5.3.1 (rc2) is now available for testing at
        http://www.lua.org/work/

The tarball is at
        http://www.lua.org/work/lua-5.3.1-rc2.tar.gz

MD5 797adacada8d85761c079390ff1d9961  -
SHA1 1676c6a041d90b6982db8cef1e5fb26000ab6dee  -

Lua 5.3.1 fixes all bugs listed in http://www.lua.org/bugs.html#5.3.0 .

Like all minor releases, this is strictly a bug-fix release;
no new features or improvements have been added.

The complete diffs from rc1 are available at
        http://www.lua.org/work/diffs-lua-5.3.1-rc1-rc2.txt
        http://www.lua.org/work/diffs-lua-5.3.1-rc1-rc2.html

The diffs are also available in unified format:
        http://www.lua.org/work/diffu-lua-5.3.1-rc1-rc2.txt
        http://www.lua.org/work/diffu-lua-5.3.1-rc1-rc2.html

We thank everyone for their feedback on Lua 5.3 till now.

All feedback welcome. Thanks.
--lhf

Reply | Threaded
Open this post in threaded view
|

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

Ignacio Burgueño-2
I think there is no easy way to address the "make clean" issue that was posted here:

Or is it?

Regards,
Ignacio
Reply | Threaded
Open this post in threaded view
|

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

Luiz Henrique de Figueiredo
In reply to this post by Luiz Henrique de Figueiredo
Lua 5.3.1 (rc2) is going to be frozen in two days if no glitches are reported.
(See http://www.lua.org/work/ for a copy.)

We thank everyone for their feedback on Lua 5.3 till now.

All feedback welcome. Thanks.
--lhf

Reply | Threaded
Open this post in threaded view
|

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

Dirk Laurie-2
The glitches that bothered me have been fixed. In particular,
the usage of "numeric" vs "numerical" is appropriate.

2015-06-15 17:55 GMT+02:00 Luiz Henrique de Figueiredo <[hidden email]>:
> Lua 5.3.1 (rc2) is going to be frozen in two days if no glitches are reported.
> (See http://www.lua.org/work/ for a copy.)
>
> We thank everyone for their feedback on Lua 5.3 till now.
>
> All feedback welcome. Thanks.
> --lhf
>

Reply | Threaded
Open this post in threaded view
|

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

Ignacio Burgueño-2
FWIW, I tried Facebook's infer [1] with Lua 5.1.3 rc2 and found nothing (besides some false positives)

infer -- make linux

Got the following result:

~~~~
Starting analysis (Infer version v0.1.0)
Analysis finished in 38.227430s

35 files analyzed


src/lfunc.c:49: error: NULL_DEREFERENCE
   pointer uv last assigned on line 48 could be null and is dereferenced at line 49, column 5

src/lgc.c:206: error: NULL_DEREFERENCE
   pointer o last assigned on line 205 could be null and is dereferenced at line 206, column 3

src/lstate.c:108: error: NULL_DEREFERENCE
   pointer ci last assigned on line 105 could be null and is dereferenced at line 108, column 3

src/lstate.c:254: error: NULL_DEREFERENCE
   pointer L1 last assigned on line 253 could be null and is dereferenced at line 254, column 3
~~~~

They are all false positives because Infer does not know that luaM_realloc_ can't return NULL. (A model of that function can be added, but it implies rebuilding Infer, and I'm lazy).


Regards,
Ignacio
Reply | Threaded
Open this post in threaded view
|

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

Ignacio Burgueño-2

On Tue, Jun 16, 2015 at 11:55 AM, Ignacio Burgueño <[hidden email]> wrote:
FWIW, I tried Facebook's infer [1] with Lua 5.1.3 rc2 and found nothing (besides some false positives)

Forgot the link to Infer:



Reply | Threaded
Open this post in threaded view
|

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

Roberto Ierusalimschy
In reply to this post by Ignacio Burgueño-2
> FWIW, I tried Facebook's infer [1] with Lua 5.1.3 rc2 and found nothing
> (besides some false positives)

Great. Thanks for the feedback. (I am assuming that the "5.1.3" above
is still the "5.3.1" from the subject ;)

-- Roberto

Reply | Threaded
Open this post in threaded view
|

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

Rena
In reply to this post by Ignacio Burgueño-2
On Tue, Jun 16, 2015 at 10:55 AM, Ignacio Burgueño <[hidden email]> wrote:

> FWIW, I tried Facebook's infer [1] with Lua 5.1.3 rc2 and found nothing
> (besides some false positives)
>
> infer -- make linux
>
> Got the following result:
>
> ~~~~
> Starting analysis (Infer version v0.1.0)
> Analysis finished in 38.227430s
>
> 35 files analyzed
>
>
> src/lfunc.c:49: error: NULL_DEREFERENCE
>    pointer uv last assigned on line 48 could be null and is dereferenced at
> line 49, column 5
>
> src/lgc.c:206: error: NULL_DEREFERENCE
>    pointer o last assigned on line 205 could be null and is dereferenced at
> line 206, column 3
>
> src/lstate.c:108: error: NULL_DEREFERENCE
>    pointer ci last assigned on line 105 could be null and is dereferenced at
> line 108, column 3
>
> src/lstate.c:254: error: NULL_DEREFERENCE
>    pointer L1 last assigned on line 253 could be null and is dereferenced at
> line 254, column 3
> ~~~~
>
> They are all false positives because Infer does not know that luaM_realloc_
> can't return NULL. (A model of that function can be added, but it implies
> rebuilding Infer, and I'm lazy).
>
>
> Regards,
> Ignacio

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.)
--
Sent from my Game Boy.

Reply | Threaded
Open this post in threaded view
|

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

Ignacio Burgueño-2

On Tue, Jun 16, 2015 at 12:54 PM, Rena <[hidden email]> 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.