[PATCH] D14769: [FunctionAttrs] Calls to libcalls don't cause a function to potentially recurse

[Duncan P. N. Exon Smith via llvm-commits]

dexonsmith added a subscriber: dexonsmith.
dexonsmith added a comment.

Calls to exit() can recurse because of atexit() handlers.  The same might be true of other libcalls?

Also, other noreturn functions can recurse; it's a weird path but I don't think it's malformed:
-----------------------------------------------------------------------------------------------

void bar() noreturn;
int foo() {
static bool Return = false;
if (Return) return 5;
Return = true;
bar();
}

void bar() {
sink(foo());
exit();

}
-


Repository:
  rL LLVM

http://reviews.llvm.org/D14769