summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
* Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...Ted Kremenek2010-09-151-1/+1
* MemRegion can refer to ASTContext without external help.Zhongxing Xu2010-08-111-4/+3
* Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We Zhongxing Xu2010-08-031-2/+1
* Pull the region offset computation logic into a single method.Zhongxing Xu2010-08-031-39/+57
* Improve flat store: MemRegion::getAsOffset() computes a region's offset withinZhongxing Xu2010-08-021-1/+46
* Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace...Ted Kremenek2010-07-061-1/+8
* Track extents for VLAs.Jordy Rose2010-07-051-2/+3
* Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose2010-07-041-0/+47
* Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek2010-07-011-44/+78
* Discard qualifiers for ElementRegions so that a 'const' doesn't change the lo...Ted Kremenek2010-05-271-1/+1
* Add raw_ostream operators to NamedDecl for convenience. Switch over all users...Benjamin Kramer2010-04-171-3/+3
* Teach MemRegion::getBaseRegion() about ObjCIvarRegions. We want to treatTed Kremenek2010-04-061-7/+8
* Checker: random include cleanup.Benjamin Kramer2010-03-271-2/+2
* For inline-based inter-procedural analysis, we will have multiple stack space...Zhongxing Xu2010-02-171-9/+16
* Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor2010-02-111-1/+1
* Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek2010-02-061-1/+1
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+799
OpenPOWER on IntegriCloud