summaryrefslogtreecommitdiffstats
path: root/clang/test/SemaCXX/array-bounds.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Teach CFGBuilder that the 'default' branch of a switch statement is dead if ↵Ted Kremenek2011-03-161-0/+13
| | | | | | all enum values in a switch conditioned are handled. llvm-svn: 127727
* Correctly handle nested switch statements in CFGBuilder when on switch ↵Ted Kremenek2011-03-041-0/+13
| | | | | | statement has a condition that evaluates to a constant. llvm-svn: 126977
* Teach CFGBuilder to prune trivially unreachable case statements.Ted Kremenek2011-03-011-0/+19
| | | | llvm-svn: 126797
* For C++, enhance -Warray-bounds to recursively analyze array subscript ↵Ted Kremenek2011-03-011-0/+8
| | | | | | accesses in ?: expressions. llvm-svn: 126766
* Fix bogus -Warray-bounds warning involving 'array[true]' reported in PR 9296.Ted Kremenek2011-02-231-0/+5
| | | | llvm-svn: 126341
* Add test case for PR 9284, a false positive for -Warray-bounds that is now ↵Ted Kremenek2011-02-231-4/+17
| | | | | | addressed using basic reachability analysis. llvm-svn: 126291
* Enhance Sema::DiagRuntimeBehavior() to delay some diagnostics to see if the ↵Ted Kremenek2011-02-231-5/+16
| | | | | | | | | | related code is reachable. This suppresses some diagnostics that occur in unreachable code (e.g., -Warray-bound). We only pay the cost of doing the reachability analysis when we issue one of these diagnostics. llvm-svn: 126290
* Fix assertion failure on -Warray-bounds for 32-bit builds of Clang.Ted Kremenek2011-02-181-0/+6
| | | | llvm-svn: 125821
* Add -Warray-bounds test showing how the warning currently interoperates with ↵Ted Kremenek2011-02-171-0/+11
| | | | | | macros. llvm-svn: 125781
* Enhance the array bounds checking to work for several other constructs,Chandler Carruth2011-02-171-7/+62
| | | | | | | | | especially C++ code, and generally expand the test coverage. Logic adapted from a patch by Kaelyn Uhrain <rikka@google.com> and another Googler. llvm-svn: 125775
* Fix assertion failure in -Warray-bounds on template parameters used as arrays.Ted Kremenek2011-02-161-0/+21
llvm-svn: 125693
OpenPOWER on IntegriCloud