> Hmm, this looks like a dataflow bug to me. I believe the problem is that > DF_LIVE_OUT assumes/requires problems_by_index[DF_LIVE] to be non-NULL. You should replace it with df_get_live_out. Please CC me if you have a patch. Paolo