On Fri, Aug 11, 2017 at 08:00:50AM -0400, Christopher Li wrote: > > I think he means the push instruction is not in the bb->insns list. > > I agree with that view. But these instructions *are* in the bb->insns list. -- 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
