[clang] [analyzer] Modernize FuchsiaHandleChecker (PR #111588)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 14 04:26:37 PDT 2024


Xazax-hun wrote:

> The problem was in if (C.wasInlined) logic in old version.

Thanks for elaborating! I think the idea was to have annotations all the way down to syscalls, so if we end up inlining the body with the syscalls we still get reasonable behavior. 

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?

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


More information about the cfe-commits mailing list