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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
