aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/FlatStore.cpp
AgeCommit message (Expand)Author
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-02-08Fix -Asserts warning.Daniel Dunbar
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-08ASTContext is now a reference member of StoreManager.Zhongxing Xu
2010-02-08Add support for binding and retrieving VarRegions in flat store.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-05More GRState* -> Store changes.Zhongxing Xu
2010-02-04Now that CastRetrievedVal returns SVal, there is no need to use CastResult.Zhongxing Xu
2010-02-03Add skeleton of flat store manager.Zhongxing Xu