| Commit message (Expand) | Author | Age | Files | Lines |
* | Fix regression in StoreManager::CastRegion() to always treat casts to | Ted Kremenek | 2009-08-02 | 1 | -3/+7 |
* | This is a fairly large patch, which resulted from a cascade of changes | Ted Kremenek | 2009-08-01 | 1 | -47/+96 |
* | Change uses of: | Ted Kremenek | 2009-07-29 | 1 | -2/+2 |
* | Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only | Ted Kremenek | 2009-07-29 | 1 | -95/+5 |
* | Make StoreManager::InvalidateRegion() virtual, move the current implementation | Ted Kremenek | 2009-07-29 | 1 | -92/+0 |
* | Fix a crasher in StoreManager::InvalidateRegion() caused by using the | Ted Kremenek | 2009-07-22 | 1 | -0/+8 |
* | Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or ... | Ted Kremenek | 2009-07-18 | 1 | -2/+20 |
* | Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods | Ted Kremenek | 2009-07-17 | 1 | -3/+3 |
* | Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), ... | Ted Kremenek | 2009-07-17 | 1 | -1/+1 |
* | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek | 2009-07-16 | 1 | -2/+2 |
* | Remove ASTContext::isObjCObjectPointerType(). | Steve Naroff | 2009-07-16 | 1 | -1/+1 |
* | rewrite the logic to make it follow the comments more closely. | Zhongxing Xu | 2009-07-15 | 1 | -1/+2 |
* | More test cases revealed that the logic in StoreManager::InvalidateRegion() n... | Ted Kremenek | 2009-07-15 | 1 | -6/+10 |
* | Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. | Ted Kremenek | 2009-07-14 | 1 | -1/+5 |
* | Instead of recovering from a wrong invalidation, this patch aims to | Zhongxing Xu | 2009-07-14 | 1 | -1/+8 |
* | Revert r75281 and simply remove the assertion in NewCastRegion that | Ted Kremenek | 2009-07-10 | 1 | -25/+3 |
* | Fix crash in StoreManager::NewCastRegion regarding handling casts to void*, | Ted Kremenek | 2009-07-10 | 1 | -3/+24 |
* | fix comment. | Zhongxing Xu | 2009-07-07 | 1 | -2/+2 |
* | NewCastRegion: Handle casts *from* pointers to incomplete structs to other ty... | Ted Kremenek | 2009-07-06 | 1 | -9/+19 |
* | Fix 80 col violation. | Ted Kremenek | 2009-07-06 | 1 | -4/+4 |
* | Restructure NewCastRegion to use a switch statement that dispatches off the | Ted Kremenek | 2009-07-06 | 1 | -51/+62 |
* | Fix 80 col violation. | Ted Kremenek | 2009-07-06 | 1 | -2/+2 |
* | NewCastRegion: Handle casts to any Objective-C pointer, not just qualified ids. | Ted Kremenek | 2009-07-06 | 1 | -2/+2 |
* | Implement FIXME. | Ted Kremenek | 2009-07-06 | 1 | -1/+1 |
* | StoreManager::NewCastRegion: | Ted Kremenek | 2009-07-06 | 1 | -10/+22 |
* | NewCastRegion: | Ted Kremenek | 2009-07-06 | 1 | -12/+10 |
* | Fix loop so that 'continue' statements actually cause the loop to iterate. | Ted Kremenek | 2009-07-06 | 1 | -2/+1 |
* | Move the new 'CastRegion' implementation from RegionStoreManager to StoreManager | Ted Kremenek | 2009-07-06 | 1 | -2/+80 |
* | Further cleanup of region invalidation code. No functionality change. | Zhongxing Xu | 2009-07-06 | 1 | -7/+18 |
* | Start to gradually move region invalidation code into store manager. | Zhongxing Xu | 2009-07-06 | 1 | -0/+57 |
* | Update old CastRegion logic to not assume that ElementRegion's super region is a | Ted Kremenek | 2009-06-30 | 1 | -3/+3 |
* | Use canonical type for building ElementRegion. Otherwise ElementRegions cannot | Zhongxing Xu | 2009-06-16 | 1 | -1/+2 |
* | rename: MemRegion: | Zhongxing Xu | 2009-05-09 | 1 | -1/+1 |
* | Fix analyzer regression reported in PR 4164: | Ted Kremenek | 2009-05-06 | 1 | -12/+31 |
* | Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. | Ted Kremenek | 2009-05-04 | 1 | -1/+1 |
* | Zhongxing already implemented this FIXME. | Ted Kremenek | 2009-05-04 | 1 | -2/+0 |
* | array indexes are unsigned integers of the same width as pointer. | Zhongxing Xu | 2009-05-04 | 1 | -1/+1 |
* | BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. | Ted Kremenek | 2009-05-04 | 1 | -1/+6 |
* | Handle 'long x = 0; char *y = (char *) x;' by layering an | Ted Kremenek | 2009-05-04 | 1 | -5/+20 |
* | StoreManager::CastRegion: | Ted Kremenek | 2009-05-01 | 1 | -4/+10 |
* | This patch is largely due to Zhongxing Xu. I've simply applied it because of | Ted Kremenek | 2009-04-21 | 1 | -11/+31 |
* | Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' | Ted Kremenek | 2009-04-21 | 1 | -0/+47 |