On Fri, Jul 06, 2007 at 07:28:03PM -0700, Josh Triplett wrote: > > int foo(struct bar *p) __acquires(p); > > int bar(struct bar *p) __acquires(p); > > since you will have different symbols (same name, different scopes) here. > > Not necessarily. You need to substitute the actual arguments for the > formal arguments when you look at the context expression. Given > sufficiently good analysis, you could figure this case out; in > (n ? foo : bar)(p), both cases want to acquire &p->lock, or p in the > latter case. baz = n ? foo : bar; - 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
