Bug#430272: Maybe a false positive

2007-06-26 Thread Enrico Tassi
On Mon, Jun 25, 2007 at 08:03:26PM -0400, John Belmonte wrote: > Lua does not use long double. I think LUAI_USER_ALIGNMENT_T affects > memory allocated for userdata (i.e. alignment of pointer returned by > lua_newuserdata). If userdata is going to be a struct which includes a > long double, updat

Bug#430272: Maybe a false positive

2007-06-25 Thread John Belmonte
Enrico Tassi wrote: > 1) Do plain lua (with no LUA_NUMBER redefinition) use long double? >For sure not in the interface, didn't check the internals but I guess >no. > > 2) Do these archs need long double (128 bit) to be "aligned"? >If they need alignement of 16 bytes, and lua uses long

Bug#430272: Maybe a false positive

2007-06-25 Thread Enrico Tassi
On Sun, Jun 24, 2007 at 12:25:06PM -0400, John Belmonte wrote: > Enrico Tassi wrote: > > There is not API using long double, but there is some interesting > > message in the header file (the configuration one). > > > > You probably know more than me about alignment in these archs... > > > > /*

Bug#430272: Maybe a false positive

2007-06-25 Thread John Belmonte
Enrico Tassi wrote: > There is not API using long double, but there is some interesting > message in the header file (the configuration one). > > You probably know more than me about alignment in these archs... > > /* > @@ LUAI_USER_ALIGNMENT_T is a type that requires maximum alignment. > *

Bug#430272: Maybe a false positive

2007-06-23 Thread Enrico Tassi
Package: liblua5.1-0-dev Version: 5.1.2-1 --- Please enter the report below this line. --- There is not API using long double, but there is some interesting message in the header file (the configuration one). You probably know more than me about alignment in these archs... /* @@ LUAI_USER_AL