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