Skip to content
Commit df24000d authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" 

ProgramPoints all the way through to GRCoreEngine.

NSString.m now fails with RegionStoreManager because of the void** cast.
Disabling use of region store for that test for now.

llvm-svn: 68845
parent d381cde4
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment