[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