aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/RegionStore.cpp
AgeCommit message (Expand)Author
2010-04-09Remove copy of 'Optional' in Clang tree, and convert clients to use the one n...Ted Kremenek
2010-04-01Use the element type to compute the array size when the base region is a VarR...Zhongxing Xu
2010-04-01Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() whereTed Kremenek
2010-03-30RegionStore: specially handle loads from integer global variables declared 'c...Ted Kremenek
2010-03-30Use 'const Optional<SVal>&' to avoid an extra copy.Ted Kremenek
2010-03-23Bind the constructed object value to CXXConstructExpr.Zhongxing Xu
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-16Add VisitCXXContructExpr logic to the analyzer. This still has not fully workedZhongxing Xu
2010-03-10Simplify assertion.Ted Kremenek
2010-03-10Remove '#if 0' code. Lazy compound values have proven their worth.Ted Kremenek
2010-03-10Remove the subregion map cache. It is no longer used.Ted Kremenek
2010-03-10Fix stale comment.Ted Kremenek
2010-03-10Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor Regi...Ted Kremenek
2010-03-10Refactor RegionStore::RemoveDeadBindings to use the same coreTed Kremenek
2010-03-10Refactor some of RegionStore's InvalidateRegionsWorker classTed Kremenek
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-03-01Assert when loading from a code text region instead of returning an unknown s...Zhongxing Xu
2010-02-13Enhance RegionStore::InvalidateRegions() to correctly invalidate bindingsTed Kremenek
2010-02-13Pull logic for visiting value bindings in InvalidateRegionsWorker into a sepa...Ted Kremenek
2010-02-11Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor
2010-02-10Add comment.Zhongxing Xu
2010-02-09Fix lookup of fields from lazy bindings to check if the region isTed Kremenek
2010-02-08Revert 95541.Ted Kremenek
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-02-08Like for symbolic region, automatically create a element zero region for Zhongxing Xu
2010-02-08Unify the implementation of getLValueElement of store managers.Zhongxing Xu
2010-02-08Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu
2010-02-08Move common methods to the base StoreManager class.Zhongxing Xu
2010-02-06Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are im...Ted Kremenek
2010-02-06Fix regression in RegionStore (from BasicStore) where static variables were n...Ted Kremenek
2010-02-06Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05Remove unused parameter.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need toZhongxing Xu
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