| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | * Do the same thing to the basicstore as in r84163. | Zhongxing Xu | 2009-11-16 | 1 | -4/+8 |
| * | Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal. | Zhongxing Xu | 2009-11-12 | 1 | -3/+4 |
| * | Rename: StripCasts describes what it does better. | Zhongxing Xu | 2009-11-10 | 1 | -1/+1 |
| * | Fix clang's use of DenseMap iterators after r86636 fixed their constness. | Jeffrey Yasskin | 2009-11-10 | 1 | -1/+1 |
| * | Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass of | Douglas Gregor | 2009-11-09 | 1 | -1/+1 |
| * | Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,... | Ted Kremenek | 2009-11-04 | 1 | -8/+6 |
| * | Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out | Ted Kremenek | 2009-10-29 | 1 | -2/+23 |
| * | RegionStore: Use the *default* binding (instead of the *direct* binding) of a... | Ted Kremenek | 2009-10-20 | 1 | -3/+3 |
| * | use DenseSet instead of SmallSet. | Zhongxing Xu | 2009-10-18 | 1 | -2/+2 |
| * | Minor cleanup: move typedef out of anonymous namespace (which now contains no... | Ted Kremenek | 2009-10-17 | 1 | -4/+2 |
| * | Per discussion with Ted, the 'FromSuper'/'FromSub' logic is invalid. Simplify | Zhongxing Xu | 2009-10-17 | 1 | -72/+33 |
| * | Actually all regions whose super region is not MemSpaceRegion are of these 3 | Zhongxing Xu | 2009-10-17 | 1 | -5/+4 |
| * | retain/release checker: Stop tracking reference counts for any symbols touche... | Ted Kremenek | 2009-10-16 | 1 | -4/+18 |
| * | Per an astute observation from Zhongxing Xu, remove a "special case" logic in | Ted Kremenek | 2009-10-15 | 1 | -22/+0 |
| * | * Remove unused GRState* parameter | Zhongxing Xu | 2009-10-14 | 1 | -25/+18 |
| * | Add an initial implementation of EnterStackFrame() to the StoreManager. | Zhongxing Xu | 2009-10-13 | 1 | -0/+22 |
| * | Introduces a new BindingVal which combines direct and | Zhongxing Xu | 2009-10-11 | 1 | -190/+165 |
| * | Make the behavior explicit by not using the method call. | Zhongxing Xu | 2009-10-09 | 1 | -2/+2 |
| * | Remove unused code. | Zhongxing Xu | 2009-10-09 | 1 | -7/+0 |
| * | Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when | Ted Kremenek | 2009-10-06 | 1 | -10/+23 |
| * | Desugaring optimizations. Add single-step desugaring methods to all | John McCall | 2009-09-29 | 1 | -1/+1 |
| * | Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((uns... | Ted Kremenek | 2009-09-29 | 1 | -1/+8 |
| * | Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() | Ted Kremenek | 2009-09-29 | 1 | -155/+161 |
| * | Reapply most of r82939, but add a guard that FieldRegions and friends | Ted Kremenek | 2009-09-29 | 1 | -4/+9 |
| * | Revert r82939. We can only not special case FieldRegions when the super regi... | Ted Kremenek | 2009-09-29 | 1 | -9/+5 |
| * | Specially handle fields, elements, and ivars in | Ted Kremenek | 2009-09-27 | 1 | -5/+9 |
| * | Add FIXME comment. | Ted Kremenek | 2009-09-27 | 1 | -0/+4 |
| * | Fix: | Ted Kremenek | 2009-09-27 | 1 | -52/+81 |
| * | Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' inste... | Ted Kremenek | 2009-09-24 | 1 | -1/+1 |
| * | Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic paramete... | Ted Kremenek | 2009-09-24 | 1 | -6/+22 |
| * | Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ... | Ted Kremenek | 2009-09-22 | 1 | -4/+5 |
| * | Change all the Type::getAsFoo() methods to specializations of Type::getAs(). | John McCall | 2009-09-21 | 1 | -1/+1 |
| * | Provide intermediate solution to handling assignments to structs via an | Ted Kremenek | 2009-09-21 | 1 | -0/+4 |
| * | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -252/+252 |
| * | Fix buffer overflow reported in PR 4903. | Ted Kremenek | 2009-09-05 | 1 | -5/+8 |
| * | Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers | Ted Kremenek | 2009-08-25 | 1 | -2/+8 |
| * | Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the | Ted Kremenek | 2009-08-25 | 1 | -14/+0 |
| * | Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. | Ted Kremenek | 2009-08-21 | 1 | -36/+3 |
| * | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek | 2009-08-21 | 1 | -12/+18 |
| * | Eagerly bind 'self' to SelfRegion. Thus we do not need to get code decl from | Zhongxing Xu | 2009-08-21 | 1 | -19/+25 |
| * | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu | 2009-08-17 | 1 | -1/+3 |
| * | Fix a few more false positives involving RegionStore and unions, but this time | Ted Kremenek | 2009-08-06 | 1 | -85/+55 |
| * | Fix a couple false positive "uninitialized value" warnings with RegionStore | Ted Kremenek | 2009-08-06 | 1 | -1/+22 |
| * | I have a dream, one day, we won't need to do this. | Mike Stump | 2009-08-06 | 1 | -0/+1 |
| * | Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of ... | Ted Kremenek | 2009-08-06 | 1 | -93/+154 |
| * | Remove unimplemented methods 'AddRegionView' and 'RemoveRegionView'. They ar... | Ted Kremenek | 2009-08-06 | 1 | -10/+0 |
| * | Completely remove the code using region cast. | Zhongxing Xu | 2009-08-06 | 1 | -59/+0 |
| * | Implement lazy "copying" of structures and arrays in RegionStore. While | Ted Kremenek | 2009-08-06 | 1 | -37/+168 |
| * | Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super | Ted Kremenek | 2009-08-05 | 1 | -7/+11 |
| * | Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wou... | Ted Kremenek | 2009-08-05 | 1 | -2/+4 |
