]> granicus.if.org Git - clang/commit
Added initial boilerplate in GRExprEngine to allow checker-specific transfer
authorTed Kremenek <kremenek@apple.com>
Thu, 24 Apr 2008 18:31:42 +0000 (18:31 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 24 Apr 2008 18:31:42 +0000 (18:31 +0000)
commit77d7ef8d8a80ccb2ab3d25c80810571e3ab14ee4
tree04198313e050aa108bb02c1cc9a0ee191a8c0d2a
parent43ae4b0d2ba2a7de1c3ccb25f22955489999e1fb
Added initial boilerplate in GRExprEngine to allow checker-specific transfer
function logic to act when symbols become dead.

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