Hi, When I try to compile following test (see link) in sparse-llvm - LLVM says: Instruction does not dominate all uses! %load_target = load i32, i32* %191 %R122 = icmp eq i32 %load_target4, %load_target Instruction does not dominate all uses! %load_target = load i32, i32* %191 %R283 = icmp eq i32 %load_target4, %load_target Instruction does not dominate all uses! %load_target = load i32, i32* %191 %R522 = icmp eq i32 %load_target4, %load_target I have not yet investigated what the issue is but I thought it best to post the test case so that it can be validated. https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/bugs/cq3.c 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