On Mon, Mar 26, 2012 at 10:11:34AM +0200, Peter Zijlstra wrote: > On Sun, 2012-03-25 at 10:48 +0200, Johannes Berg wrote: > > But I was also trying to make sparse actually evaluate the first > > argument so it could tell the difference between two locks, which you > > might not even care about ... (it would be nice though I think) > > Right, so what I thought we could maybe do is inject code in the > callsites of these functions. > > So after the OP_CALL emit a piece of code that works like the > __context__ stmt and can reference the return value that exists at that > point. > > This also makes the conditional thing quite simple to do. For the general case, this seems like roughly the right solution. That will also handle slightly more complex conditionals, though significantly more complex ones will just get sparse complaining that you can reach later code with multiple contexts. Similarly, require_context might work better as an expression executed beforehand, which would ideally have access to the arguments. I don't know if it makes sense to put an __attribute__((__after_expr__, arbitrary_expression)) into sparse just to avoid doing the same thing with a macro or static inline, though. A macro or static inline trivially has access to the arguments and return value, and can run arbitrary statements/expressions either before or after the underlying function call, including conditionals. (Even better if sparse could just always do whole-program analysis, so that you could include the __context__ call inline in the normal function and have the caller see it, but that won't happen anytime soon.) - Josh Triplett -- 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
