summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Actually all regions whose super region is not MemSpaceRegion are of these 3Zhongxing Xu2009-10-171-5/+4
* retain/release checker: Stop tracking reference counts for any symbols touche...Ted Kremenek2009-10-161-4/+18
* Per an astute observation from Zhongxing Xu, remove a "special case" logic inTed Kremenek2009-10-151-22/+0
* * Remove unused GRState* parameterZhongxing Xu2009-10-141-25/+18
* Add an initial implementation of EnterStackFrame() to the StoreManager.Zhongxing Xu2009-10-131-0/+22
* Introduces a new BindingVal which combines direct andZhongxing Xu2009-10-111-190/+165
* Make the behavior explicit by not using the method call.Zhongxing Xu2009-10-091-2/+2
* Remove unused code.Zhongxing Xu2009-10-091-7/+0
* Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek2009-10-061-10/+23
* Desugaring optimizations. Add single-step desugaring methods to allJohn McCall2009-09-291-1/+1
* Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((uns...Ted Kremenek2009-09-291-1/+8
* Fix really insidious bug in RegionStoreManager::RemoveDeadBindings()Ted Kremenek2009-09-291-155/+161
* Reapply most of r82939, but add a guard that FieldRegions and friendsTed Kremenek2009-09-291-4/+9
* Revert r82939. We can only not special case FieldRegions when the super regi...Ted Kremenek2009-09-291-9/+5
* Specially handle fields, elements, and ivars inTed Kremenek2009-09-271-5/+9
* Add FIXME comment.Ted Kremenek2009-09-271-0/+4
* Fix:Ted Kremenek2009-09-271-52/+81
* Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' inste...Ted Kremenek2009-09-241-1/+1
* Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic paramete...Ted Kremenek2009-09-241-6/+22
* Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ...Ted Kremenek2009-09-221-4/+5
* Change all the Type::getAsFoo() methods to specializations of Type::getAs().John McCall2009-09-211-1/+1
* Provide intermediate solution to handling assignments to structs via anTed Kremenek2009-09-211-0/+4
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-252/+252
* Fix buffer overflow reported in PR 4903.Ted Kremenek2009-09-051-5/+8
* Handle pointer arithmetic in RegionStoreManager involving Objective-C pointersTed Kremenek2009-08-251-2/+8
* Fix crash reported in <rdar://problem/7124210> by "back-porting" some of theTed Kremenek2009-08-251-14/+0
* Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek2009-08-211-36/+3
* Add LocationContext* field to VarRegion. This is needed for interprocedural ...Ted Kremenek2009-08-211-12/+18
* Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl fromZhongxing Xu2009-08-211-19/+25
* To make the analysis independent on the locally stored liveness and cfgZhongxing Xu2009-08-171-1/+3
* Fix a few more false positives involving RegionStore and unions, but this timeTed Kremenek2009-08-061-85/+55
* Fix a couple false positive "uninitialized value" warnings with RegionStoreTed Kremenek2009-08-061-1/+22
* I have a dream, one day, we won't need to do this.Mike Stump2009-08-061-0/+1
* Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of ...Ted Kremenek2009-08-061-93/+154
* Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They ar...Ted Kremenek2009-08-061-10/+0
* Completely remove the code using region cast.Zhongxing Xu2009-08-061-59/+0
* Implement lazy "copying" of structures and arrays in RegionStore. WhileTed Kremenek2009-08-061-37/+168
* Use feedback from RegionStoreSubRegionMap::add() to prune off adding a superTed Kremenek2009-08-051-7/+11
* Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wou...Ted Kremenek2009-08-051-2/+4
* Handle disgusting corner case where a byte is loaded from the address of a fu...Ted Kremenek2009-08-031-1/+3
* Remove RegionViews and RegionCasts. These are no longer used.Ted Kremenek2009-08-021-135/+4
* RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings ...Ted Kremenek2009-08-021-2/+32
* Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat...Ted Kremenek2009-08-021-7/+8
* This is a fairly large patch, which resulted from a cascade of changesTed Kremenek2009-08-011-115/+231
* Change uses of:Ted Kremenek2009-07-291-11/+11
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-9/+1
* Make StoreManager::InvalidateRegion() virtual, move the current implementationTed Kremenek2009-07-291-0/+100
* Temporarily disable most use of region casts in RegionStoreManager,Ted Kremenek2009-07-221-8/+32
* Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek2009-07-211-29/+27
* RegionStore:Ted Kremenek2009-07-211-11/+35
OpenPOWER on IntegriCloud