summaryrefslogtreecommitdiffstats
path: root/test/Analysis/inline.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/inline.c')
-rw-r--r--test/Analysis/inline.c16
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'}}
+}
+
OpenPOWER on IntegriCloud