aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/MemRegion.cpp
AgeCommit message (Expand)Author
2009-02-06Create ElementRegion when the base is SymbolicRegion. This is like what we doZhongxing Xu
2009-02-05Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu
2009-01-30Fix a couple bugs:Ted Kremenek
2009-01-24Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegi...Ted Kremenek
2009-01-23When getting the element region type, we should get the rvalue type of the superZhongxing Xu
2009-01-16StringRegion::print: Remove copy/paste code and just call Stmt::printPretty()...Ted Kremenek
2009-01-08Add isSubRegionOf() method to SubRegion.Zhongxing Xu
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-17Add pretty-printing for AnonTypedRegion.Ted Kremenek
2008-12-13MemRegion:Ted Kremenek
2008-12-13A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek
2008-12-11Identify AnonPointeeRegion by the symbol that is concretized.Zhongxing Xu
2008-12-11AnonPointeeRegions are now identified by the MemRegion of the pointer pointingZhongxing Xu
2008-12-05Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...Ted Kremenek
2008-12-05Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which ...Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-11-24Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of Chris Lattner
2008-11-17Fold assertion into second valid else branch. This removes a compiler warningTed Kremenek
2008-11-16Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu
2008-11-13Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion'sZhongxing Xu
2008-11-11Fix StringLiteral print bug.Zhongxing Xu
2008-11-10Add pretty printing to StringRegion.Zhongxing Xu
2008-11-03- Remove AnonTypedRegion, which is not to be used.Zhongxing Xu
2008-11-02Added AllocaRegion, which represents regions created by calls to alloca().Ted Kremenek
2008-10-27Pull determination of the super region for a VarRegion into a single getVarRe...Ted Kremenek
2008-10-27Added CompoundLiteralRegion to represent the (temporary) memory allocated for...Ted Kremenek
2008-10-27An ElementRegion is really a typed region. Its super region's type has to be ...Zhongxing Xu
2008-10-25Add StringRegion to MemRegions.Zhongxing Xu
2008-10-24Added region ObjCObjectRegion that represents an instance of an Objective-C o...Ted Kremenek
2008-10-24Add printing method to ElementRegion.Zhongxing Xu
2008-10-21Add ElementRegion to represent memory chunks for array elements.Zhongxing Xu
2008-10-17Add pretty-printing support for FieldRegions.Ted Kremenek
2008-10-17- constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek
2008-10-08This is the first step to implement a field-sensitive store model. Other thin...Zhongxing Xu
2008-10-06Fix typos.Zhongxing Xu
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-02 02:14:56 +0000