From 89e8a07af3e24ae0f843b80906422d711f73de0a Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Wed, 19 Nov 2008 11:10:42 +0000 Subject: [PATCH] Add test for path-sensitive uninit-val detection involving struct field. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59620 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/uninit-vals-ps.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/test/Analysis/uninit-vals-ps.c b/test/Analysis/uninit-vals-ps.c index 707f78a96b..c4c02af55d 100644 --- a/test/Analysis/uninit-vals-ps.c +++ b/test/Analysis/uninit-vals-ps.c @@ -41,3 +41,21 @@ int f3(void) { else return 1; } + +// RUN: clang -checker-simple -analyzer-store-region -verify %s + +struct s { + int data; +}; + +struct s global; + +void g(int); + +void f4() { + int a; + if (global.data == 0) + a = 3; + if (global.data == 0) + g(a); // no-warning +} -- 2.40.0