[PATCH] D14227: Add a new attribute: norecurse

[Mehdi AMINI via llvm-commits]

joker.eph added a comment.

The fact that a transformation may invalidate the attribute seems to me to be independent from wether we infer it or not: the same example you took could come from a specific front-end (or directly a user) adding the attributes. I think we'll have to teach such a transformation that invalidate the attribute to either not perform when the attribute is present, or remove it. Does it makes sense?
Do you foresee a lot of such transformations? Or cases where it would be hard to do?


Repository:
  rL LLVM

http://reviews.llvm.org/D14227