On Wed, Aug 16, 2017 at 9:11 AM, Christopher Li <sparse@xxxxxxxxxxx> wrote: >> But Luc's implementation handles gotos fine without the extra phase - >> hence please please try out the implementation before arriving at >> conclusions. > > As I state very clear in the title, my thought as regarding the paper, > and paper only. I will take some time to read Luc's implementation > next. Oops, sorry I mix up the two email thread talk about SSA. This thread is about the patch not paper. You are right I shouldn't draw conclusion on it before reading it in more detail. Let me restart. Now I read the paper (kind of). I should go read the implementation patches. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
