[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3 since r13-1268-g8c99e307b20c50

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #32 from GCC Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:6a55e39bdb1fdb570730c08413ebbe744e493411 commit r14-9565-g6a55e39bdb1fdb570730c08413ebbe744e493411 Author: Richard Biener Date:

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3 since r13-1268-g8c99e307b20c50

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #31 from Richard Biener --- diff --git a/gcc/tree-dfa.cc b/gcc/tree-dfa.cc index cbd3774b21f..1dbd9bd7a00 100644 --- a/gcc/tree-dfa.cc +++ b/gcc/tree-dfa.cc @@ -549,7 +549,8 @@ get_ref_base_and_extent (tree exp, poly_int64 *poffset,

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3 since r13-1268-g8c99e307b20c50

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3 since r13-1268-g8c99e307b20c50

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Sam James changed: What|Removed |Added CC||amacleod at redhat dot com

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #28 from Sam James --- Running bisect

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Andrew Pinski changed: What|Removed |Added Keywords|needs-reduction |needs-bisection --- Comment #27 from

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Andrew Pinski changed: What|Removed |Added Attachment #57729|0 |1 is obsolete|

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Andrew Pinski changed: What|Removed |Added Status|WAITING |NEW --- Comment #25 from Andrew Pinski

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Andrew Pinski changed: What|Removed |Added Attachment #57727|0 |1 is obsolete|

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #23 from Andrew Pinski --- Created attachment 57728 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57728=edit Reduced slightly more, removes the string compare

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #22 from Andrew Pinski --- Adding -fno-tree-loop-im allows it to work.

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #21 from Sam James --- Created attachment 57727 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57727=edit reduced.c This aborts for me at >= -O1 but I'm not convinced it's right.

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Sam James changed: What|Removed |Added CC||sjames at gcc dot gnu.org --- Comment #20

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #19 from David Binderman --- gcc 12.3 seems to get it right: foundBugs $ ~/gcc/results.12.3.asan.ubsan/bin/gcc -w -O2 --param=max-inline-insns-auto=23 bug998.c && valgrind -q ./a.out checksum = 77A231E6 foundBugs $

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #18 from David Binderman --- (In reply to David Binderman from comment #17) > I tried out gcc-13.2 and got the following results: > > foundBugs $ ~/gcc/results.13.2.asan.ubsan/bin/gcc -w -O2 > --param=max-inline-insns-auto=23

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #17 from David Binderman --- I tried out gcc-13.2 and got the following results: foundBugs $ ~/gcc/results.13.2.asan.ubsan/bin/gcc -w -O2 --param=max-inline-insns-auto=23 bug998.c && valgrind -q ./a.out checksum = 77A231E6

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #16 from David Binderman --- (In reply to David Binderman from comment #15) > So it looks like one or more of the --param flags is to blame. foundBugs $ ~/gcc/results/bin/gcc -w -O2 bug998.c && ./a.out checksum = 77A231E6

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #15 from David Binderman --- (In reply to Jakub Jelinek from comment #14) > So, that is -O2 -fgcse-after-reload -fipa-cp-clone -floop-interchange > -floop-unroll-and-jam -fpeel-loops -fpredictive-commoning -fsplit-loops >

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #14 from Jakub Jelinek --- /* -O3 optimizations. */ { OPT_LEVELS_3_PLUS, OPT_fgcse_after_reload, NULL, 1 }, { OPT_LEVELS_3_PLUS, OPT_fipa_cp_clone, NULL, 1 }, { OPT_LEVELS_3_PLUS, OPT_floop_interchange, NULL, 1 },

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #13 from David Binderman --- I had another look at the original source code and got this with recent gcc trunk: foundBugs $ ~/gcc/results/bin/gcc -w bug998.c && ./a.out checksum = 77A231E6 foundBugs $ ~/gcc/results/bin/gcc -w -O2

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #12 from Richard Biener --- The second testcase behaves the same with -O0, -O2 and -O3 on x86_64-linux for me (and with trunk and GCC 13.2.1)

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Richard Biener changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Jeffrey A. Law changed: What|Removed |Added Priority|P3 |P1 CC|

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #10 from David Binderman --- Created attachment 57117 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57117=edit C source code After many hours, cvise appears incapable of reducing the code much beyond this version.

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Jakub Jelinek changed: What|Removed |Added Keywords|needs-bisection | CC|

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 David Binderman changed: What|Removed |Added CC||aldyh at redhat dot com --- Comment

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #7 from David Binderman --- Current range seems to be g:54a5f478487a955c3ffaec3e9164a72599bc1cfb .. g:1edfc8f2d3307a3ffa077a605f432832d7715462, which is 4 commits. Of those 4, this one commit

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #6 from David Binderman --- Reduced bisect range seems to be g:2c11662391bafd74c9d19bf7626b7bcef41c1323 .. g:9e0d5db3e04afd2d030ace4ccb5c1af5e9f05a8f, which is 462 commits.

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #5 from David Binderman --- Bisect range seems to be g:e03a0a4d73a478928b26213363fa5dbb9fc8695f .. g:4e1914625dec4aa09a5671c6294e877dbf4518f5, which is 1850 commits. I will continue the bisection.

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 --- Comment #4 from David Binderman --- foundBugs $ ../results.20220116/bin/gcc -w -O2 bug998.c foundBugs $ ./a.out checksum = 77A231E6 foundBugs $ ../results.20220116/bin/gcc -w -O3 bug998.c foundBugs $ ./a.out checksum = 77A231E6 foundBugs $

[Bug middle-end/113396] [13/14 Regression] csmith: differences from -O2 to -O3

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |13.3