Skip to content
Commit 5cba6c85 authored by Zhongxing Xu's avatar Zhongxing Xu
Browse files

Remove a special case for OSAtomic functions. We can already bind and retrieve

with the same binding key. The only trick here is that sometimes the Symbolic
region is stored in with an LocAsInteger wrapper. We unwrap that in 
SVal::getAsLocSymbol().

llvm-svn: 111734
parent 48871651
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment