I also notice that LLVM assertions fail on some of the existing
backend tests. I use a debug build of LLVM which has extra type
checking of LLVM IR.
My understanding of LLVM IR is that it requires types of operands to
be strictly the same or else there needs to be explicit conversions or
bitcasts. So for example, following fails in sparse-llvm:
struct foo {
struct foo *p;
};
void test(struct foo *Foo);
void test(struct foo *Foo) {
Foo->p = (struct foo *) 0;
}
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
