| Anna Zaks | 1ded453 | 2012-09-10 23:59:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-ipa=dynamic -analyzer-config c++-stdlib-inlining=false -verify %s |
| Jordan Rose | 1e0e400 | 2012-09-10 21:27:35 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-ipa=dynamic -analyzer-config c++-stdlib-inlining=true -DINLINE=1 -verify %s |
| 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) { |
| 9 | if (nums.begin()) return; |
| 10 | if (nums.end()) return; |
| 11 | |
| 12 | clang_analyzer_eval(nums.size() == 0); |
| 13 | #if INLINE |
| 14 | // expected-warning@-2 {{TRUE}} |
| 15 | #else |
| 16 | // expected-warning@-4 {{UNKNOWN}} |
| 17 | #endif |
| 18 | } |
| 19 | |
| 20 | void testException(std::exception e) { |
| 21 | // Notice that the argument is NOT passed by reference, so we can devirtualize. |
| 22 | const char *x = e.what(); |
| 23 | clang_analyzer_eval(x == 0); |
| 24 | #if INLINE |
| 25 | // expected-warning@-2 {{TRUE}} |
| 26 | #else |
| 27 | // expected-warning@-4 {{UNKNOWN}} |
| 28 | #endif |
| 29 | } |