From: Zhongxing Xu Date: Thu, 20 Nov 2008 00:46:15 +0000 (+0000) Subject: Split region store specific test cases. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e8e4d8c9cb29de6aad77163bd8a59066985a43b9;p=clang Split region store specific test cases. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59683 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Analysis/uninit-vals-ps-region.c b/test/Analysis/uninit-vals-ps-region.c new file mode 100644 index 0000000000..870ca54e41 --- /dev/null +++ b/test/Analysis/uninit-vals-ps-region.c @@ -0,0 +1,17 @@ +// 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 +} diff --git a/test/Analysis/uninit-vals-ps.c b/test/Analysis/uninit-vals-ps.c index c4c02af55d..5d4f4429b5 100644 --- a/test/Analysis/uninit-vals-ps.c +++ b/test/Analysis/uninit-vals-ps.c @@ -42,20 +42,3 @@ int f3(void) { 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 -}