Age | Commit message (Expand) | Author |
---|---|---|
2010-03-17 | Mark CXXThisRegion in the current or parent stack frame context as live so that | Zhongxing Xu |
2010-03-01 | Since now we store the cast type with an ElementRegion, there is | Zhongxing Xu |
2010-02-08 | Fix -Asserts warning. | Daniel Dunbar |
2010-02-08 | Unify the implementation of getLValueElement of store managers. | Zhongxing Xu |
2010-02-08 | Unify the implementation of getLValueIvar and getLValueField of store managers. | Zhongxing Xu |
2010-02-08 | ASTContext is now a reference member of StoreManager. | Zhongxing Xu |
2010-02-08 | Add support for binding and retrieving VarRegions in flat store. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-05 | More GRState* -> Store changes. | Zhongxing Xu |
2010-02-04 | Now that CastRetrievedVal returns SVal, there is no need to use CastResult. | Zhongxing Xu |
2010-02-03 | Add skeleton of flat store manager. | Zhongxing Xu |