aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite
diff options
context:
space:
mode:
authorXinliang David Li <davidxl@google.com>2011-04-26 16:06:09 +0000
committerXinliang David Li <davidxl@gcc.gnu.org>2011-04-26 16:06:09 +0000
commit2f964ad6d4ec69a76954d90c273db385c807940f (patch)
treeb94bed7986e2724eb7508e1ebf3f157968133e57 /gcc/testsuite
parent86262bb186922557dba15c5fa21785837f4006cd (diff)
downloadgcc-2f964ad6d4ec69a76954d90c273db385c807940f.zip
gcc-2f964ad6d4ec69a76954d90c273db385c807940f.tar.gz
gcc-2f964ad6d4ec69a76954d90c273db385c807940f.tar.bz2
Implement -Wno-maybe-uninitialized
From-SVN: r172978
Diffstat (limited to 'gcc/testsuite')
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/uninit-suppress.c16
-rw-r--r--gcc/testsuite/gcc.dg/uninit-suppress_2.c16
3 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3630dce..8b00f7a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-04-26 Xinliang David Li <davidxl@google.com>
+
+ * gcc.dg/uninit-suppress.c: New test.
+ * gcc.dg/uninit-suppress.c: New test.
+
2011-04-26 Jakub Jelinek <jakub@redhat.com>
PR debug/48768
diff --git a/gcc/testsuite/gcc.dg/uninit-suppress.c b/gcc/testsuite/gcc.dg/uninit-suppress.c
new file mode 100644
index 0000000..64038a3
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-suppress.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-fno-tree-ccp -O2 -Wuninitialized -Wno-maybe-uninitialized" } */
+void blah();
+int gflag;
+
+void foo()
+{
+ int v;
+ if (gflag)
+ v = 10;
+
+ blah(); /* *gflag may be killed, but compiler won't know */
+
+ if (gflag)
+ bar(v); /* { dg-bogus "uninitialized" "should be suppressed" } */
+}
diff --git a/gcc/testsuite/gcc.dg/uninit-suppress_2.c b/gcc/testsuite/gcc.dg/uninit-suppress_2.c
new file mode 100644
index 0000000..a48b182
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/uninit-suppress_2.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-fno-tree-ccp -O2 -Wuninitialized -Werror=uninitialized -Wno-error=maybe-uninitialized" } */
+void blah();
+int gflag;
+
+void foo()
+{
+ int v;
+ if (gflag)
+ v = 10;
+
+ blah(); /* *gflag may be killed, but compiler won't know */
+
+ if (gflag)
+ bar(v); /* { dg-warning "uninitialized" "should not be promoted to error" } */
+}