Re: printf/repl-vsnprintf.c bug (was: GMP|MPIR|MPFR assertions)

[sisyphus1]

-Original Message- 
From: Vincent Lefevre

Sent: Friday, January 19, 2018 1:07 AM
To: sisyph...@optusnet.com.au ; paul zimmermann ; sav...@ukr.net ; 
gmp-bugs@gmplib.org

Subject: Re: printf/repl-vsnprintf.c bug (was: GMP|MPIR|MPFR assertions)


printf/repl-vsnprintf.c seems buggy for floating-point specifiers
(EeGgFf). Replace "break" by "goto next" (2 occurrences)?


Proposed patch attached. Not tested.


Patch tests fine for me.

Cheers,
Rob


___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

Re: printf/repl-vsnprintf.c bug (was: GMP|MPIR|MPFR assertions)

[paul zimmermann]

it should be noted that this bug was not found by GMP's "make check"
(to my best knowledge), but only by MPFR's test suite.

Before fixing the bug, it would be nice to fix the GMP test suite.

Paul

___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

printf/repl-vsnprintf.c bug (was: GMP|MPIR|MPFR assertions)

[Vincent Lefevre]

[Cc to gmp-bugs]

On 2018-01-18 23:14:12 +1100, sisyph...@optusnet.com.au wrote:
> Just had a reply on the mingw64 mailing list.
> Apparently, the test programs are not crashing - abort() is being called
> following an assertion failure.
> And this calls for a "break abort" prior to "run" being called.
> 
> See attached backtrace for tfprintf.exe. (I could supply equivalent for the
> other 2 failing test programs - but I think they're essentially the same.)

printf/repl-vsnprintf.c seems buggy for floating-point specifiers
(EeGgFf). Replace "break" by "goto next" (2 occurrences)?

-- 
Vincent Lefèvre  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs