summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/casts.c
Commit message (Collapse)AuthorAgeFilesLines
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-2/+2
| | | | llvm-svn: 95348
* Simplify test case. This test case also applies to PR 6013.Ted Kremenek2010-01-141-9/+5
| | | | llvm-svn: 93444
* Associate test case with Bugzilla PR.Ted Kremenek2010-01-141-7/+8
| | | | llvm-svn: 93440
* Fix pr6035.Zhongxing Xu2010-01-141-0/+11
| | | | llvm-svn: 93422
* add a bunch of missing prototypes to testsChris Lattner2010-01-091-0/+2
| | | | llvm-svn: 93072
* Move test case to a more appropriate file.Zhongxing Xu2010-01-051-0/+10
| | | | llvm-svn: 92725
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-1/+1
| | | | | | | | | - This is designed to make it obvious that %clang_cc1 is a "test variable" which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it can be useful to redefine what gets run as 'clang -cc1' (for example, to set a default target). llvm-svn: 91446
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-1/+1
| | | | llvm-svn: 91272
* Normalize options to use '-FOO' instead of '--FOO'.Daniel Dunbar2009-11-291-1/+1
| | | | llvm-svn: 90071
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-1/+1
| | | | | | | option enables new "internal" checks that will eventually be turned on by default but still require broader testing. llvm-svn: 88671
* Add comments to test.Zhongxing Xu2009-10-141-2/+2
| | | | llvm-svn: 84078
* Make this test case more portable by removing its dependency on system ↵Ted Kremenek2009-08-201-3/+8
| | | | | | header files. llvm-svn: 79511
* Add casts to avoid a bunch of unused expr warnings. (They aren't reported ↵Anders Carlsson2009-07-301-1/+1
| | | | | | right now due to a bug that I intend to fix). Ted, please review. llvm-svn: 77630
* Prep for new warning.Mike Stump2009-07-211-1/+1
| | | | llvm-svn: 76607
* Fix silly mistake I made applying patch to fix test.Eli Friedman2009-07-101-1/+1
| | | | llvm-svn: 75303
* Misc fixes to fix tests on OpenBSD, per email to cfe-commits. Patches Eli Friedman2009-07-101-0/+2
| | | | | | by Jonathan Gray and Krister Walfridsson. llvm-svn: 75268
* 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