]> granicus.if.org Git - clang/commit
GRState:
authorTed Kremenek <kremenek@apple.com>
Sat, 16 Aug 2008 00:49:49 +0000 (00:49 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 16 Aug 2008 00:49:49 +0000 (00:49 +0000)
commit1c72ef092f3d931639cf44b4f4f9d0eedc1baa8f
tree6e8f87c61a1d28ccf6050fb3f12121b8588d9791
parentdd463b8db0b07d2fdb99ffc7a7eb28eeb449c5d4
GRState:
- Remove ConstNotEq from GRState/GRStateManager (!= tracking uses GDM instead).
- GRStateManager now can book-keep "contexts" (e.g., factory objects) for uses
  with data elements stored into the GDM.
- Refactor pretty-printing of states to use GRState::Printer objects
  exclusively. This removed a huge amount of pretty-printing logic from
  GRExprEngine.

CFRefCount
- Simplified some API calls based on refinements to the GDM api.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54835 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRState.h
include/clang/Analysis/PathSensitive/GRTransferFuncs.h
lib/Analysis/CFRefCount.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/GRState.cpp