From afb32f721a416e7a96f0fa3f05a9a363a67507dc Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Fri, 6 Nov 2009 18:42:13 +0000 Subject: [PATCH] add test case for PR3135 which was already fixed git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86273 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/PR3135.c | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 test/Analysis/PR3135.c diff --git a/test/Analysis/PR3135.c b/test/Analysis/PR3135.c new file mode 100644 index 0000000000..1fca57b47b --- /dev/null +++ b/test/Analysis/PR3135.c @@ -0,0 +1,20 @@ +// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s +// PR3135 + +typedef struct { + int *a; +} structure; + +int bar(structure *x); + +int foo() +{ + int x; + structure y = {&x}; + + // the call to bar may initialize x + if (bar(&y) && x) // no-warning + return 1; + + return 0; +} -- 2.50.1