Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some ↵ | Ted Kremenek | 2008-07-17 | 1 | -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. The | Ted Kremenek | 2008-07-10 | 1 | -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 to | Ted Kremenek | 2008-04-16 | 1 | -0/+20 |
| | | | | | | represent possible stores to "Unknown." llvm-svn: 49811 | ||||
* | Add missing file. | Ted Kremenek | 2008-04-16 | 1 | -0/+19 |
llvm-svn: 49805 |