aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
AgeCommit message (Expand)Author
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
2009-08-05Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wou...Ted Kremenek
2009-08-03Handle disgusting corner case where a byte is loaded from the address of a fu...Ted Kremenek
2009-08-02Remove RegionViews and RegionCasts. These are no longer used.Ted Kremenek
2009-08-02RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings ...Ted Kremenek
2009-08-02Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat...Ted Kremenek
2009-08-01This is a fairly large patch, which resulted from a cascade of changesTed Kremenek
2009-07-29Change uses of:Ted Kremenek
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-29Make StoreManager::InvalidateRegion() virtual, move the current implementationTed Kremenek
2009-07-22Temporarily disable most use of region casts in RegionStoreManager,Ted Kremenek
2009-07-21Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek
2009-07-21RegionStore:Ted Kremenek
2009-07-20Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-orderTed Kremenek
2009-07-17Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methodsTed Kremenek
2009-07-17Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), ...Ted Kremenek
2009-07-16Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.Ted Kremenek
2009-07-16Move RegionStoreManager over to using newTed Kremenek
2009-07-16Use utility method to create 0-index into ElementRegion.Ted Kremenek
2009-07-15Enhance RegionStore's reasoning about Objective-C ivars. More testing to fol...Ted Kremenek
2009-07-15Use utility method.Zhongxing Xu
2009-07-15Relax assertion.Ted Kremenek
2009-07-15More test cases revealed that the logic in StoreManager::InvalidateRegion() n...Ted Kremenek
2009-07-14Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do...Ted Kremenek
2009-07-14Instead of recovering from a wrong invalidation, this patch aims to Zhongxing Xu
2009-07-13Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek
2009-07-13Change pretty-printing API for SymExprs and MemRegions to use a naming conven...Ted Kremenek
2009-07-11Restructure RegionStoreManager::EvalBinOp() as a switch dispatch over differentTed Kremenek