diff options
author | dim <dim@FreeBSD.org> | 2011-02-20 13:06:31 +0000 |
---|---|---|
committer | dim <dim@FreeBSD.org> | 2011-02-20 13:06:31 +0000 |
commit | 39fcc9a984e2820e4ea0fa2ac4abd17d9f3a31df (patch) | |
tree | a9243275843fbeaa590afc07ee888e006b8d54ea /test/Analysis/inline.c | |
parent | 69b4eca4a4255ba43baa5c1d9bbdec3ec17f479e (diff) | |
download | FreeBSD-src-39fcc9a984e2820e4ea0fa2ac4abd17d9f3a31df.zip FreeBSD-src-39fcc9a984e2820e4ea0fa2ac4abd17d9f3a31df.tar.gz |
Vendor import of clang trunk r126079:
http://llvm.org/svn/llvm-project/cfe/trunk@126079
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'}} +} + |