On Wed, Feb 1, 2012 at 5:03 PM, Jeff Garzik <jeff@xxxxxxxxxx> wrote: > That is useful, yes. But it does not address this specific problem. > > We need the function declaration remembered, rather than what we have now -- > a list of arguments with full type information, specific to its callsite. > > You cannot deduce that a function call is/not varargs presently, even with a > working pseudo->type setup. I am not trying do deduce function call/varargs from the call. I am trying to get it from call_insn->func->type directly. Similar to Linus' patch, instead of store fntype at call_insn->fntype, store it at call_insn->func->type directly. It should work the similar way as Linus's patch, no? Chris -- 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