]> granicus.if.org Git - clang/commit
Get RegionStore to work with the retain/release checker and its test cases.
authorTed Kremenek <kremenek@apple.com>
Wed, 21 Jan 2009 06:57:53 +0000 (06:57 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 21 Jan 2009 06:57:53 +0000 (06:57 +0000)
commit0964a06d5cc1dc36ac5f8c89ba47ec0a47c08bb1
treed2bb76485b4aa1efc00a6d825f60b0959d7c1b0c
parente6ea27995fb15add0de47588b4226049fa0753e5
Get RegionStore to work with the retain/release checker and its test cases.

Because the RegionStore can reason about values beyond the reasoning power of BasicStore, this patch splits some of the test cases for the retain/release checker to have versions that are handled by RegionStore (more warnings) and BasicStore (less warnings).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62667 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/RegionStore.cpp
test/Analysis/CFDateGC.m
test/Analysis/cfref_PR2519.c
test/Analysis/cfref_rdar6080742.c
test/Analysis/retain-release-basic-store.m [new file with mode: 0644]
test/Analysis/retain-release-region-store.m [new file with mode: 0644]
test/Analysis/retain-release.m