Hi, I am trying to run following test case: extern int printf(const char *fmt, ...); int main(void) { // variables float a = 12.34 + 56.78; printf("%f\n", a); return 0; } This fails as SETVAL is not implemented. 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