summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/casts.c
Commit message (Collapse)AuthorAgeFilesLines
...
* A further step of r73690: associate the cast-to type with the created symbol,Zhongxing Xu2009-06-191-0/+2
| | | | | | | because the type of the symbol is used to create the default range. We need the sign to be consistent. llvm-svn: 73756
* If the SymbolicRegion was cast to another type, use that type to create the Zhongxing Xu2009-06-191-0/+9
| | | | | | ElementRegion. llvm-svn: 73754
* Modify test case comments.Zhongxing Xu2009-06-181-5/+2
| | | | llvm-svn: 73691
* When casting region, if we do not create an element region, record the cast-to Zhongxing Xu2009-06-181-0/+16
| | | | | | | | | type. When retrieving the region value, if we are going to create a symbol value, use the cast-to type if possible. llvm-svn: 73690
* Replace the heuristic isSmallerThan with ASTContext::getTypeSize().Zhongxing Xu2009-05-081-1/+0
| | | | llvm-svn: 71206
* StoreManager::CastRegion:Ted Kremenek2009-05-011-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Don't layer TypedViewRegions on top of any region except SymbolicRegions and AllocaRegions. This follows from my offline discussion within Zhongxing about how TypedViewRegions really only represent memory getting re-appropriated for a new purpose. Fallout from this change: - Move test case from xfail_rdar_6440393.m to misc-ps-64.m (it now passes). - test/Analysis/fields.c now fails for region store (crash). Marking XFAIL. - test/Analysis/rdar-6441136-region.c now fails (only runs with region store). Marking XFAIL. Diagnosis: The analyzer now correctly identifies an early out-of-bounds memory access then the one flagged: rdar-6541136-region.c:17:3: warning: Load or store into an out-of-bound memory position. *p = 1; ^~ Changing the line: char *p = (void*) &wonky[1]; to char *p = (void*) &wonky[0]; (which should delay the buffer overrun) causes region store to crash, probably because it expects a TypedViewRegion. - test/Analysis/casts.c (region store) now fails (crash). Marking XFAIL. llvm-svn: 70565
* Added comments to test case.Zhongxing Xu2009-04-291-0/+3
| | | | llvm-svn: 70374
* Update test case.Zhongxing Xu2009-04-291-9/+1
| | | | llvm-svn: 70359
* XFAIL the test case.Zhongxing Xu2009-04-291-0/+3
| | | | llvm-svn: 70356
* Add test case.Zhongxing Xu2009-04-281-0/+18
llvm-svn: 70294
OpenPOWER on IntegriCloud