tree-optimization/18501

	* tree-optimize.c (init_tree_optimization_passes): Run
	pass_late_warn_uninitialized before the last DCE run.

testsuite/ChangeLog:

	* gcc.dg/pr18501.c: New test.
	* gcc.dg/uninit-5.c: XFAIL.
	* gcc.dg/uninit-9.c: XFAIL.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@92337 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4e51583..c08d172 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-12-17  Diego Novillo  <dnovillo@redhat.com>
+
+       tree-optimization/18501
+       * tree-optimize.c (init_tree_optimization_passes): Run
+       pass_late_warn_uninitialized before the last DCE run.
+
 2004-12-17  Richard Henderson  <rth@redhat.com>
 
        * config/i386/i386.c (x86_64_reg_class_name): Re-indent.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6dbca4a..a2e5f6f 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2004-12-17  Diego Novillo  <dnovillo@redhat.com>
+
+       * gcc.dg/pr18501.c: New test.
+       * gcc.dg/uninit-5.c: XFAIL.
+       * gcc.dg/uninit-9.c: XFAIL.
+
 2004-12-17  Dale Johannesen  <dalej@apple.com>
 
        * gcc.dg/20041213-1.c:  New.

diff --git a/gcc/testsuite/gcc.dg/pr18501.c b/gcc/testsuite/gcc.dg/pr18501.c
new file mode 100644 (file)
index 0000000..bcd2071
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr18501.c
@@ -0,0 +1,20 @@
+/* Expected uninitialized variable warning.  */
+
+/* { dg-do compile } */
+/* { dg-options "-O -Wuninitialized" } */
+
+unsigned bmp_iter_set ();
+int something (void);
+
+void
+bitmap_print_value_set (void)
+{
+  unsigned first;      /* { dg-warning "may be used" "conditional in loop" } */
+  
+  for (; bmp_iter_set (); )
+    {
+      if (!first)
+       something ();
+      first = 0;
+    }
+}

diff --git a/gcc/testsuite/gcc.dg/uninit-5.c b/gcc/testsuite/gcc.dg/uninit-5.c
index ae7a8de..21ac9ee 100644 (file)
--- a/gcc/testsuite/gcc.dg/uninit-5.c
+++ b/gcc/testsuite/gcc.dg/uninit-5.c
@@ -9,7 +9,7 @@ extern void foo(void);
 void
 func1(int cond)
 {
-    int x;  /* { dg-bogus "x" "uninitialized variable warning" } */
+    int x;  /* { dg-bogus "x" "uninitialized variable warning" { xfail *-*-* } } */
 
     if(cond)
        x = 1;
@@ -23,7 +23,7 @@ func1(int cond)
 void
 func2 (int cond)
 {
-    int x;  /* { dg-bogus "x" "uninitialized variable warning" } */
+    int x;  /* { dg-bogus "x" "uninitialized variable warning" { xfail *-*-* } } */
     int flag = 0;
 
     if(cond)

diff --git a/gcc/testsuite/gcc.dg/uninit-9.c b/gcc/testsuite/gcc.dg/uninit-9.c
index 2a8ccb6..62681f9 100644 (file)
--- a/gcc/testsuite/gcc.dg/uninit-9.c
+++ b/gcc/testsuite/gcc.dg/uninit-9.c
@@ -23,7 +23,7 @@ func(struct foo *list, int count)
 {
     int n_clobbers = 0;
     int i;
-    struct foo **clob_list;   /* { dg-bogus "clob_list" "uninitialized variable warning" } */
+    struct foo **clob_list;   /* { dg-bogus "clob_list" "uninitialized variable warning" { xfail *-*-* } } */
 
     if(list[0].type == PARALLEL)
     {

diff --git a/gcc/tree-optimize.c b/gcc/tree-optimize.c
index 9f58f53..eae39df 100644 (file)
--- a/gcc/tree-optimize.c
+++ b/gcc/tree-optimize.c
@@ -381,12 +381,21 @@ init_tree_optimization_passes (void)
   NEXT_PASS (pass_loop);
   NEXT_PASS (pass_dominator);
   NEXT_PASS (pass_redundant_phi);
+  /* FIXME: If DCE is not run before checking for uninitialized uses,
+     we may get false warnings (e.g., testsuite/gcc.dg/uninit-5.c).
+     However, this also causes us to misdiagnose cases that should be
+     real warnings (e.g., testsuite/gcc.dg/pr18501.c).
+     
+     To fix the false positives in uninit-5.c, we would have to
+     account for the predicates protecting the set and the use of each
+     variable.  Using a representation like Gated Single Assignment
+     may help.  */
+  NEXT_PASS (pass_late_warn_uninitialized);
   NEXT_PASS (pass_cd_dce);
   NEXT_PASS (pass_dse);
   NEXT_PASS (pass_forwprop);
   NEXT_PASS (pass_phiopt);
   NEXT_PASS (pass_tail_calls);
-  NEXT_PASS (pass_late_warn_uninitialized);
   NEXT_PASS (pass_del_ssa);
   NEXT_PASS (pass_nrv);
   NEXT_PASS (pass_remove_useless_vars);