| Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc,cplusplus.NewDelete,debug.ExprInspection -analyzer-config c++-container-inlining=true -analyzer-config c++-stdlib-inlining=false -std=c++11 -verify %s |
| 2 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc,cplusplus.NewDelete,debug.ExprInspection -analyzer-config c++-container-inlining=true -analyzer-config c++-stdlib-inlining=true -std=c++11 -DINLINE=1 -verify %s |
| Jordan Rose | 1e0e400 | 2012-09-10 21:27:35 +0000 | [diff] [blame] | 3 | |
| Chandler Carruth | 66a34a6 | 2012-09-12 01:11:10 +0000 | [diff] [blame] | 4 | #include "../Inputs/system-header-simulator-cxx.h" |
| Jordan Rose | 1e0e400 | 2012-09-10 21:27:35 +0000 | [diff] [blame] | 5 | |
| 6 | void clang_analyzer_eval(bool); |
| 7 | |
| 8 | void testVector(std::vector<int> &nums) { |
| Gabor Horvath | 3d57457 | 2017-01-09 09:52:32 +0000 | [diff] [blame] | 9 | if (nums.begin() != nums.end()) return; |
| Jordan Rose | 1e0e400 | 2012-09-10 21:27:35 +0000 | [diff] [blame] | 10 | |
| 11 | clang_analyzer_eval(nums.size() == 0); |
| 12 | #if INLINE |
| 13 | // expected-warning@-2 {{TRUE}} |
| 14 | #else |
| 15 | // expected-warning@-4 {{UNKNOWN}} |
| 16 | #endif |
| 17 | } |
| 18 | |
| 19 | void testException(std::exception e) { |
| 20 | // Notice that the argument is NOT passed by reference, so we can devirtualize. |
| 21 | const char *x = e.what(); |
| 22 | clang_analyzer_eval(x == 0); |
| 23 | #if INLINE |
| 24 | // expected-warning@-2 {{TRUE}} |
| 25 | #else |
| 26 | // expected-warning@-4 {{UNKNOWN}} |
| 27 | #endif |
| 28 | } |