summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* First step toward fixing <rdar://problem/6613046> refactor clang objc type re...Steve Naroff2009-06-171-1/+1
* Start moving in the direction of removing GRStateRef. Now eachTed Kremenek2009-06-171-188/+208
* RegionStoreManager:Ted Kremenek2009-06-161-198/+272
* Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu2009-06-161-10/+13
* Stop tracking non-compound value for struct. It may be caused by imprecise castZhongxing Xu2009-06-131-2/+4
* use getAsPointerType() method.Zhongxing Xu2009-06-121-1/+1
* Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See theZhongxing Xu2009-06-111-0/+3
* Use more robust getAsRecordType() method.Zhongxing Xu2009-06-111-1/+1
* Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve().Zhongxing Xu2009-05-201-2/+5
* * API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu2009-05-201-5/+18
* Silence a Release-Asserts warning.Daniel Dunbar2009-05-181-0/+1
* Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu2009-05-121-3/+14
* When retrieving an ElementRegion, if its super region is a StringRegion,Zhongxing Xu2009-05-111-0/+18
* Fix a bug that leads to infinite loop. Set the correct element type toZhongxing Xu2009-05-111-4/+2
* When casting VarRegion, if the var type is aggregate type and the cast-toZhongxing Xu2009-05-091-1/+2
* Remove the rest TypedViewRegion processing code. There should be noZhongxing Xu2009-05-091-53/+0
* 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
OpenPOWER on IntegriCloud