granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Ted Kremenek <kremenek@apple.com>
	Sat, 11 Apr 2009 00:11:10 +0000 (00:11 +0000)
committer	Ted Kremenek <kremenek@apple.com>
	Sat, 11 Apr 2009 00:11:10 +0000 (00:11 +0000)
commit	1670e403c48f3af4fceff3f6773a0e1cfc6c4eb3
tree	3b1044513e874e7285fa3b8a874122286b97066b	tree \| snapshot
parent	c2112181b96349eb595dc5e8b7073b81ecdec0db	commit \| diff

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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68845 91177308-0d34-0410-b5e6-96231b3b80d8

14 files changed:

include/clang/Analysis/PathDiagnostic.h		diff \| blob \| history
include/clang/Analysis/PathSensitive/BasicValueFactory.h		diff \| blob \| history
include/clang/Analysis/PathSensitive/GRCoreEngine.h		diff \| blob \| history
include/clang/Analysis/PathSensitive/GRExprEngine.h		diff \| blob \| history
include/clang/Analysis/PathSensitive/GRExprEngineBuilders.h		diff \| blob \| history
include/clang/Analysis/PathSensitive/MemRegion.h		diff \| blob \| history
include/clang/Analysis/PathSensitive/ValueManager.h		diff \| blob \| history
include/clang/Analysis/ProgramPoint.h		diff \| blob \| history
lib/Analysis/BasicStore.cpp		diff \| blob \| history
lib/Analysis/GRCoreEngine.cpp		diff \| blob \| history
lib/Analysis/GRExprEngine.cpp		diff \| blob \| history
lib/Analysis/MemRegion.cpp		diff \| blob \| history
lib/Analysis/SVals.cpp		diff \| blob \| history
test/Analysis/NSString.m		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom