On Thu, Aug 10, 2017 at 8:29 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > On Thu, Aug 10, 2017 at 2:19 PM, Dibyendu Majumdar wrote: >> >> Is this statement still true - i.e. only statements are linearized? > > Of course not. Absolutely. The linearized code has *all* what I would call the operational information of the source code. This includes, of course, the expressions. The comment should be removed. -- Luc -- 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
