Hi, 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). Thanks and 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