https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88896
Bug ID: 88896
Summary: [8/9 Regression] integer overflow check optimized away
Product: gcc
Version: 8.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: daniel.f.starke at freenet dot de
Target Milestone: ---
Created attachment 45451
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45451&action=edit
test case and asm output
Using built-in specs.
COLLECT_GCC=E:\msys\mingw64-64\bin\gcc.exe
COLLECT_LTO_WRAPPER=e:/msys/mingw64-64/bin/../libexec/gcc/x86_64-w64-mingw32/8.2.0/lto-wrapper.exe
Target: x86_64-w64-mingw32
Configured with: ../../src/gcc-8.2.0/configure --host=x86_64-w64-mingw32
--enable-languages=c,c++ --enable-seh-exceptions --enable-threads=posix
--disable-nls --disable-shared --enable-static --enable-fully-dynamic-string
--enable-lto --enable-plugins --enable-libgomp --with-dwarf2
--enable-mingw-wildcard=platform --disable-win32-registry
--enable-version-specific-runtime-libs --prefix=/mingw64-64
--with-sysroot=/mingw64-64 --target=x86_64-w64-mingw32 --enable-targets=all
--enable-checking=release --with-gmp=/usr/new-gcc/lib/gmp-5.0.5
--with-mpfr=/usr/new-gcc/lib/mpfr-2.4.2 --with-mpc=/usr/new-gcc/lib/mpc-0.9
--with-isl=/usr/new-gcc/lib/isl-0.18 --with-cloog=/usr/new-gcc/lib/cloog-0.18.4
--with-host-libstdcxx='-lstdc++ -lsupc++' --disable-cloog-version-check
--enable-cloog-backend=isl
Thread model: posix
gcc version 8.2.0 (GCC)
Using GCC 8.2.0 instead of 7.3.0 produces with -O2 code with an integer
overflow check optimized away. Compare the attached output for test.c:81 in
7.3.0.S and 8.2.0.S. While 7.3.0.S still contains a comparison and conditional
jump, 8.2.0.S does not.