1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-inline-call -analyzer-store region -verify %s 2 // XFAIL: * 3 4 int test1_f1() { 5 int y = 1; 6 y++; 7 return y; 8 } 9 10 void test1_f2() { 11 int x = 1; 12 x = test1_f1(); 13 if (x == 1) { 14 int *p = 0; 15 *p = 3; // no-warning 16 } 17 if (x == 2) { 18 int *p = 0; 19 *p = 3; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}} 20 } 21 } 22 23 // Test that inlining works when the declared function has less arguments 24 // than the actual number in the declaration. 25 void test2_f1() {} 26 int test2_f2(); 27 28 void test2_f3() { 29 test2_f1(test2_f2()); // expected-warning{{too many arguments in call to 'test2_f1'}} 30 } 31 32
