[Bug c/112367] wrong rounding of sum of floating-point constants

2023-11-03 Thread amonakov at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112367

Alexander Monakov  changed:

   What|Removed |Added

 CC||amonakov at gcc dot gnu.org

--- Comment #5 from Alexander Monakov  ---
As far as I can tell this was broken for all targets before gcc-12, and fixed
for all targets starting from gcc-12.

Paul, can this bug be closed?

[Bug c/112367] wrong rounding of sum of floating-point constants

2023-11-03 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112367

--- Comment #4 from Sam James  ---
$ gcc /tmp/foo.c -lm -frounding-math -o /tmp/foo

$ /tmp/foo
x=0x1.e90028p+4

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/aarch64-unknown-linux-gnu/13/lto-wrapper
Target: aarch64-unknown-linux-gnu
Configured with:
/var/tmp/portage/sys-devel/gcc-13.2.1_p20230826/work/gcc-13-20230826/configure
--host=aarch64-unknown-linux-gnu --build=aarch64-unknown-linux-gnu
--prefix=/usr --bindir=/usr/aarch64-unknown-linux-gnu/gcc-bin/13
--includedir=/usr/lib/gcc/aarch64-unknown-linux-gnu/13/include
--datadir=/usr/share/gcc-data/aarch64-unknown-linux-gnu/13
--mandir=/usr/share/gcc-data/aarch64-unknown-linux-gnu/13/man
--infodir=/usr/share/gcc-data/aarch64-unknown-linux-gnu/13/info
--with-gxx-include-dir=/usr/lib/gcc/aarch64-unknown-linux-gnu/13/include/g++-v13
--disable-silent-rules --disable-dependency-tracking
--with-python-dir=/share/gcc-data/aarch64-unknown-linux-gnu/13/python
--enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt
--disable-werror --with-system-zlib --enable-nls --without-included-gettext
--disable-libunwind-exceptions --enable-checking=release
--with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened
13.2.1_p20230826 p7' --with-gcc-major-version-only --enable-libstdcxx-time
--enable-lto --disable-libstdcxx-pch --enable-shared --enable-threads=posix
--enable-__cxa_atexit --enable-clocale=gnu --disable-multilib
--disable-fixed-point --enable-libgomp --disable-libssp --disable-libada
--disable-cet --disable-systemtap --disable-valgrind-annotations
--disable-vtable-verify --disable-libvtv --without-zstd --without-isl
--enable-default-pie --enable-default-ssp --with-build-config=bootstrap-lto
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.2.1 20230826 (Gentoo Hardened 13.2.1_p20230826 p7)

[Bug c/112367] wrong rounding of sum of floating-point constants

2023-11-03 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112367

--- Comment #3 from Sam James  ---
(In reply to Paul Zimmermann from comment #2)
> > Build a newer one on cfarm117?
> 
> it would be a waste of time, I guess people having access to an ARM machine
> with a recent version of gcc can confirm or say the issue is fixed.
> 

I don't think it's a waste of time, as you're often IIRC working on these
tests, so it would be useful to know. But I digress.

I also offer you access to an arm64 machine if you wish to have it.

> > Also, what CHOST?
> 
> sorry I'm not sure to understand. Here is the full gcc -v output:
> 

CHOST tells us ABI so I know what machine to check (also needed in general for
the report). I suppose I really wanted CTARGET.


> Using built-in specs.
> COLLECT_GCC=gcc
> COLLECT_LTO_WRAPPER=/usr/lib/gcc/aarch64-linux-gnu/6/lto-wrapper
> Target: aarch64-linux-gnu

This is what I needed. Thanks.

[Bug c/112367] wrong rounding of sum of floating-point constants

2023-11-03 Thread zimmerma+gcc at loria dot fr via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112367

--- Comment #2 from Paul Zimmermann  ---
> Build a newer one on cfarm117?

it would be a waste of time, I guess people having access to an ARM machine
with a recent version of gcc can confirm or say the issue is fixed.

> Also, what CHOST?

sorry I'm not sure to understand. Here is the full gcc -v output:

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/aarch64-linux-gnu/6/lto-wrapper
Target: aarch64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 6.3.0-18+deb9u1'
--with-bugurl=file:///usr/share/doc/gcc-6/README.Bugs
--enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-6 --program-prefix=aarch64-linux-gnu- --enable-shared
--enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/
--enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=new --enable-gnu-unique-object
--disable-libquadmath --enable-plugin --enable-default-pie --with-system-zlib
--disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-6-arm64/jre --enable-java-home
--with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-6-arm64
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-6-arm64
--with-arch-directory=aarch64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-multiarch --enable-fix-cortex-a53-843419 --enable-checking=release
--build=aarch64-linux-gnu --host=aarch64-linux-gnu --target=aarch64-linux-gnu
Thread model: posix
gcc version 6.3.0 20170516 (Debian 6.3.0-18+deb9u1)

[Bug c/112367] wrong rounding of sum of floating-point constants

2023-11-03 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112367

Sam James  changed:

   What|Removed |Added

 CC||sjames at gcc dot gnu.org

--- Comment #1 from Sam James  ---
Build a newer one on cfarm117?

Also, what CHOST?