summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Since now we store the cast type with an ElementRegion, there isZhongxing Xu2010-03-011-5/+5
* Assert when loading from a code text region instead of returning an unknown s...Zhongxing Xu2010-03-011-1/+3
* Enhance RegionStore::InvalidateRegions() to correctly invalidate bindingsTed Kremenek2010-02-131-12/+32
* Pull logic for visiting value bindings in InvalidateRegionsWorker into a sepa...Ted Kremenek2010-02-131-20/+28
* Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor2010-02-111-1/+1
* Add comment.Zhongxing Xu2010-02-101-1/+2
* Fix lookup of fields from lazy bindings to check if the region isTed Kremenek2010-02-091-9/+5
* Revert 95541.Ted Kremenek2010-02-081-1/+1
* Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu2010-02-081-1/+1
* Like for symbolic region, automatically create a element zero region for Zhongxing Xu2010-02-081-15/+5
* Unify the implementation of getLValueElement of store managers.Zhongxing Xu2010-02-081-57/+0
* Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu2010-02-081-55/+0
* Move common methods to the base StoreManager class.Zhongxing Xu2010-02-081-33/+0
* Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are im...Ted Kremenek2010-02-061-1/+3
* Fix regression in RegionStore (from BasicStore) where static variables were n...Ted Kremenek2010-02-061-3/+15
* Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek2010-02-061-4/+5
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-6/+4
* Remove unused parameter.Zhongxing Xu2010-02-051-4/+2
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-6/+3
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-111/+92
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-31/+26
* Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need toZhongxing Xu2010-02-051-46/+46
* Cast evaluation no longer touch GRState.Zhongxing Xu2010-02-041-3/+2
* Remove stray typo.Ted Kremenek2010-02-041-1/+1
* Now that CastRetrievedVal returns SVal, there is no need to use CastResult.Zhongxing Xu2010-02-041-29/+16
* Fix regression in RegionStore due to recent changes inTed Kremenek2010-02-031-84/+90
* Rework RegionStoreManager's implementation of InvalidateRegions() toTed Kremenek2010-02-031-214/+249
* Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_e...Ted Kremenek2010-02-021-26/+28
* Add missing call to Optional<...>.getValue() that was pointed out by Chandler.Ted Kremenek2010-01-271-1/+1
* Teach RegionStore to handle initialization of incomplete arrays in structures...Ted Kremenek2010-01-261-11/+18
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+2015
OpenPOWER on IntegriCloud