Re: possible miscompilation on macOS Catalina 10.15.6

2020-10-29 Thread Trevor Spiteri
On 28/10/2020 12:14, Torbjörn Granlund wrote: > Trevor Spiteri writes: > > I maintain Rust language bindings to GMP and got a bug report from a > user on macOS Catalina 10.15.6.  I do not know if this issue is caused > by the particular system setup of the user or if it is more general, so

Re: possible miscompilation on macOS Catalina 10.15.6

2020-10-29 Thread Paul Koning
> On Oct 29, 2020, at 11:17 AM, Niels Möller wrote: > > t...@gmplib.org (Torbjörn Granlund) writes: > >> Trevor Spiteri writes: >> >> This is all the information I got; sorry if it is incomplete. (The >> user's issue was solved by using their already installed homebrew? >> libraries

Re: possible miscompilation on macOS Catalina 10.15.6

2020-10-29 Thread Niels Möller
Paul Koning writes: > There is another possibility: GMP might be doing something undefined, > where previous compilers did "what we want" while some recent new ones > do something different. It isn't miscompilation if the source > statement is undefined. As a general statement, that's hard to

Re: possible miscompilation on macOS Catalina 10.15.6

2020-10-29 Thread Niels Möller
t...@gmplib.org (Torbjörn Granlund) writes: > Trevor Spiteri writes: > > This is all the information I got; sorry if it is incomplete. (The > user's issue was solved by using their already installed homebrew? > libraries instead of compiling GMP anew.) > > OK, so *some* compiler compiled

Re: Make check fails on samsung S8 (2)

2020-10-29 Thread Marc Glisse
On Thu, 29 Oct 2020, Marco Bodrato wrote: Ciao Marc, Il 2020-08-22 19:39 Marc Glisse ha scritto: Ah, on your OS nl_langinfo is defined inline as a static function in langinfo.h, so the hack used in the test of redefining the function cannot work. I guess we are supposed to add some configure

Re: Make check fails on samsung S8 (2)

2020-10-29 Thread Marco Bodrato
Ciao Marc, Il 2020-08-22 19:39 Marc Glisse ha scritto: Ah, on your OS nl_langinfo is defined inline as a static function in langinfo.h, so the hack used in the test of redefining the function cannot work. I guess we are supposed to add some configure check that nl_langinfo can be redefined...