[PATCH] D74003: [analyzer] Prevent assertion failure in PThreadLockChecker when the implementations of the locking functions are available

[Artem Dergachev via Phabricator via cfe-commits]

NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

That's a safe default behavior, but ideally you should see if the annotation on the function can be applied after inlining. Like, it isn't necessarily always applicable, but when it is, you might be able to improve coverage.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74003/new/

https://reviews.llvm.org/D74003