summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRTransferFuncs.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is ↵Ted Kremenek2008-07-181-1/+1
| | | | | | unfortunately needed because virtual methods with the same name can be hidden by subclasses. llvm-svn: 53751
* Created ValueStateSet class to manage the creation of multiple states by a ↵Ted Kremenek2008-07-181-11/+5
| | | | | | | | 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. llvm-svn: 53750
* Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some ↵Ted Kremenek2008-07-171-0/+15
| | | | | | of the methods only return an RVal; we want them to be able to create an arbitrary number of states. llvm-svn: 53739
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-1/+1
| | | | | | | | | current store implementation is now encapsulated by BasicStore. These changes prompted some long due constification of ValueState. Much of the diffs in this patch include adding "const" qualifiers. llvm-svn: 53423
* Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek2008-04-161-0/+20
| | | | | | represent possible stores to "Unknown." llvm-svn: 49811
* Add missing file.Ted Kremenek2008-04-161-0/+19
llvm-svn: 49805
OpenPOWER on IntegriCloud