summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Lexically order the implementation of MemRegion 'print' methods. No function...Ted Kremenek2009-04-211-18/+18
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-1/+16
* Add prototype for CodeTextRegion.Zhongxing Xu2009-04-101-0/+48
* Re-apply 68028. The code had drifted enough that the tests would fail withoutTed Kremenek2009-03-301-22/+0
* Revert 68028.Ted Kremenek2009-03-301-0/+22
* Make SymbolicRegion untyped.Zhongxing Xu2009-03-301-22/+0
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-10/+4
* Add TypedViewRegion::isBoundable() to indicate whether or not theTed Kremenek2009-03-111-1/+1
* MemRegion:Ted Kremenek2009-03-041-2/+3
* Added the notion of a "boundable region", which is a region that can have a d...Ted Kremenek2009-03-041-6/+16
* Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek2009-03-031-2/+1
* Rename AnonTypedRegion to TypedViewRegion.Ted Kremenek2009-03-011-9/+9
* Create ElementRegion when the base is SymbolicRegion. This is like what we doZhongxing Xu2009-02-061-10/+6
* Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu2009-02-051-6/+26
* Fix a couple bugs:Ted Kremenek2009-01-301-2/+3
* Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegi...Ted Kremenek2009-01-241-9/+6
* When getting the element region type, we should get the rvalue type of the superZhongxing Xu2009-01-231-2/+2
* StringRegion::print: Remove copy/paste code and just call Stmt::printPretty()...Ted Kremenek2009-01-161-17/+1
* Add isSubRegionOf() method to SubRegion.Zhongxing Xu2009-01-081-0/+13
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-0/+14
* Add pretty-printing for AnonTypedRegion.Ted Kremenek2008-12-171-0/+6
* MemRegion:Ted Kremenek2008-12-131-35/+11
* A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek2008-12-131-4/+4
* Identify AnonPointeeRegion by the symbol that is concretized.Zhongxing Xu2008-12-111-10/+7
* AnonPointeeRegions are now identified by the MemRegion of the pointer pointingZhongxing Xu2008-12-111-6/+6
* Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...Ted Kremenek2008-12-051-1/+2
OpenPOWER on IntegriCloud