OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

PR tree-optimization/86571 - AIX NaNQ and NaNS output format conflicts with __builtin_sprintf

Browse Source 
gcc/ChangeLog:

	PR tree-optimization/86571
	* gimple-ssa-sprintf.c (format_floating): Extend upper bound of
	NaN output to 4.

From-SVN: r263312
This commit is contained in:
Martin Sebor 2018-08-04 22:14:41 +00:00 committed by Martin Sebor
parent 3d3e5ba262
commit bd1f3566b1
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2018-08-04 Martin Sebor <msebor@redhat.com>
PR tree-optimization/86571
* gimple-ssa-sprintf.c (format_floating): Extend upper bound of
NaN output to 4.
2018-08-03 Sandra Loosemore <sandra@codesourcery.com>
* config/nios2/nios2.c (TARGET_HAVE_SPECULATION_SAFE_VALUE):

11
gcc/gimple-ssa-sprintf.c
View File

@ -2014,8 +2014,15 @@ format_floating (const directive &dir, tree arg, vr_values *)
res.range.likely = res.range.min;
res.range.max = res.range.min;
/* The inlikely maximum is "[-/+]infinity" or "[-/+]nan". */
res.range.unlikely = sign + (real_isinf (rvp) ? 8 : 3);
/* The unlikely maximum is "[-/+]infinity" or "[-/+][qs]nan".
For NaN, the C/POSIX standards specify two formats:
"[-/+]nan"
and
"[-/+]nan(n-char-sequence)"
No known printf implementation outputs the latter format but AIX
outputs QNaN and SNaN for quiet and signalling NaN, respectively,
so the unlikely maximum reflects that. */
res.range.unlikely = sign + (real_isinf (rvp) ? 8 : 4);
/* The range for infinity and NaN is known unless either width
or precision is unknown. Width has the same effect regardless