aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/RegionStore.cpp
AgeCommit message (Expand)Author
2010-02-04Cast evaluation no longer touch GRState.Zhongxing Xu
2010-02-04Remove stray typo.Ted Kremenek
2010-02-04Now that CastRetrievedVal returns SVal, there is no need to use CastResult.Zhongxing Xu
2010-02-03Fix regression in RegionStore due to recent changes inTed Kremenek
2010-02-03Rework RegionStoreManager's implementation of InvalidateRegions() toTed Kremenek
2010-02-02Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_e...Ted Kremenek
2010-01-27Add missing call to Optional<...>.getValue() that was pointed out by Chandler.Ted Kremenek
2010-01-26Teach RegionStore to handle initialization of incomplete arrays in structures...Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek