pskrgag wrote: > Is the problem that some calls cannot be annotated or is the problem that the > inlined bodies often have coding patterns that are to complicated for the > analyzer to understand?
Oh, sorry I missed that comment. The problem in our code is that function that releases a handle calls a syscall via macro, so it's not possible to directly annotate it. That's why analyzer just thinks that handle leaks, since there is no point where handle gets released after function inline. I guess, it could be solved on my side if I drop library from ctu analisys, but it helps a lot with uninit bugs. https://github.com/llvm/llvm-project/pull/111588 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
