[clang] [analyzer] [MallocChecker] Less aggressive analysis of functions (PR #116383)

[Balazs Benics via cfe-commits]

steakhal wrote:

The difference is that here, in this scope the dev has full context and control, and we can see that it's safe.
While acrossing a function boundary a completely different set of assumptions can be made. E.g. just follow best practices and dont pass dangling pointers that the fn body cant even check if valid. Frankly, having null pointers are usually enough to miss to check, lets not open the door for dangling pointers.

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