aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/Store.cpp
AgeCommit message (Expand)Author
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-28Use SymbolicRegion instead of CodeTextRegion for symbolic functionTed Kremenek
2009-08-25Fix crash reported in <rdar://problem/7124210> by "back-porting" some of theTed Kremenek
2009-08-02Fix regression in StoreManager::CastRegion() to always treat casts toTed 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-22Fix a crasher in StoreManager::InvalidateRegion() caused by using theTed Kremenek
2009-07-18Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or ...Ted 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-16Remove ASTContext::isObjCObjectPointerType().Steve Naroff
2009-07-15rewrite the logic to make it follow the comments more closely.Zhongxing Xu
2009-07-15More test cases revealed that the logic in StoreManager::InvalidateRegion() n...Ted Kremenek
2009-07-14Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion.Ted Kremenek
2009-07-14Instead of recovering from a wrong invalidation, this patch aims to Zhongxing Xu
2009-07-10Revert r75281 and simply remove the assertion in NewCastRegion thatTed Kremenek
2009-07-10Fix crash in StoreManager::NewCastRegion regarding handling casts to void*,Ted Kremenek
2009-07-07fix comment.Zhongxing Xu
2009-07-06NewCastRegion: Handle casts *from* pointers to incomplete structs to other ty...Ted Kremenek
2009-07-06Fix 80 col violation.Ted Kremenek
2009-07-06Restructure NewCastRegion to use a switch statement that dispatches off theTed Kremenek
2009-07-06Fix 80 col violation.Ted Kremenek
2009-07-06NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids.Ted Kremenek
2009-07-06Implement FIXME.Ted Kremenek
2009-07-06StoreManager::NewCastRegion:Ted Kremenek
2009-07-06NewCastRegion:Ted Kremenek
2009-07-06Fix loop so that 'continue' statements actually cause the loop to iterate.Ted Kremenek
2009-07-06Move the new 'CastRegion' implementation from RegionStoreManager to StoreManagerTed Kremenek
2009-07-06Further cleanup of region invalidation code. No functionality change.Zhongxing Xu
2009-07-06Start to gradually move region invalidation code into store manager.Zhongxing Xu
2009-06-30Update old CastRegion logic to not assume that ElementRegion's super region is aTed Kremenek
2009-06-16Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-06Fix analyzer regression reported in PR 4164:Ted Kremenek
2009-05-04Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.Ted Kremenek
2009-05-04Zhongxing already implemented this FIXME.Ted Kremenek
2009-05-04array indexes are unsigned integers of the same width as pointer.Zhongxing Xu
2009-05-04BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.Ted Kremenek
2009-05-04Handle 'long x = 0; char *y = (char *) x;' by layering anTed Kremenek
2009-05-01StoreManager::CastRegion:Ted Kremenek
2009-04-21This patch is largely due to Zhongxing Xu. I've simply applied it because ofTed Kremenek
2009-04-21Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek