aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/Store.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-11Roll out ASTContext::getTypeSizeInChars(), replacing instances ofKen Dyck
2010-01-11Switch RegionStore over to using <BaseRegion+raw offset> to storeTed Kremenek
2010-01-05Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek
2009-12-16Completely remove ObjCObjectRegion (tests pass this time).Ted Kremenek
2009-12-16Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-12-11Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek
2009-12-09OSAtomic simulation: use the original region as the location to load from,Zhongxing Xu
2009-12-07Add analysis support for blocks. This includes a few key changes:Ted Kremenek
2009-12-03Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult...Ted Kremenek
2009-11-25Add missing case in switch statement.Ted Kremenek
2009-11-25Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...Ted Kremenek
2009-11-19Only fetch the ASTContext object within the assertion.Ted Kremenek
2009-11-19Silence -Asserts warning.Daniel Dunbar
2009-11-16First part of changes to eliminate problems with cv-qualifiers andDouglas Gregor
2009-11-16* Do the same thing to the basicstore as in r84163.Zhongxing Xu
2009-11-10Rename: StripCasts describes what it does better. Zhongxing Xu
2009-10-14Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion.Zhongxing Xu
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