Hi Luc, On 22 March 2017 at 19:46, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > > You were right - I needed to retain following line: > > track_pseudo_death(C, ep); > > Anyway it appears that this now populates the phi_users list so that > the code works correctly. > Of course now I can see the following in sparse-llvm: /* need ->phi_users */ dbg_dead = 1; Regards Dibyendu -- 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