| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Implement retrieval of the default value of element and field regions. | Zhongxing Xu | 2009-01-23 | 1 | -0/+8 | |
| | | | | | llvm-svn: 62847 | |||||
| * | Add a test case for init expr of array and struct type. | Zhongxing Xu | 2009-01-23 | 1 | -0/+1 | |
| | | | | | llvm-svn: 62845 | |||||
| * | Fix RegionStore::getLValueElement() to handle the case when the base region ↵ | Ted Kremenek | 2009-01-22 | 1 | -2/+3 | |
| | | | | | | | | | is not an ElementRegion (also do some cleanups of its core logic). This gets array-struct.c to work with RegionStore. llvm-svn: 62781 | |||||
| * | Add -analyze action to run static analyzer, instead of inferring from | Daniel Dunbar | 2009-01-20 | 1 | -2/+2 | |
| | | | | | | | individual checker options. llvm-svn: 62634 | |||||
| * | Add KillStruct to region store. | Zhongxing Xu | 2009-01-13 | 1 | -0/+1 | |
| | | | | | | | | | - put the killed region in the kill set. - set its default value to unknown. - removes all bindings for its subregions. llvm-svn: 62138 | |||||
| * | MemRegion: | Ted Kremenek | 2008-12-13 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | - Overhauled the notion of "types" for TypedRegions. We now distinguish between the "lvalue" of a region (via getLValueRegion()) and the "rvalue" of a region (va getRValueRegion()). Since a region represents a chunk of memory it has both, but we were conflating these concepts in some cases, leading to some insidious bugs. - Removed AnonPointeeType, partially because it is unused and because it doesn't have a clear notion of lvalue vs rvalue type. We can add it back once there is a need for it and we can resolve its role with these concepts. StoreManager: - Overhauled StoreManager::CastRegion. It expects an *lvalue* type for a region. This is actually what motivated the overhaul to the MemRegion type mechanism. It also no longer returns an SVal; we can just return a MemRegion*. - BasicStoreManager::CastRegion now overlays an "AnonTypedRegion" for pointer-pointer casts. This matches with the MemRegion changes. - Similar changes to RegionStore, except I've added a bunch of FIXMEs where it wasn't 100% clear where we should use TypedRegion::getRValueRegion() or TypedRegion::getLValueRegion(). AuditCFNumberCreate check: - Now blasts through AnonTypedRegions that may layer the original memory region, thus checking if the actually memory block is of the appropriate type. This change was needed to work with the changes to StoreManager::CastRegion. GRExprEngine::VisitCast: - Conform to the new interface of StoreManager::CastRegion. Tests: - None of the analysis tests fail now for using the "basic store". - Disabled the tests 'array-struct.c' and 'rdar-6442306-1.m' pending further testing and bug fixing. llvm-svn: 60995 | |||||
| * | remove a test case that causes compiler warning. | Zhongxing Xu | 2008-11-30 | 1 | -1/+0 | |
| | | | | | llvm-svn: 60282 | |||||
| * | Add test for initializing array with string literal. | Zhongxing Xu | 2008-11-30 | 1 | -0/+7 | |
| | | | | | llvm-svn: 60281 | |||||
| * | Add documentation for test. | Zhongxing Xu | 2008-11-25 | 1 | -0/+10 | |
| | | | | | llvm-svn: 60002 | |||||
| * | Add no-warning to test case. | Zhongxing Xu | 2008-11-24 | 1 | -1/+1 | |
| | | | | | llvm-svn: 59995 | |||||
| * | Improve test case. | Zhongxing Xu | 2008-11-23 | 1 | -1/+1 | |
| | | | | | llvm-svn: 59902 | |||||
| * | Add test cast for struct array. | Zhongxing Xu | 2008-11-18 | 1 | -0/+4 | |
| | | | | | llvm-svn: 59522 | |||||
| * | Re-enable array-struct test. | Zhongxing Xu | 2008-11-16 | 1 | -1/+1 | |
| | | | | | llvm-svn: 59396 | |||||
| * | - Revert r59229 and r59232: AllocRegion should be immutable. | Ted Kremenek | 2008-11-13 | 1 | -2/+2 | |
| | | | | | | | - Temporarily disabled test Analysis/array-struct.c for region store. llvm-svn: 59245 | |||||
| * | Add test for unsigned array index. | Zhongxing Xu | 2008-11-13 | 1 | -0/+5 | |
| | | | | | llvm-svn: 59239 | |||||
| * | Add test for incomplete struct pointer. | Zhongxing Xu | 2008-11-13 | 1 | -0/+9 | |
| | | | | | llvm-svn: 59236 | |||||
| * | Add a test case for alloca(). | Zhongxing Xu | 2008-11-13 | 1 | -0/+6 | |
| | | | | | llvm-svn: 59233 | |||||
| * | Append the test runs with '&&'. | Argyrios Kyrtzidis | 2008-11-07 | 1 | -1/+1 | |
| | | | | | llvm-svn: 58851 | |||||
| * | Add function side-effect test cast. | Zhongxing Xu | 2008-11-02 | 1 | -0/+7 | |
| | | | | | llvm-svn: 58565 | |||||
| * | Add test code for array initialization. | Zhongxing Xu | 2008-10-31 | 1 | -0/+5 | |
| | | | | | llvm-svn: 58502 | |||||
| * | Add test for SCA region store. | Zhongxing Xu | 2008-10-27 | 1 | -0/+8 | |
| | | | | | llvm-svn: 58234 | |||||
| * | Add StringLiteral test code. | Zhongxing Xu | 2008-10-25 | 1 | -0/+7 | |
| | | | | | llvm-svn: 58136 | |||||
| * | Add random array and struct test code for SCA. | Zhongxing Xu | 2008-10-24 | 1 | -1/+6 | |
| | | | | | llvm-svn: 58085 | |||||
| * | Add test case for array and struct variable lvalue evaluation. | Zhongxing Xu | 2008-10-17 | 1 | -0/+14 | |
| llvm-svn: 57670 | ||||||
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|