[PATCH] D24792: [analyzer] Fix crash in RetainCountChecker::checkEndFunction
Alexander Shaposhnikov via cfe-commits
cfe-commits at lists.llvm.org
Wed Sep 21 13:20:46 PDT 2016
alexshap added a comment.
> is that a problem for your codebase?
@zaks.anna - yes it is.
> Another possible issue is that we will use the synthesized body if the function name starts with "OSAtomicCompareAndSwap" since ?>we do not match the full function name. If the function body is available, there is a higher chance it is implementing something other >than the standard compare and swap. We might want to start matching the full names of the functions are are synthesizing.
yeah - i've just wanted to post a comment about it - btw - OSAtomicCompareAndSwap is not the only example (dispatch_sync, dispatch_async etc also create a problem). But in my case i ran into issue on the exact match (but on the other function).
I have not updated this patch yet because I have not found a good solution - still thinking (any suggestions appreciated). I probably understand the motivation behind the changes introduced in r264687 but yes, it causes several issues.
More information about the cfe-commits