summaryrefslogtreecommitdiffstats
path: root/clang/test/Sema/uninit-variables.c
Commit message (Collapse)AuthorAgeFilesLines
...
* Add rudimentary path-sensitivity to UnintializedValuesV2Ted Kremenek2011-01-201-1/+60
| | | | | | | | | | | | analysis for short-circuited operations. For branch written like "if (x && y)", we maintain two sets of dataflow values for the outgoing branches. This suppresses some common false positives for -Wuninitialized-experimental. This change introduces some assertion failures when running on the LLVM codebase. WIP. llvm-svn: 123923
* Teach UninitializedValuesV2 to implicitly reason about C++Ted Kremenek2011-01-181-0/+9
| | | | | | | | references by monitoring whether an access to a variable is solely to compute it's lvalue or to do an lvalue-to-rvalue conversion (i.e., a load). llvm-svn: 123777
* Correctly enable test/Sema/unit-variables.c,Ted Kremenek2011-01-181-1/+1
| | | | | | | thus identifying a minor logical flaw in UninitializedValuesV2.cpp. llvm-svn: 123734
* Teach UninitializedValuesV2 about "int x = x" andTed Kremenek2011-01-181-0/+16
| | | | | | also properly handle confluence of loops. llvm-svn: 123733
* Add initial prototype for implementation ofTed Kremenek2011-01-151-0/+88
-Wuninitialized based on CFG dataflow analysis. WIP. llvm-svn: 123512
OpenPOWER on IntegriCloud