diff options
Diffstat (limited to 'test/Analysis/inline.c')
-rw-r--r-- | test/Analysis/inline.c | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/test/Analysis/inline.c b/test/Analysis/inline.c index 50c1a54..d7a599a 100644 --- a/test/Analysis/inline.c +++ b/test/Analysis/inline.c @@ -1,14 +1,14 @@ // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-inline-call -analyzer-store region -verify %s -int f1() { +int test1_f1() { int y = 1; y++; return y; } -void f2() { +void test1_f2() { int x = 1; - x = f1(); + x = test1_f1(); if (x == 1) { int *p = 0; *p = 3; // no-warning @@ -18,3 +18,13 @@ void f2() { *p = 3; // expected-warning{{Dereference of null pointer (loaded from variable 'p')}} } } + +// Test that inlining works when the declared function has less arguments +// than the actual number in the declaration. +void test2_f1() {} +int test2_f2(); + +void test2_f3() { + test2_f1(test2_f2()); // expected-warning{{too many arguments in call to 'test2_f1'}} +} + |