Fabian Homborg 0bde698f81 printf: Don't die on incomplete conversions
POSIX dictates here that incomplete conversions, like in

    printf %d\n 15.2

or

    printf %d 14g

are still printed along with any error.

This seems alright, as it allows users to silence stderr to accept incomplete conversions.

This commit implements it, but what's a bit weird is the ordering between stdout and stderr,
causing the error to be printed _after_, like

    15
    14
    15.1: value not completely converted
    14,2: value not completely converted

but that seems like a general issue with how we buffer the streams.

(I know that nonfatal_error is a copy of most of fatal_error - I tried
differently, and va_* is weird)

Fixes #5532.
2019-03-17 17:00:55 +01:00
..
2018-09-30 16:54:56 +02:00
2019-02-07 12:19:36 +01:00
2019-02-07 12:19:36 +01:00
2018-09-30 16:54:56 +02:00
2018-09-30 16:54:56 +02:00
2019-01-22 13:34:04 -08:00
2019-02-18 13:20:40 -08:00
2018-11-28 06:27:21 -08:00
2016-12-19 17:44:54 -08:00
2018-11-13 21:54:41 +08:00
2018-04-01 13:48:21 -07:00
2018-12-11 18:23:37 +01:00
2014-09-21 21:03:44 -07:00
2014-09-21 21:03:44 -07:00
2017-07-16 15:13:39 -07:00
2014-12-23 15:46:47 -08:00
2017-07-25 12:44:26 -07:00
2017-06-16 21:01:56 -07:00
2018-04-01 13:48:21 -07:00
2018-03-04 15:33:36 -06:00
2017-01-31 22:10:53 -08:00
2017-01-31 22:10:53 -08:00
2018-12-01 13:25:00 -08:00
2019-02-13 12:54:58 +01:00
2019-02-13 12:54:58 +01:00
2019-02-24 21:46:52 -08:00
2019-02-24 21:46:52 -08:00
2019-02-24 21:46:52 -08:00
2019-02-24 21:46:52 -08:00
2019-02-24 21:46:52 -08:00
2019-02-24 21:46:52 -08:00
2016-12-20 16:46:33 -08:00
2019-01-01 14:52:26 +01:00
2018-11-18 22:33:02 +01:00
2018-11-18 22:33:02 +01:00
2018-11-18 22:33:02 +01:00
2017-04-05 15:31:13 -07:00
2017-04-05 15:31:13 -07:00
2017-04-05 15:31:13 -07:00
2019-02-23 11:57:19 -08:00
2019-02-23 13:02:07 -08:00
2019-02-23 13:02:07 -08:00
2018-11-15 12:00:56 -06:00
2019-02-26 20:03:40 +01:00
2019-02-26 20:03:40 +01:00
2018-11-28 06:27:21 -08:00
2018-03-31 16:54:50 -07:00
2016-11-17 14:53:50 -08:00
2018-04-01 13:48:21 -07:00
2014-07-13 19:11:29 -07:00
2019-01-01 14:52:26 +01:00
2019-02-12 20:34:19 +01:00
2019-02-12 20:34:19 +01:00
2019-02-12 20:34:19 +01:00
2018-11-28 06:27:21 -08:00
2017-07-25 12:44:26 -07:00
2018-09-03 14:13:31 -07:00
2017-03-28 16:28:24 -07:00
2017-03-28 16:28:24 -07:00
2017-03-28 16:28:24 -07:00
2018-11-28 06:27:21 -08:00
2019-02-10 14:45:03 -08:00
2018-12-31 19:36:08 -06:00
2017-11-16 10:48:21 -08:00
2017-11-16 10:48:21 -08:00
2018-11-28 06:27:21 -08:00