]> granicus.if.org Git - clang/commit
Makes GRState::makeWithStore private, to encourage clients to make store changes...
authorJordy Rose <jediknil@belkadan.com>
Tue, 3 Aug 2010 20:44:35 +0000 (20:44 +0000)
committerJordy Rose <jediknil@belkadan.com>
Tue, 3 Aug 2010 20:44:35 +0000 (20:44 +0000)
commitff59efd65bb1f2f8d005079597f814a3c8381f95
tree59c765af616e3fe64c00f40c2687084dc7c1609c
parenteb8837b88c18631c69ac75f64ab1853762063180
Makes GRState::makeWithStore private, to encourage clients to make store changes through GRState instead of directly accessing the StoreManager. Also adds cover methods for InvalidateRegion(s) and EnterStackFrame to GRState.

This is in preparation for proposed region change notifications. No functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110137 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Checker/PathSensitive/GRState.h
include/clang/Checker/PathSensitive/Store.h
lib/Checker/CFRefCount.cpp
lib/Checker/GRCXXExprEngine.cpp
lib/Checker/GRExprEngine.cpp
lib/Checker/RegionStore.cpp
lib/Checker/Store.cpp