Indirection errors shown at the expression
Checks for arithmetic on void *
Don't allow void* in the case of EXACT_MATCH
signed/unsigned funcargs checks
lib/ updates with stronger type-checking