]> granicus.if.org Git - clang/commit
This is the first step to build a better evaluation model for GRExprEngine. A
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 16 Oct 2008 06:09:51 +0000 (06:09 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 16 Oct 2008 06:09:51 +0000 (06:09 +0000)
commit6d69b5d82281992e981caa9bc038e3f6cac6594a
tree7f2af8d72bb34b24d631fb729774f4586d147fbc
parent5db4b3f3ed9f769d5b02c1d1ccc52bfd71fb9afb
This is the first step to build a better evaluation model for GRExprEngine.  A
new VisitLValue method is added to replace the old VisitLVal. The semantics
model becomes more explicit to separate rvalue evaluation from lvalue
evaluation.

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