]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5472249) | patch
Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts.
authorTed Kremenek <kremenek@apple.com>
Sat, 20 Sep 2008 01:50:34 +0000 (01:50 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 20 Sep 2008 01:50:34 +0000 (01:50 +0000)
commit82bae3f6bf7bc4733d9c87659b266e23ad55f420
tree67128374104d12a089da5e63e36c585089786321tree | snapshot
parent5472249ee4281673c63db466c8670f269803469acommit | diff
Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts.

GRExprEngine:
  Use PostStore in EvalStore.
  Use a second version of EvalStore in EvalBinaryOperator to associate the store with the expression on the LHS.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56383 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRCoreEngine.h diff | blob | history
include/clang/Analysis/PathSensitive/GRExprEngine.h diff | blob | history
include/clang/Analysis/ProgramPoint.h diff | blob | history
lib/Analysis/GRExprEngine.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.