summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* When evaluating pointer arithmetic, if the base location is a symbolic region,Zhongxing Xu2009-05-091-18/+15
* Do not create a TypedViewRegion when the base struct region is a symbolicZhongxing Xu2009-05-091-4/+0
* Do not layer a TypedViewRegion when casting symbolic or alloca regions.Zhongxing Xu2009-05-091-13/+9
* Remove the case for casting to compatible type in Zhongxing Xu2009-05-091-10/+2
* Rename:Zhongxing Xu2009-05-091-3/+3
* As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu2009-05-091-13/+13
* rename: MemRegion:Zhongxing Xu2009-05-091-20/+15
* Fix PR4182.Zhongxing Xu2009-05-081-2/+2
* Region store: when casting VarRegions, if the cast-to pointee type is Zhongxing Xu2009-05-081-0/+8
* Replace the heuristic isSmallerThan with ASTContext::getTypeSize().Zhongxing Xu2009-05-081-9/+5
* Replace getTypeWidth() with ASTContext::getTypeSize().Zhongxing Xu2009-05-081-44/+5
* Revert r71079.Zhongxing Xu2009-05-081-2/+2
* Improve RegionStoreManager::getSizeInElements()Zhongxing Xu2009-05-061-2/+53
* Add a GDM for recording the cast type of regions.Zhongxing Xu2009-05-061-2/+25
* Implement a heuristic type size comparison method for now.Zhongxing Xu2009-05-061-3/+19
* remove commented code.Zhongxing Xu2009-05-061-8/+0
* Make StoreManager::CastRegion() virtual and implement a new CastRegion() forZhongxing Xu2009-05-061-0/+80
* Per conversations with Zhongxing, add an 'element type' toTed Kremenek2009-05-041-17/+27
* region store: make Retrieve() can retrieve embedded array correctly. AlsoZhongxing Xu2009-05-031-19/+30
* SymbolicRegions may also be live roots.Zhongxing Xu2009-04-291-0/+4
* Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek2009-04-211-34/+2
* Remove loc::FuncVal.Zhongxing Xu2009-04-201-6/+0
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-40/+5
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-7/+5
* Propagate the ASTContext to various AST traversal and lookup functions.Douglas Gregor2009-04-091-2/+4
* This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu2009-04-031-11/+32
* Re-apply 68028. The code had drifted enough that the tests would fail withoutTed Kremenek2009-03-301-5/+14
* Revert 68028.Ted Kremenek2009-03-301-14/+5
* Make SymbolicRegion untyped.Zhongxing Xu2009-03-301-5/+14
* Implement a FIXME.Zhongxing Xu2009-03-301-7/+2
* remove dead code.Zhongxing Xu2009-03-271-4/+0
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-9/+5
* Use a work list to recursively build up the subregion mapping, and mark liveZhongxing Xu2009-03-181-9/+17
* Updated comment.Ted Kremenek2009-03-131-0/+2
* Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the targetTed Kremenek2009-03-131-6/+7
* Use getAsRecordType() to get around sugar types.Zhongxing Xu2009-03-121-1/+1
* Do not stipulate the record type is a definition in BindStruct().Zhongxing Xu2009-03-111-1/+3
* Fix crash when LHS of pointer arithmetic is not ElementRegion.Zhongxing Xu2009-03-111-3/+15
* RegionStore::getLValueElement: Handle the case where the signedness of theTed Kremenek2009-03-111-2/+6
* RegionStore::getElementLValue(): Handle the case where the base is a null poi...Ted Kremenek2009-03-091-1/+5
* Only track integer and pointer values.Zhongxing Xu2009-03-091-2/+5
* Now we do not retrieve untyped regions.Zhongxing Xu2009-03-091-8/+7
* Fix a serious bug in RegionStore: we got the new state with new store fromZhongxing Xu2009-03-091-4/+2
* Add initial support for tracking ivars, with special handling for ivars of 's...Ted Kremenek2009-03-051-8/+33
* RegionStore: Handle implicit parameters.Ted Kremenek2009-03-041-3/+5
* RegionStore::RemoveDeadBindings needs to check all the symbols of the super r...Ted Kremenek2009-03-041-0/+20
* Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek2009-03-031-4/+3
* Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek2009-03-031-8/+9
* Add StoreManager::getSubRegionMap(). This method returns an opaque mapping f...Ted Kremenek2009-03-031-0/+45
* remove an implemented fixme.Zhongxing Xu2009-03-021-2/+0
OpenPOWER on IntegriCloud