On Fri, Aug 18, 2017 at 6:20 AM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > > My idea/question is the following: this interpretation > is already done for all 'normal' values. So couldn't we > consider the context as a special kind of 'variable', I think that's a great idea. We do all the flow stuff for variables anyway, and using a hidden variable would make it potentially a lot more flexible. You could make the context op do much more than just a fixed inc/dec. Linus -- 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