middle-end/111818 - failed DECL_NOT_GIMPLE_REG_P setting of volatile

The following addresses a missed DECL_NOT_GIMPLE_REG_P setting of
a volatile declared parameter which causes inlining to substitute
a constant parameter into a context where its address is required.

The main issue is in update_address_taken which clears
DECL_NOT_GIMPLE_REG_P from the parameter but fails to rewrite it
because is_gimple_reg returns false for volatiles.  The following
changes maybe_optimize_var to make the 1:1 correspondence between
clearing DECL_NOT_GIMPLE_REG_P of a register typed decl and
actually rewriting it to SSA.

	PR middle-end/111818
	* tree-ssa.cc (maybe_optimize_var): When clearing
	DECL_NOT_GIMPLE_REG_P always rewrite into SSA.

	* gcc.dg/torture/pr111818.c: New testcase.

diff --git a/gcc/testsuite/gcc.dg/torture/pr111818.c b/gcc/testsuite/gcc.dg/torture/pr111818.c
new file mode 100644 (file)
index 0000000..a7a9111
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr111818.c
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+
+static void foo(const volatile unsigned int x, void *p)
+{
+  __builtin_memcpy(p, (void *)&x, sizeof x);
+}
+
+void bar(void *number)
+{
+  foo(0, number);
+}

diff --git a/gcc/tree-ssa.cc b/gcc/tree-ssa.cc
index ebba02b844969f0b86b84f334aac6ffcc4312138..2f3210fcf616c6f3a39b8eb4f0e7524f9aeaf737 100644 (file)
--- a/gcc/tree-ssa.cc
+++ b/gcc/tree-ssa.cc
@@ -1788,15 +1788,20 @@ maybe_optimize_var (tree var, bitmap addresses_taken, bitmap not_reg_needs,
          maybe_reg = true;
          DECL_NOT_GIMPLE_REG_P (var) = 0;
        }
-      if (maybe_reg && is_gimple_reg (var))
+      if (maybe_reg)
        {
-         if (dump_file)
+         if (is_gimple_reg (var))
            {
-             fprintf (dump_file, "Now a gimple register: ");
-             print_generic_expr (dump_file, var);
-             fprintf (dump_file, "\n");
+             if (dump_file)
+               {
+                 fprintf (dump_file, "Now a gimple register: ");
+                 print_generic_expr (dump_file, var);
+                 fprintf (dump_file, "\n");
+               }
+             bitmap_set_bit (suitable_for_renaming, DECL_UID (var));
            }
-         bitmap_set_bit (suitable_for_renaming, DECL_UID (var));
+         else
+           DECL_NOT_GIMPLE_REG_P (var) = 1;
        }
     }
 }