Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Cast evaluation no longer touch GRState. | Zhongxing Xu | 2010-02-04 | 1 | -3/+2 | |
* | Remove stray typo. | Ted Kremenek | 2010-02-04 | 1 | -1/+1 | |
* | Now that CastRetrievedVal returns SVal, there is no need to use CastResult. | Zhongxing Xu | 2010-02-04 | 1 | -29/+16 | |
* | Fix regression in RegionStore due to recent changes in | Ted Kremenek | 2010-02-03 | 1 | -84/+90 | |
* | Rework RegionStoreManager's implementation of InvalidateRegions() to | Ted Kremenek | 2010-02-03 | 1 | -214/+249 | |
* | Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_e... | Ted Kremenek | 2010-02-02 | 1 | -26/+28 | |
* | Add missing call to Optional<...>.getValue() that was pointed out by Chandler. | Ted Kremenek | 2010-01-27 | 1 | -1/+1 | |
* | Teach RegionStore to handle initialization of incomplete arrays in structures... | Ted Kremenek | 2010-01-26 | 1 | -11/+18 | |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+2015 |