[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #9 from hjl at gcc dot gnu dot org 2010-02-07 04:44 --- Subject: Bug 42363 Author: hjl Date: Sun Feb 7 04:41:22 2010 New Revision: 156562 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=156562 Log: Backport testcases from mainline to 4.4. 2010-02-06 H.J. Lu hongjiu...@intel.com Backport from mainline: 2010-02-05 Dodji Seketeli do...@redhat.com PR c++/42915 * g++.dg/other/crash-9.C: New test. 2010-02-03 Jason Merrill ja...@redhat.com PR c++/40138 * g++.dg/ext/builtin11.C: New. 2010-02-03 Richard Guenther rguent...@suse.de PR tree-optimization/42944 * gcc.dg/errno-1.c: New testcase. 2010-02-03 Richard Guenther rguent...@suse.de PR middle-end/42927 * gcc.c-torture/compile/pr42927.c: New testcase. 2010-01-29 Dodji Seketeli do...@redhat.com PR c++/42758 PR c++/42634 PR c++/42336 PR c++/42797 PR c++/42880 * g++.dg/other/crash-5.C: New test. * g++.dg/other/crash-7.C: New test. * g++.dg/other/crash-8.C: New test. 2010-01-28 Uros Bizjak ubiz...@gmail.com PR target/42891 * gcc.target/i386/pr42891.c: New test. 2010-01-28 Richard Guenther rguent...@suse.de PR middle-end/42883 * g++.dg/torture/pr42883.C: New testcase. 2010-01-28 Michael Matz m...@suse.de * gcc.target/i386/pr42881.c: New test. 2010-01-28 Dodji Seketeli do...@redhat.com PR c++/42713 PR c++/42820 * g++.dg/template/typedef27.C: New test case. * g++.dg/template/typedef28.C: New test case. 2010-01-27 Jakub Jelinek ja...@redhat.com PR middle-end/42874 * gcc.dg/vla-22.c: New test. 2010-01-26 Richard Guenther rguent...@suse.de PR tree-optimization/42250 * gcc.dg/pr42250.c: New testcase. 2010-01-25 Tobias Burnus bur...@net-b.de PR fortran/42858 * gfortran.dg/generic_21.f90: New test. 2010-01-21 Martin Jambor mjam...@suse.cz PR tree-optimization/42585 * gcc.dg/tree-ssa/pr42585.c: New test. 2010-01-20 Alexandre Oliva aol...@redhat.com PR debug/42715 * gcc.dg/pr42715.c: New. 2010-01-20 Richard Guenther rguent...@suse.de PR tree-optimization/42717 * gcc.c-torture/compile/pr42717.c: New testcase. 2010-01-19 Paul Thomas pa...@gcc.gnu.org PR fortran/42783 * gfortran.dg/bounds_check_15.f90 : New test. 2010-01-18 Dodji Seketeli do...@redhat.com PR c++/42766 * g++.dg/conversion/op6.C: New test. 2010-01-18 Richard Guenther rguent...@suse.de PR tree-optimization/42781 * gfortran.fortran-torture/compile/pr42781.f90: New testcase. 2010-01-17 Richard Guenther rguent...@suse.de PR middle-end/42248 * gcc.c-torture/execute/pr42248.c: New testcase. 2010-01-17 Janus Weil ja...@gcc.gnu.org PR fortran/42677 * gfortran.dg/interface_assignment_5.f90: New test. 2010-01-15 Richard Guenther rguent...@suse.de PR middle-end/42739 * g++.dg/torture/pr42739.C: New testcase. 2010-01-14 Jerry DeLisle jvdeli...@gcc.gnu.org PR fortran/42684 * gfortran.dg/interface_31.f90: New test. 2010-01-14 Martin Jambor mjam...@suse.cz PR tree-optimization/42706 * gcc.dg/ipa/pr42706.c: New testcase. 2010-01-14 Martin Jambor mjam...@suse.cz PR tree-optimization/42714 * g++.dg/torture/pr42714.C: New test. 2010-01-14 Alexander Monakov amona...@ispras.ru PR rtl-optimization/42388 * gcc.dg/pr42388.c: New. 2010-01-14 Alexander Monakov amona...@ispras.ru PR rtl-optimization/42294 * gfortran.dg/pr42294.f: New. 2010-01-14 Ira Rosen i...@il.ibm.com PR tree-optimization/42709 * gcc.dg/vect/pr42709.c: New test. 2010-01-13 Richard Guenther rguent...@suse.de PR tree-optimization/42730 * gcc.c-torture/compile/pr42730.c: New testcase. 2010-01-13 Martin Jambor mjam...@suse.cz PR tree-optimization/42704 * g++.dg/torture/pr42704.C: New test. 2010-01-13 Martin Jambor mjam...@suse.cz PR tree-optimization/42703 * gcc.c-torture/compile/pr42703.c: New test. 2010-01-13 Richard Guenther rguent...@suse.de PR tree-optimization/42705 * gcc.c-torture/compile/pr42705.c: New testcase. 2010-01-13 Richard Guenther rguent...@suse.de PR middle-end/42716 * gcc.c-torture/compile/pr42716.c: New testcase. 2010-01-12 Joseph Myers jos...@codesourcery.com PR c/42708 * gcc.c-torture/compile/pr42708-1.c: New test. 2010-01-09 Alexandre Oliva
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #7 from aoliva at gcc dot gnu dot org 2010-01-09 14:41 --- Subject: Bug 42363 Author: aoliva Date: Sat Jan 9 14:40:59 2010 New Revision: 155762 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155762 Log: gcc/ChangeLog: PR middle-end/42363 * gimplify.c (gimplify_modify_expr): Drop lhs on noreturn calls. * tree-cfg.c (is_ctrl_altering_stmt): Don't compute flags twice. (verify_gimple_call): Reject LHS in noreturn calls. gcc/testsuite/ChangeLog: PR middle-end/42363 * gcc.dg/torture/pr42363.c: New. Added: trunk/gcc/testsuite/gcc.dg/torture/pr42363.c Modified: trunk/gcc/ChangeLog trunk/gcc/gimplify.c trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-cfg.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #8 from aoliva at gcc dot gnu dot org 2010-01-09 14:51 --- Fixed -- aoliva at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #4 from aoliva at gcc dot gnu dot org 2010-01-06 16:36 --- By the same argument, shouldn't we drop the assignment early, and make it a non-assigning call? The assignment is also supposed to occur after the call, although it's not denoted in a separate statement, but SSA analysis doesn't complain about it. Shouldn't it? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #5 from rguenth at gcc dot gnu dot org 2010-01-06 16:48 --- (In reply to comment #4) By the same argument, shouldn't we drop the assignment early, and make it a non-assigning call? Sure - fixing this during gimplification would be fine with me. I'm not sure it cannot happen via later folding an indirect call to a call that we only then figure is noreturn (maybe there is folding already for that case - you might want to double-check). The assignment is also supposed to occur after the call, although it's not denoted in a separate statement, but SSA analysis doesn't complain about it. Shouldn't it? Well, the assignment in a call stmt is after the call. So we just define it to be correct (I can't see of a better way encoding it - see also the issues with exceptions). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #6 from aoliva at gcc dot gnu dot org 2010-01-06 20:36 --- Mine -- aoliva at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |aoliva at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #3 from reichelt at gcc dot gnu dot org 2009-12-23 00:22 --- Confirmed. -- reichelt at gcc dot gnu dot org changed: What|Removed |Added CC||reichelt at gcc dot gnu dot ||org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2009-12-23 00:22:02 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
-- rguenth at gcc dot gnu dot org changed: What|Removed |Added Target Milestone|--- |4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-12-14 00:06 --- Happens after copyprop. (gdb) call debug_bb (bb) ;; basic block 2, loop depth 0, count 0 ;; prev block 0, next block 1 ;; pred: ENTRY (fallthru,exec) ;; succ: bb 2: i_1 = bar (); # DEBUG i = i_1 we have a DEBUG stmt after a noreturn call. Or rather it happens at into-SSA time already. We just don't verify flow-info very often. Thus the initial insertion happens at the wrong place already. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g
--- Comment #2 from rguenth at gcc dot gnu dot org 2009-12-14 00:07 --- Of course the LHS is never assigned to so the debug stmt is useless and we should refrain from inserting it. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363