[PATCH] D14227: Add a new attribute: norecurse

[David Majnemer via llvm-commits]

majnemer added a subscriber: majnemer.
majnemer added a comment.

James,

Have you considered what happens with something along the lines of:

  void f() {
    g();
  }
  void g() {
    g();
  }

In this case, we can clearly see that `f` doesn't recurse onto itself but `g` does.

I am concerned that if we infer `norecurse`, we will hit cases where transformations along the lines of inlining invalidate the attribute.


Repository:
  rL LLVM

http://reviews.llvm.org/D14227