[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-27 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-16 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #22 from CVS Commits --- The master branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:866555b170016c49beb869a78cbecdeb07c63135 commit r13-6083-g866555b170016c49beb869a78cbecdeb07c63135 Author: Jakub Jelinek Date:

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 Jakub Jelinek changed: What|Removed |Added Priority|P3 |P1 Keywords|needs-reduction

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #21 from Jakub Jelinek --- Created attachment 54472 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54472=edit gcc13-pr108657.patch Untested fix. This one fixes the DSE bug which caused the .DEFERRED_INIT calls not to be

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #20 from Jakub Jelinek --- Looking at the r13-1778 change, perhaps it wasn't intended that it changed behavior for all internal functions that return non-SSA_NAME result. --- gcc/tree-ssa-dse.cc.jj 2023-01-11 10:29:08.651161134

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #19 from Jakub Jelinek --- With the deferred stuff (why don't we DCE it for variables which are otherwise not used?), all looks fine until fre5. In fre4 we have k ={v} {CLOBBER(eol)}; c = -1; c = 1; foo (); return 0; at

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #18 from Andrew Pinski --- fre5 deletes it: Deleted redundant store c = 1; Value numbering stmt = foo (); Setting value number of .MEM_14 to .MEM_14 (changed) Value numbering stmt = return 0; RPO iteration over 7 blocks visited 7

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 Jakub Jelinek changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #16 from Jakub Jelinek --- Slightly more reduced: int a = -8, c, e, f, g, i; short b; static int *d = int m[256]; unsigned n = ~0U; void foo (int b) { n = (n >> 8) ^ m[(n ^ b) & 255]; } void bar (long x) { n = (n >> 8) ^

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-15 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-14 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #14 from David Binderman --- After five hours of reduction, cvise has: crc32_tab[256]; unsigned crc32_context = 4294967295; void crc32_byte(b) { crc32_context = crc32_context >> 8 ^ crc32_tab[(crc32_context ^ b) & 255]; } void

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-14 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #13 from David Binderman --- I tried adding flag 1 to the run of the two binaries. Here is the bash history: 1003 gcc bug880.c 1004 ./a.out > /tmp/0 1005 ~/gcc/results/bin/gcc -w -O3 -ftrivial-auto-var-init=zero bug880.c -o

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-08 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 David Binderman changed: What|Removed |Added CC||rguenther at suse dot de --- Comment

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-07 Thread mikpelinux at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 --- Comment #11 from Mikael Pettersson --- Bisected on x86_64-linux-gnu: dc477ffb4aba21e9cf47de22a4df6f2b23849505 is the first bad commit commit dc477ffb4aba21e9cf47de22a4df6f2b23849505 Author: Richard Biener Date: Thu Jul 21 10:13:46 2022

[Bug middle-end/108657] [13 Regression] csmith: possible wrong checksum with -O3 and -ftrivial-auto-var-init=zero

2023-02-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108657 Andrew Pinski changed: What|Removed |Added Summary|csmith: possible wrong |[13 Regression] csmith: