[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #29 from CVS Commits --- The master branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:16ec267063c8ce60769888d4097bcd158410adc8 commit r13-3291-g16ec267063c8ce60769888d4097bcd158410adc8 Author: Jakub Jelinek Date: F

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #28 from Joseph S. Myers --- Author: jsm28 Date: Fri Sep 28 15:45:51 2018 New Revision: 264696 URL: https://gcc.gnu.org/viewcvs?rev=264696&root=gcc&view=rev Log: Fix gcc.dg/torture/fp-int-convert.h for excess precision after PR c/873

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #27 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #26) > The general explanation of the choices made in the cases where C99 was > less than optimally clear is in >

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #26 from joseph at codesourcery dot com --- On Thu, 27 Sep 2018, vincent-gcc at vinc17 dot net wrote: > > The interpretation of C99 rules for excess precision used in GCC has been > > explained at length from 2008 onwards. > > Could

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #25 from Vincent Lefèvre --- (In reply to Joseph S. Myers from comment #24) > You note that "values subject to the usual arithmetic conversions can either > be floating-point values or integer values". Only in the floating-point > ca

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 Joseph S. Myers changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #23 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #22) > 6.3.1.8 specifies *types*. It only gives some partial information about > *evaluation formats*, which is essentially a consequence of information

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #22 from joseph at codesourcery dot com --- 6.3.1.8 specifies *types*. It only gives some partial information about *evaluation formats*, which is essentially a consequence of information elsewhere (it states the possibility of wid

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #21 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #20) > I think the statement in 6.3.1.8 is only observing a consequence of > specifications elsewhere, No, 6.3.1.8 gives a specification about the choice

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #20 from joseph at codesourcery dot com --- I think the statement in 6.3.1.8 is only observing a consequence of specifications elsewhere, and stating that this excess range and precision does not affect semantic types; it does not,

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #19 from joseph at codesourcery dot com --- On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > 6.3.1.5p2 is only about explicit conversions and function calls (otherwise, > types are not demoted magically). But in my example

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #18 from Vincent Lefèvre --- Anyway, I recall that the behavior related to extra precision and range is described by 6.3.1.8. Thus I really don't see why 6.3.1.4 and 6.3.1.5 would come into play here (except in case of explicit conver

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #17 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #16) > On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > > which distinction? > > The one you made above, between values that can be represented

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #16 from joseph at codesourcery dot com --- On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 > > --- Comment #14 from Vincent Lefèvre --- > (In reply to jos...@codesourc

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #15 from Vincent Lefèvre --- Note also that 6.3.1.5p2 occurs in case of explicit conversions or function calls, not in typical floating-point expressions, in which types can be promoted, but never demoted. So, I don't see really what

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #14 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #13) > On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > > > But there are no differences with 6.3.1.4 (when converting to a floating > > type)

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #13 from joseph at codesourcery dot com --- On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > But there are no differences with 6.3.1.4 (when converting to a floating > type): > in both cases, either the value can be repre

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 Vincent Lefèvre changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|FIXED

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 Joseph S. Myers changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #10 from Joseph S. Myers --- Author: jsm28 Date: Wed Sep 26 21:14:16 2018 New Revision: 264656 URL: https://gcc.gnu.org/viewcvs?rev=264656&root=gcc&view=rev Log: Support excess precision for integer / floating-point comparisons (PR c

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #9 from joseph at codesourcery dot com --- On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 > > --- Comment #8 from Vincent Lefèvre --- > (In reply to jos...@codesourcer

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #8 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #7) > It's the "If the value being converted is in the range of values that can > be represented but cannot be represented exactly" bit I'm concerned with,

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #7 from joseph at codesourcery dot com --- On Wed, 26 Sep 2018, vincent-gcc at vinc17 dot net wrote: > > It's 6.3.1.4 for conversions between real floating and integer types that, > > in C99 but not C11, I think requires the resulti

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #6 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #5) > It's 6.3.1.4 for conversions between real floating and integer types that, > in C99 but not C11, I think requires the resulting value to be > repres

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #5 from joseph at codesourcery dot com --- It's 6.3.1.4 for conversions between real floating and integer types that, in C99 but not C11, I think requires the resulting value to be representable in the resulting real floating type.

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #4 from Vincent Lefèvre --- (In reply to jos...@codesourcery.com from comment #3) > I believe this is correct for C99 (see the discussions in bug 82071): [...] Bug 82071 has no discussions. The main reference is N1531, which one can

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 --- Comment #3 from joseph at codesourcery dot com --- I believe this is correct for C99 (see the discussions in bug 82071): my reading of C99 is that conversions of integers to floating point, both explicit and implicit, produce results that c

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 Eric Gallager changed: What|Removed |Added CC||egallager at gcc dot gnu.org --- Comment

[Bug c/87390] [x86 32bit only] GCC does not honor FLT_EVAL_METHOD on implicit conversion of integer to floating point

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390 Andrew Pinski changed: What|Removed |Added Keywords||wrong-code Target|