[PATCH] D74003: [analyzer] Prevent assertion failure in PThreadLockChecker when the implementations of the locking functions are available
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Feb 4 16:14:03 PST 2020
xazax.hun added a comment.
In D74003#1858144 <https://reviews.llvm.org/D74003#1858144>, @NoQ wrote:
> 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.
Do you want me to add a FIXME?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D74003/new/
https://reviews.llvm.org/D74003
More information about the cfe-commits
mailing list