Created attachment 45591 [details] Preprocessed code of file named "work4_crash.c" $ gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/6/lto-wrapper Target: x86_64-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=x86_64-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-vtable-verify --enable-libmpx --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-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-6-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-6-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --with-target-system-zlib --enable-objc-gc=auto --enable-multiarch --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 6.3.0 20170516 (Debian 6.3.0-18+deb9u1) ----------------------------------------------------------------------------- COMMAND USED FOR COMPILATION gcc -O1 work4_crash.c -w work4_crash.c: In function ‘func_6’: work4_crash.c:754:1: internal compiler error: in assign_stack_local_1, at function.c:409 } ^ Please submit a full bug report, with preprocessed source if appropriate. See <file:///usr/share/doc/gcc-6/README.Bugs> for instructions. ----------------------------------------------------------------------------- REDUCED FILE USING CREDUCE #include "csmith.h" a, b, d, e; __int128 c; f[][1][1]; g(h, i) { int32_t j; int32_t k[5]; for (;;) for (; a;) { for (j = 4; j; j--) if (!h < safe_mul_func_int8_t_s_s( safe_mod_func_uint16_t_u_u(safe_sub_func_int16_t_s_s(k, j), 51), 7)) { uint32_t l[] = {l}; f[0][0][j] = k[j]; if (i) d = 0; } c = 0; for (; c >= 0; c--) { int16_t *m; *m = safe_lshift_func_int8_t_s_s(g != 6026818794, e); } b = 0; }
GCC 6.x is not supported anymore, so it makes no sense to file bugs against it. Can't reproduce this with GCC 7 or current trunk, vanilla GCC 6.x doesn't compile this as _Float128 support isn't there. Also, not really sure how you are using creduce, but having #include files in creduced testcases is undesirable.
my bet the problem is related to f being an incomplete type.
If you reproduce this error with a supported release please provide an updated test case/translation unit and command line option used to trigger it.
Can't reproduce it on a stock GCC 6.3.0. In fact a stock GCC 6.3.0 rejects the code: /usr/include/x86_64-linux-gnu/bits/mathcalls-helper-functions.h:21:30: error: unknown type name '_Float128'