------- Comment #12 from rakdver at gcc dot gnu dot org 2006-03-21 21:35 ------- (In reply to comment #11) > This is definitely a bug in loop-iv.c -- once biv_p (SET_DEST (single_set > (insn))) returns true, iv_analyze_result must succeed as well.
While I still consider this desirable, it is somewhat difficult to achieve (it requires big changes to iv_analyze_... routines, and I am not even quite sure the gain would be worth the cost). Replacing the assert in analyze_iv_to_split_insn with return NULL should be safe, in the meantime. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25569