summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which ...Ted Kremenek2008-12-051-1/+1
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-2/+2
* Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of Chris Lattner2008-11-241-2/+2
* Fold assertion into second valid else branch. This removes a compiler warningTed Kremenek2008-11-171-3/+2
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-161-1/+25
* Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion'sZhongxing Xu2008-11-131-2/+12
* Fix StringLiteral print bug.Zhongxing Xu2008-11-111-1/+17
* Add pretty printing to StringRegion.Zhongxing Xu2008-11-101-0/+4
* - Remove AnonTypedRegion, which is not to be used.Zhongxing Xu2008-11-031-15/+9
* Added AllocaRegion, which represents regions created by calls to alloca().Ted Kremenek2008-11-021-2/+35
* Pull determination of the super region for a VarRegion into a single getVarRe...Ted Kremenek2008-10-271-2/+5
* Added CompoundLiteralRegion to represent the (temporary) memory allocated for...Ted Kremenek2008-10-271-0/+41
* An ElementRegion is really a typed region. Its super region's type has to be ...Zhongxing Xu2008-10-271-0/+7
* Add StringRegion to MemRegions.Zhongxing Xu2008-10-251-0/+27
* Added region ObjCObjectRegion that represents an instance of an Objective-C o...Ted Kremenek2008-10-241-0/+21
* Add printing method to ElementRegion.Zhongxing Xu2008-10-241-0/+5
* Add ElementRegion to represent memory chunks for array elements.Zhongxing Xu2008-10-211-0/+28
* Add pretty-printing support for FieldRegions.Ted Kremenek2008-10-171-0/+5
* - constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek2008-10-171-7/+49
* This is the first step to implement a field-sensitive store model. Other thin...Zhongxing Xu2008-10-081-0/+34
OpenPOWER on IntegriCloud