]> granicus.if.org Git - clang/commit
Created ValueStateSet class to manage the creation of multiple states by a method.
authorTed Kremenek <kremenek@apple.com>
Fri, 18 Jul 2008 05:53:58 +0000 (05:53 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 18 Jul 2008 05:53:58 +0000 (05:53 +0000)
commit6297a8ec313c722db50f686fd190842b7ea91118
treef57dcbafbe06eee9a7ce3737a98c3a97135d51b7
parent4d9985ab390079ccc8b05b6c349026f237567b8f
Created ValueStateSet class to manage the creation of multiple states by a method.
Modified the new EvalBinOpNN to generate states instead of nodes.  This is a much simpler interface and is what clients will want to do.

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