On 18 August 2017 at 23:43, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > I am investigating a problem with following code: > > extern int testme(int a, int b); > > int testme(int a, int b) > { > if (a == b) > return 0; > return 5; > } > > The CBR instruction appears to get a NULL type. > > I would like to know if this works correctly in Sparse LLVM (right now > I can't build Sparse LLVM hence I cannot test this). > Apologies please ignore - this is likely not the real problem. I will get back with more details. Regards -- 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