[llvm] [FuncAttrs] Relax norecurse attribute inference (PR #139943)

[David Sherwood via llvm-commits]

https://github.com/david-arm commented:

The new approach seems reasonable to me. If there are no addresses taken of any function in the entire module, and the only external calls are to well-known library functions it seems safe to mark the function as `norecurse`. But it's probably worth splitting this PR up into two parts. Thanks!

https://github.com/llvm/llvm-project/pull/139943