index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Checker
/
RegionStore.cpp
Age
Commit message (
Expand
)
Author
2010-04-09
Remove copy of 'Optional' in Clang tree, and convert clients to use the one n...
Ted Kremenek
2010-04-01
Use the element type to compute the array size when the base region is a VarR...
Zhongxing Xu
2010-04-01
Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() where
Ted Kremenek
2010-03-30
RegionStore: specially handle loads from integer global variables declared 'c...
Ted Kremenek
2010-03-30
Use 'const Optional<SVal>&' to avoid an extra copy.
Ted Kremenek
2010-03-23
Bind the constructed object value to CXXConstructExpr.
Zhongxing Xu
2010-03-17
Mark CXXThisRegion in the current or parent stack frame context as live so that
Zhongxing Xu
2010-03-16
Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked
Zhongxing Xu
2010-03-10
Simplify assertion.
Ted Kremenek
2010-03-10
Remove '#if 0' code. Lazy compound values have proven their worth.
Ted Kremenek
2010-03-10
Remove the subregion map cache. It is no longer used.
Ted Kremenek
2010-03-10
Fix stale comment.
Ted Kremenek
2010-03-10
Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor Regi...
Ted Kremenek
2010-03-10
Refactor RegionStore::RemoveDeadBindings to use the same core
Ted Kremenek
2010-03-10
Refactor some of RegionStore's InvalidateRegionsWorker class
Ted Kremenek
2010-03-01
Since now we store the cast type with an ElementRegion, there is
Zhongxing Xu
2010-03-01
Assert when loading from a code text region instead of returning an unknown s...
Zhongxing Xu
2010-02-13
Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings
Ted Kremenek
2010-02-13
Pull logic for visiting value bindings in InvalidateRegionsWorker into a sepa...
Ted Kremenek
2010-02-11
Eliminate the ASTContext parameter from RecordDecl::getDefinition()
Douglas Gregor
2010-02-10
Add comment.
Zhongxing Xu
2010-02-09
Fix lookup of fields from lazy bindings to check if the region is
Ted Kremenek
2010-02-08
Revert 95541.
Ted Kremenek
2010-02-08
Rename: GRState::getSVal(Stmt*) => getExprVal(),
Zhongxing Xu
2010-02-08
Like for symbolic region, automatically create a element zero region for
Zhongxing Xu
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
Move common methods to the base StoreManager class.
Zhongxing Xu
2010-02-06
Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are im...
Ted Kremenek
2010-02-06
Fix regression in RegionStore (from BasicStore) where static variables were n...
Ted Kremenek
2010-02-06
Teach RegionStore::InvalidateRegions() to also invalidate static variables re...
Ted Kremenek
2010-02-05
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
Remove unused parameter.
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
Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to
Zhongxing Xu
2010-02-04
Cast evaluation no longer touch GRState.
Zhongxing Xu
2010-02-04
Remove stray typo.
Ted Kremenek
2010-02-04
Now that CastRetrievedVal returns SVal, there is no need to use CastResult.
Zhongxing Xu
2010-02-03
Fix regression in RegionStore due to recent changes in
Ted Kremenek
2010-02-03
Rework RegionStoreManager's implementation of InvalidateRegions() to
Ted Kremenek
2010-02-02
Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_e...
Ted Kremenek
2010-01-27
Add missing call to Optional<...>.getValue() that was pointed out by Chandler.
Ted Kremenek
2010-01-26
Teach RegionStore to handle initialization of incomplete arrays in structures...
Ted Kremenek
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek