[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989 Richard Biener changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |DUPLICATE --- Comment #7 from Richard Biener --- Duplicate. *** This bug has been marked as a duplicate of bug 77988 ***
[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989 --- Comment #6 from amker at gcc dot gnu.org --- Ah, I think this duplicates to PR77988 and was fixed by richi. I will add a test case for this though.
[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989 --- Comment #5 from amker at gcc dot gnu.org --- As suspected. VRP missed folding statement after copy propagation. Testing patch...
[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989 --- Comment #4 from amker at gcc dot gnu.org --- The vectorized code looks good to me. It is in VRP2 that GCC generates below expression: MEM[&MEM[(void *)&b + 49B] + 0B]; (gdb) call debug_tree(*tp) unit size align 8 symtab 0 alias set -1 canonical type 0x7695f5e8 precision 8 min max pointer_to_this > arg 0 sizes-gimplified public unsigned DI size unit size align 64 symtab 0 alias set 1 canonical type 0x7697e150 pointer_to_this reference_to_this > constant arg 0 arg 0 constant arg 0 pr77989.c:5:13 start: pr77989.c:5:13 finish: pr77989.c:5:14> arg 1 > pr77989.c:9:4 start: pr77989.c:9:3 finish: pr77989.c:9:5> arg 1 constant 0> pr77989.c:12:10 start: pr77989.c:12:10 finish: pr77989.c:12:13> which triggers the ICE. continue looking...
[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989 amker at gcc dot gnu.org changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |amker at gcc dot gnu.org --- Comment #3 from amker at gcc dot gnu.org --- I will investigate it.
[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989 Richard Biener changed: What|Removed |Added Target Milestone|--- |7.0
[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77989 Markus Trippelsdorf changed: What|Removed |Added Target||x86_64-pc-linux-gnu CC||amker at gcc dot gnu.org Component|middle-end |tree-optimization --- Comment #2 from Markus Trippelsdorf --- Started with r241099: commit 6c6a3430a964029115993155382aa47453f76eb5 Author: amker Date: Thu Oct 13 11:03:31 2016 + * tree-vect-loop-manip.c (adjust_vec_debug_stmts): Don't release adjust_vec automatically. ...