summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
* Completely remove ObjCObjectRegion (tests pass this time).Ted Kremenek2009-12-161-6/+0
* Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu2009-12-161-0/+16
* Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...Ted Kremenek2009-12-141-0/+9
* Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek2009-12-111-9/+22
* Add analysis support for blocks. This includes a few key changes:Ted Kremenek2009-12-071-138/+139
* constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.Ted Kremenek2009-12-041-24/+26
* More template-logic for MemRegion construction out of MemRegion.h and into Me...Ted Kremenek2009-12-041-0/+155
* Make BlockDataRegion::referenced_vars_iterator an actual class that enforces ...Ted Kremenek2009-12-031-2/+4
* Provide the correct vector size for referenced variables.Ted Kremenek2009-12-011-1/+1
* Add iterators to BlockDataRegion that allow clients to iterate over the VarRe...Ted Kremenek2009-11-261-1/+61
* Refine MemRegions for blocks. Add a new region calledTed Kremenek2009-11-251-1/+31
* Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...Ted Kremenek2009-11-251-9/+31
* Refine PointerSubChecker: compare the base region instead of the original Zhongxing Xu2009-11-101-0/+18
* Rename: StripCasts describes what it does better. Zhongxing Xu2009-11-101-1/+1
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-19/+19
* Use SymbolicRegion instead of CodeTextRegion for symbolic functionTed Kremenek2009-08-281-19/+8
* Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek2009-08-211-2/+9
* Add LocationContext* field to VarRegion. This is needed for interprocedural ...Ted Kremenek2009-08-211-2/+7
* This is a fairly large patch, which resulted from a cascade of changesTed Kremenek2009-08-011-4/+67
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-27/+0
* Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions withTed Kremenek2009-07-291-0/+20
* Implement FIXME in pretty-printing for StringRegions.Ted Kremenek2009-07-191-3/+2
* Improve debug pretty-printing for ObjCIVarRegions.Ted Kremenek2009-07-191-0/+4
* Move RegionStoreManager over to using newTed Kremenek2009-07-161-1/+2
* Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek2009-07-131-1/+1
* When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol...Ted Kremenek2009-07-131-1/+1
* Change pretty-printing API for SymExprs and MemRegions to use a naming conven...Ted Kremenek2009-07-131-20/+17
* Rename potentially ambiguous member template 'getRegion' to 'getSubRegion' to...Ted Kremenek2009-07-101-4/+4
* Enhance RegionStore to lazily symbolicate fields and array elements forTed Kremenek2009-07-021-0/+7
* StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead ofTed Kremenek2009-07-021-1/+17
* Add a separate MemSpaceRegion for function/method arguments passed on the stack.Ted Kremenek2009-07-021-3/+11
* Remove commented methods. Add MemRegion::printStdErr().Ted Kremenek2009-07-021-0/+4
* Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.Chris Lattner2009-06-301-1/+2
* - Add MemRegion::getMemorySpace()Ted Kremenek2009-06-231-27/+22
* Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek2009-06-231-8/+8
* MemRegionManager: Migrate logic for getCodeTextRegion() over to using Zhongxing Xu2009-06-231-28/+4
* Remove duplicated methods.Zhongxing Xu2009-06-231-16/+20
* MemRegions:Ted Kremenek2009-06-231-4/+16
* MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-bas...Ted Kremenek2009-06-231-16/+4
* MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to useTed Kremenek2009-06-231-30/+3
* Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use theTed Kremenek2009-06-221-28/+2
* Refactor some of the logic in MemRegionManager for constructing regions usingTed Kremenek2009-06-221-70/+15
* Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu2009-06-161-3/+5
* rename: MemRegion:Zhongxing Xu2009-05-091-8/+0
* The super region of ElementRegion no longer needs to be TypedRegion. In theZhongxing Xu2009-05-061-1/+1
* Per conversations with Zhongxing, add an 'element type' toTed Kremenek2009-05-041-17/+8
* MemRegion pretty-printing: Convert DeclName to a string to print out the actualTed Kremenek2009-04-291-1/+1
* Recommit 69694 but this time also include the header changes (sorry for breakingTed Kremenek2009-04-211-0/+10
* Revert 69694 (use of undefined getSymbol)Daniel Dunbar2009-04-211-10/+0
* Add pretty-printing for CodeTextRegions.Ted Kremenek2009-04-211-0/+10
OpenPOWER on IntegriCloud