On Mon, Aug 21, 2017 at 4:40 PM, Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > > Sparse uses symbols for branch targets too. Side note: when you work with the linearized representation, I don't think you should really need to care. You should be able to just work with the basic block information, and the symbols that are used to generate the branches between the basic blocks should be pretty much a non-issue by the time it's all been linearized. But maybe I'm missing or have forgotten something. 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