]> granicus.if.org Git - clang/commit
Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions.
authorTed Kremenek <kremenek@apple.com>
Fri, 17 Oct 2008 00:51:01 +0000 (00:51 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 17 Oct 2008 00:51:01 +0000 (00:51 +0000)
commitd9bc33efa195114d6f2a365c26e5b8dba4e1cc38
tree3a505a4969fd630cb2034fa5b64e6e0e362de680
parent97ed4f68f5dba3e21e7a490ef0f9ffd3bfead7f8
Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions.
Remove GRExprEngine::getLVal and RValues::MakeVal.
Enhance StoreManager "GetLValue" methods to dispatch for specific kinds of lvalue queries, as opposed to interogating the expression tree (GRExprEngine already does this).

Added FIXMEs.  In particular, we no longer "assume" that a base pointer in a field/array access is null (this logic was removed).  Perhaps we should do this when fetching the lvalue for fields and array elements?

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57657 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRExprEngine.h
include/clang/Analysis/PathSensitive/GRState.h
include/clang/Analysis/PathSensitive/RValues.h
include/clang/Analysis/PathSensitive/Store.h
lib/Analysis/BasicConstraintManager.cpp
lib/Analysis/BasicStore.cpp
lib/Analysis/CheckNSError.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/GRSimpleVals.cpp
lib/Analysis/RValues.cpp