From 1e10011aa27d322d1290fc04d2372bf8719c645b Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 4 Dec 2008 19:39:12 +0000 Subject: [PATCH] Add another static analyzer test case involving attribute(nonnull). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60547 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/null-deref-ps.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c index 3d912dcd08..806065342a 100644 --- a/test/Analysis/null-deref-ps.c +++ b/test/Analysis/null-deref-ps.c @@ -72,7 +72,12 @@ int f6b(int *p) { : bar2(p, 0); // no-warning } +int bar3(int*p, int q, int *r) __attribute__((nonnull(1,3))); +int f6c(int *p, int *q) { + return !p ? bar3(q, 2, p) + : bar3(p, 2, q); +} int* qux(); -- 2.50.1