summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/uninit-vals.c
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Prune calls to functions with linear CFGs that return a non-zero ↵Kristof Umann2019-08-131-10/+2
| | | | | | | | | | | | | | | | constrained value During the evaluation of D62883, I noticed a bunch of totally meaningless notes with the pattern of "Calling 'A'" -> "Returning value" -> "Returning from 'A'", which added no value to the report at all. This patch (not only affecting tracked conditions mind you) prunes diagnostic messages to functions that return a value not constrained to be 0, and are also linear. Differential Revision: https://reviews.llvm.org/D64232 llvm-svn: 368771
* [analyzer] Improve tracing for uninitialized struct fieldsGeorge Karpenkov2018-08-291-0/+199
| | | | | | | | rdar://13729267 Differential Revision: https://reviews.llvm.org/D51323 llvm-svn: 340986
* Remove old UninitializedValues analysis.Ted Kremenek2011-03-151-55/+0
| | | | llvm-svn: 127656
* [analyzer] The current UninitializedValuesChecker will go away, remove ↵Argyrios Kyrtzidis2011-02-281-0/+2
| | | | | | '-warn-uninit-values'. llvm-svn: 126673
* make clang print types as "const int *" instead of "int const*",Chris Lattner2010-09-051-1/+1
| | | | | | | which is should have done from the beginning. As usual, the most fun with this sort of change is updating all the testcases. llvm-svn: 113090
* 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
* Prep for new warning.Mike Stump2009-07-211-1/+1
| | | | llvm-svn: 76616
* Add another uninitialized values test case illustrating that the CFG correctlyTed Kremenek2009-03-301-0/+7
| | | | | | handles declarations with multiple variables. llvm-svn: 68046
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-1/+1
| | | | | | Tests and drivers updated, still need to shuffle dirs. llvm-svn: 67602
* Extend builtin "attribute" syntax to include a notation forDouglas Gregor2009-02-141-1/+3
| | | | | | | | | | | | | | | | | | | | | printf-like functions, both builtin functions and those in the C library. The function-call checker now queries this attribute do determine if we have a printf-like function, rather than scanning through the list of "known functions IDs". However, there are 5 functions they are not yet "builtins", so the function-call checker handles them specifically still: - fprintf and vfprintf: the builtins mechanism cannot (yet) express FILE* arguments, so these can't be encoded. - NSLog: the builtins mechanism cannot (yet) express NSString* arguments, so this (and NSLogv) can't be encoded. - asprintf and vasprintf: these aren't part of the C99 standard library, so we really shouldn't be defining them as builtins in the general case (and we don't seem to have the machinery to make them builtins only on certain targets and depending on whether extensions are enabled). llvm-svn: 64512
* Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar2009-01-201-1/+1
| | | | | | individual checker options. llvm-svn: 62634
* Changed merge operation for uninitialized values analysis to "intersect" ↵Ted Kremenek2008-03-221-1/+1
| | | | | | | | (previous union). The effect is that if a variable is uninitialized along a branch (but initialized along another), at merge points it is considered uninitialized. Previously we had the opposite behavior. The new behavior is more conservative, and more in line with gcc's behavior. llvm-svn: 48689
* The checking for the delimiters of expected error/warning messages wasBill Wendling2007-11-261-6/+6
| | | | | | | looking only for { and } instead of {{ and }}. Changed it to check for this explicitly. llvm-svn: 44326
* Added more test cases for uninitialized values checker.Ted Kremenek2007-11-241-0/+15
| | | | llvm-svn: 44307
* Fixed bogus culling of uninitialized-values "taint" propagation during ↵Ted Kremenek2007-11-241-0/+29
assignments. We accidentally were throttling the propagation of uninitialized state across assignments (e.g. x = y). Thanks to Anders Carlsson for spotting this problem. Added test cases to test suite to provide regression testing for the uninitialized values analysis. llvm-svn: 44306
OpenPOWER on IntegriCloud