On Sat, Mar 11, 2017 at 9:16 AM, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > I still think pseudo values should have a type - then we won't need > all the complexity! Yep, agreed - giving pseudos a type is both natural and intentional - it is a natural outcome of the operation, and should be available without any further lookups. Giving pseudos a type actually simplifies complexity and makes tree manipulation (optimizer) easier. ...of course we need to maintain that type information correctly in all cases and through all transformations... -- 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