Getting the handling of qualifiers/address spaces right on the pointer operations, type_difference sanitized and taken closer to sanity (in particular, kernel ARRAY_SIZE() works now), SYM_BASENAME and SYM_TYPEOF handling sanitized. That takes us about halfway to getting rid of very brittle dependencies between evaluate.c and type-handling details in symbol.c. The series can be pulled from branch type_difference2 in git://git.kernel.org/pub/scm/linux/kernel/git/viro/sparse.git/ individual patches follow in next postings... - 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