[clang] Diagnose misuse of the cleanup attribute (PR #80040)

[Bhuminjay Soni via cfe-commits]

11happy wrote:

tried to implement the requested changes along the new direction, further I have some queries should I let this statament as is or assign to a variable:
```
S.CheckFunctionCall(FD, FunctionCallExpression,
                      FD->getType()->getAs<FunctionProtoType>());
```
Further I request some guidance on how to use `malloc` & `free` etc , standard library functions in tests.
Added Release notes but not sure about its framing.

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