[Bug tree-optimization/32451] [4.3 Regression] ICE in verify_flow_info after DOM2

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #3 from rguenth at gcc dot gnu dot org  2007-06-21 10:26 -------
Zdenek, I suppose this is caused by your loop-preserving for DOM.

Note this may be jump threading related:

  Threaded jump 9 --> 15 to 27

(gdb) call debug_bb_n (15)
;; basic block 15, loop depth 1, count 0
;; prev block 26, next block 16
;; pred:       26 [100.0%]  (fallthru,dfs_back)
;; succ:       16 [59.4%]  (false,exec)
<bb 15>:
Invalid sum of outgoing probabilities 59.4%
# __first2$ptr_107 = PHI <__first2$ptr_83(26)>

so we simply forget to remove the false flag from the edge?

#0  internal_error (gmsgid=0x104edd0 "verify_flow_info failed")
    at /space/rguenther/src/svn/trunk/gcc/diagnostic.c:600
#1  0x00000000007697c3 in verify_flow_info ()
    at /space/rguenther/src/svn/trunk/gcc/cfghooks.c:247
#2  0x0000000000f2c094 in loop_optimizer_finalize ()
    at /space/rguenther/src/svn/trunk/gcc/loop-init.c:122
#3  0x0000000000b5f57e in tree_ssa_dominator_optimize ()
    at /space/rguenther/src/svn/trunk/gcc/tree-ssa-dom.c:348


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32451