From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 21 Nov 2008 00:28:47 +0000 (+0000)
Subject: Add checker test case: warn about returning an uninitialized value to the caller.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7c686661d65c63f6f518ca81830dd61bd64bfe1f;p=clang

Add checker test case: warn about returning an uninitialized value to the caller.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59765 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/uninit-vals-ps.c b/test/Analysis/uninit-vals-ps.c
index a287002db7..58f64311f2 100644
--- a/test/Analysis/uninit-vals-ps.c
+++ b/test/Analysis/uninit-vals-ps.c
@@ -43,3 +43,10 @@ int f3(void) {
     return 1;
 }
 
+int ret_uninit() {
+  int i;
+  int *p = &i;
+  return *p;  // expected-warning{{Uninitialized or undefined return value returned to caller.}}
+}
+
+