Hello, http://gcc.gnu.org/ml/gcc-patches/2004-01/msg01348.html -- a rewrite of mark_irreducible_loops function (since I found out that I no longer understand how it works, and was unable to fix a bug in it). Zdenek