re PR middle-end/51010 (bad diagnostics: #'ssa_name' not supported by pp_c_expression#]')

2011-11-08  Richard Guenther  <rguenther@suse.de>

	PR middle-end/51010
	c-family/
	* c-pretty-print.c (pp_c_expression): Handle SSA_NAMEs.

	cp/
	* error.c (dump_expr): Handle SSA_NAMEs.

	* c-c++-common/uninit-pr51010.c: New testcase.

From-SVN: r181165

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 914c9163dc88f429545257af1756c51903924c6e..9716cc93f37cb343411872a1cf8fe34c843f3d1b 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2011-11-08  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/51010
+       c-family/
+
 2011-11-07  Richard Henderson  <rth@redhat.com>
            Aldy Hernandez  <aldyh@redhat.com>
            Torvald Riegel  <triegel@redhat.com>

diff --git a/gcc/c-family/c-pretty-print.c b/gcc/c-family/c-pretty-print.c
index 91195613ff12abbbdc58213c4809bb379bfb58ab..be28b39e6a343081c29194cc36cb55f7ed77a53f 100644 (file)
--- a/gcc/c-family/c-pretty-print.c
+++ b/gcc/c-family/c-pretty-print.c
@@ -2129,6 +2129,13 @@ pp_c_expression (c_pretty_printer *pp, tree e)
       pp_primary_expression (pp, e);
       break;
 
+    case SSA_NAME:
+      if (!DECL_ARTIFICIAL (SSA_NAME_VAR (e)))
+       pp_c_expression (pp, SSA_NAME_VAR (e));
+      else
+       pp_c_ws_string (pp, M_("<unknown>"));
+      break;
+
     case POSTINCREMENT_EXPR:
     case POSTDECREMENT_EXPR:
     case ARRAY_REF:

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 15b44b5cfb85630e01bd15eb9a6a9022d31c5a35..2f3bf21b6da6be30b453dd612fa3e2dcf3de57db 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2011-11-08  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/51010
+       * error.c (dump_expr): Handle SSA_NAMEs.
+
 2011-11-07  Richard Henderson  <rth@redhat.com>
            Aldy Hernandez  <aldyh@redhat.com>
            Torvald Riegel  <triegel@redhat.com>

diff --git a/gcc/cp/error.c b/gcc/cp/error.c
index d2b6a62d9648a62266fd72ff9e0f3ec95bae6607..602cb75236a14922da4670604598aa25772311be 100644 (file)
--- a/gcc/cp/error.c
+++ b/gcc/cp/error.c
@@ -1792,6 +1792,13 @@ dump_expr (tree t, int flags)
                     | TFF_NO_FUNCTION_ARGUMENTS));
       break;
 
+    case SSA_NAME:
+      if (!DECL_ARTIFICIAL (SSA_NAME_VAR (t)))
+       dump_expr (SSA_NAME_VAR (t), flags);
+      else
+       pp_cxx_ws_string (cxx_pp, M_("<unknown>"));
+      break;
+
     case INTEGER_CST:
     case REAL_CST:
     case STRING_CST:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 72c6d434c608107f0d8803ddf9514409134e8845..6fb865c44b3fb8acbdd25b12f4dbf3e092c0d141 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-11-08  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/51010
+       * c-c++-common/uninit-pr51010.c: New testcase.
+
 2011-11-08  Jakub Jelinek  <jakub@redhat.com>
 
        * lib/target-supports.exp (check_effective_target_vect_call_sqrtf,

diff --git a/gcc/testsuite/c-c++-common/uninit-pr51010.c b/gcc/testsuite/c-c++-common/uninit-pr51010.c
new file mode 100644 (file)
index 0000000..f28da46
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/uninit-pr51010.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O -Wuninitialized" } */
+
+int f (int j)
+{
+  int a [10];
+  return a [j]; /* { dg-warning "a\\\[j\\\]. is used uninitialized" } */
+}
+int g (int j)
+{
+  int a [10];
+  return a [j+1]; /* { dg-warning "a\\\[<unknown>\\\]. is used uninitialized" } */
+}