diff options
| author | dim <dim@FreeBSD.org> | 2013-04-08 18:45:10 +0000 |
|---|---|---|
| committer | dim <dim@FreeBSD.org> | 2013-04-08 18:45:10 +0000 |
| commit | c72c57c9e9b69944e3e009cd5e209634839581d3 (patch) | |
| tree | 4fc2f184c499d106f29a386c452b49e5197bf63d /test/SemaCXX/attr-nonnull.cpp | |
| parent | 5b20025c30d23d521e12c1f33ec8fa6b821952cd (diff) | |
| download | FreeBSD-src-c72c57c9e9b69944e3e009cd5e209634839581d3.zip FreeBSD-src-c72c57c9e9b69944e3e009cd5e209634839581d3.tar.gz | |
Vendor import of clang trunk r178860:
http://llvm.org/svn/llvm-project/cfe/trunk@178860
Diffstat (limited to 'test/SemaCXX/attr-nonnull.cpp')
| -rw-r--r-- | test/SemaCXX/attr-nonnull.cpp | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/SemaCXX/attr-nonnull.cpp b/test/SemaCXX/attr-nonnull.cpp index 09c054c1..8af49d9 100644 --- a/test/SemaCXX/attr-nonnull.cpp +++ b/test/SemaCXX/attr-nonnull.cpp @@ -31,3 +31,24 @@ namespace rdar8769025 { f2(0, 0); // expected-warning{{null passed to a callee which requires a non-null argument}} } } + +namespace test3 { +__attribute__((nonnull(1))) void f(void *ptr); + +void g() { + f(static_cast<char*>((void*)0)); // expected-warning{{null passed}} + f(static_cast<char*>(0)); // expected-warning{{null passed}} +} +} + +namespace test4 { +struct X { + bool operator!=(const void *) const __attribute__((nonnull(2))); +}; +bool operator==(const X&, const void *) __attribute__((nonnull(2))); + +void test(const X& x) { + (void)(x == 0); // expected-warning{{null passed}} + (void)(x != 0); // expected-warning{{null passed}} +} +} |
