On 21 March 2017 at 15:54, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > 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 > Appears that the problem is occurring in simplify_one_symbol(). 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
