On Fri, Mar 21, 2014 at 4:02 AM, Guillaume Oberlé <goberle@xxxxxx> wrote: > > If you look at the output (l117 or l133), I have a PreopExpression before every variable in an expression statement, even if I have no preoperator. You need to look at what the op is too, not just the type. I assume you're talking about EXPR_PREOP-'*'. That's a dereference ("lvalue access"). And yes, it's required. A symbol on its own is just the address or the symbol. Actually *accessing* that symbol is that PREOP-*. Lnus -- 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