summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/additive-folding.c
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Equality ops are like relational ops in that the arguments ↵Jordy Rose2012-05-031-203/+0
| | | | | | | | shouldn't be converted to the result type. Fixes PR12206 and dupe PR12510. This was probably the original intent of r133041 (also me, a year ago). llvm-svn: 156062
* [analyzer] Fix RUN line and general cleanup for additive folding tests.Jordy Rose2012-05-031-20/+20
| | | | llvm-svn: 156061
* [analyzer] Turn on by default the Malloc Checker and a couple of CStringAnna Zaks2012-02-201-2/+2
| | | | | | | | | | | | checks: - unix.Malloc - Checks for memory leaks, double free, use-after-free. - unix.cstring.NullArg - Checks for null pointers passed as arguments to CString functions + evaluates CString functions. - unix.cstring.BadSizeArg - Checks for common anti-patterns in strncat size argument. llvm-svn: 150988
* [analyzer] rename all experimental checker packages to have 'experimental' ↵Ted Kremenek2011-08-031-2/+2
| | | | | | be the common root package. llvm-svn: 136835
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-2/+2
| | | | llvm-svn: 128187
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best ↵Argyrios Kyrtzidis2011-02-281-2/+2
| | | | | | misnomer award. llvm-svn: 126676
* [analyzer] Migrate MallocChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-2/+2
| | | | llvm-svn: 126606
* [analyzer] Use the new registration mechanism on some of the experimental ↵Argyrios Kyrtzidis2011-02-151-2/+2
| | | | | | | | | | | | | | | checks. These are: CStringChecker ChrootChecker MallocChecker PthreadLockChecker StreamChecker UnreachableCodeChecker MallocChecker creates implicit dependencies between checkers and needs to be handled differently. llvm-svn: 125598
* Put the tautological-comparison-of-unsigned-against-zero warnings inJohn McCall2010-09-081-2/+2
| | | | | | | | | -Wtautological-compare instead of -Wsign-compare, which also implies turning them on by default. Restoration of r112877. llvm-svn: 113334
* sabre points out that the timing here is pretty pessimal; I'll retry theJohn McCall2010-09-021-2/+2
| | | | | | experiment in a few days. llvm-svn: 112882
* Experimentally move the tautological comparison warnings from -Wsign-compareJohn McCall2010-09-021-2/+2
| | | | | | | to -Wtautological-compare. This implies that they're now on by default. If this causes chaos, I'll figure something else out. llvm-svn: 112877
* Added some false positive checking to UnreachableCodeCheckerTom Care2010-07-271-3/+3
| | | | | | | | | - Allowed reporting of dead macros - Added path walking function to search for false positives in conditional statements - Updated some affected tests - Added some false positive test cases llvm-svn: 109561
* Added an path-sensitive unreachable code checker to the experimental ↵Tom Care2010-07-231-10/+10
| | | | | | | | | | analyzer checks. - Created a new class to do post-analysis - Updated several test cases with unreachable code to expect a warning - Added some general tests llvm-svn: 109286
* Don't depend on system headers in clang -cc1 tests.Benjamin Kramer2010-06-241-1/+1
| | | | | | The constant was copied from clang's limits.h. llvm-svn: 106732
* Revert "Tweak tests to hopefully fix include of limits.h on win32.", tweak ↵Daniel Dunbar2010-06-231-2/+2
| | | | | | fails on linux. llvm-svn: 106661
* Tweak tests to hopefully fix include of limits.h on win32.Daniel Dunbar2010-06-231-2/+2
| | | | llvm-svn: 106639
* When folding additive operations, convert the values to the same type. When ↵Jordy Rose2010-06-211-0/+40
| | | | | | assuming relationships, convert the integers to the same type as the symbol, at least for now. llvm-svn: 106458
* Fold additive constants, and support comparsions of the form $sym+const1 <> ↵Jordy Rose2010-06-181-0/+163
const2 llvm-svn: 106339
OpenPOWER on IntegriCloud