diff options
| -rw-r--r-- | clang/test/Analysis/uninit-vals-ps-region.c | 17 | ||||
| -rw-r--r-- | clang/test/Analysis/uninit-vals-ps.c | 17 |
2 files changed, 17 insertions, 17 deletions
diff --git a/clang/test/Analysis/uninit-vals-ps-region.c b/clang/test/Analysis/uninit-vals-ps-region.c new file mode 100644 index 00000000000..870ca54e41a --- /dev/null +++ b/clang/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/clang/test/Analysis/uninit-vals-ps.c b/clang/test/Analysis/uninit-vals-ps.c index c4c02af55da..5d4f4429b5d 100644 --- a/clang/test/Analysis/uninit-vals-ps.c +++ b/clang/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 -} |

