diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-04-11 00:54:13 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-04-11 00:54:13 +0000 |
| commit | b3bf76fb2442093ad871f1adeda608e881b9dee6 (patch) | |
| tree | a97c1dc0084353b9195cb158bb6789685008d017 /lib/Analysis/GRExprEngine.cpp | |
| parent | afaf308b779cd8e8fc8c42601b9f383423c15c2d (diff) | |
Add analyzer support for objc_atomicCompareAndSwap()
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68849 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 9f049d5b33..43d7331dd9 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1377,9 +1377,10 @@ static bool EvalOSAtomic(ExplodedNodeSet<GRState>& Dst, const char *FName = FD->getNameAsCString(); // Check for compare and swap. - if (strncmp(FName, "OSAtomicCompareAndSwap", 22) == 0) + if (strncmp(FName, "OSAtomicCompareAndSwap", 22) == 0 || + strncmp(FName, "objc_atomicCompareAndSwap", 25) == 0) return EvalOSAtomicCompareAndSwap(Dst, Engine, Builder, CE, L, Pred); - + // FIXME: Other atomics. return false; } |