On Fri, Sep 24, 2010 at 6:02 PM, Christian Lamparter <chunkeey@xxxxxxxxxxxxxx> wrote: > hard to say, smatch must see the null dereference, when > we receive an action action frame where ftype is PLINK_OPEN > and the mesh_matches_local(&elems, sdata) check fail, but why > doesn't it complain about the "spin_lock_bh(&sta->lock)"? Smatch just does pattern matching right? Maybe smatch doesn't assume you are actually using the pointer in spin_lock_bh(). I.e. it is ok to do "&null_ptr->member", offsetof() basically does that; but not "null_ptr->member". -- Bob Copeland %% www.bobcopeland.com -- To unsubscribe from this list: send the line "unsubscribe linux-wireless" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
