https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69399
Bug ID: 69399 Summary: [5/6 Regression] wrong code with -O and int128 (due to ccp?) Product: gcc Version: 6.0 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: zsojka at seznam dot cz Target Milestone: --- Host: x86_64-pc-linux-gnu Target: x86_64-*-gnux32, aarch64-*, powerpc64-*, sparc64-* Created attachment 37411 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37411&action=edit reduced testcase Compiler output: $ x86_64-pc-linux-gnux32-gcc -O testcase.c $ ./a.out Aborted $ x86_64-pc-linux-gnux32-gcc -O testcase.c -fno-tree-ccp $ ./a.out $ x86_64-pc-linux-gnux32-gcc -v Using built-in specs. COLLECT_GCC=/repo/gcc-trunk/binary-latest-x32/bin/x86_64-pc-linux-gnux32-gcc COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-232548-checking-yes-rtl-df-nographite-x32/bin/../libexec/gcc/x86_64-pc-linux-gnux32/6.0.0/lto-wrapper Target: x86_64-pc-linux-gnux32 Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++ --enable-checking=yes,rtl,df --without-cloog --without-ppl --without-isl --with-abi=mx32 --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnux32 --with-ld=/usr/bin/x86_64-pc-linux-gnux32-ld --with-as=/usr/bin/x86_64-pc-linux-gnux32-as --with-sysroot=/usr/x86_64-pc-linux-gnux32 --disable-libstdcxx-pch --prefix=/repo/gcc-trunk//binary-trunk-232548-checking-yes-rtl-df-nographite-x32 Thread model: posix gcc version 6.0.0 20160119 (experimental) (GCC) The first broken dump seems to be .ccp1: __attribute__((noclone, noinline)) foo (u64D.1749 uD.1751) { u64D.1749 u_1(D) = uD.1751; u128D.1750 vD.1754; long long unsigned intD.14 _2; ;; basic block 2, loop depth 0, count 0, freq 0, maybe hot ;; prev block 0, next block 1, flags: (NEW, REACHABLE) ;; pred: ENTRY (FALLTHRU,EXECUTABLE) _2 = u_1(D) | 4294967169; v_3 = (u128D.1750) _2; # VUSE <.MEM_6(D)> return 4294967169; ;; succ: EXIT } Tested revisions: trunk r232548 - FAIL (native x86_64-pc-linux-gnu has PASS here) 5-branch r232545 - FAIL 4_[6789]-branch - OK