On Fri, Feb 17, 2017 at 8:06 AM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > > I made a patch (see the second one in this non-serie) so that > cast from equivalent types hash identically. It worked well > but after a while I concluded that it was not really needed. > Indeed, in the context of CSE, to consider two instructions as > equivalent, the first thing that need to be equal is their source > operands. Isn't it already the case that if we use the same pseudo > in two instructions, the type of these pseudo in each instructions > must already be, if not identical, at least 'sufficently equivalent'? I think so. I will apply this version to sparse-next. Chris -- 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
