re PR debug/54694 (internal compiler error: in dwarf2out_frame_debug_expr, at dwarf2o...

PR debug/54694

Diagnose frame_pointer_required vs fixed hfp

From-SVN: r206647

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c93bf23f2a94c27af4f39ec5be1f31eb1c1a4b52..075582a896f576dbeff6d2c77cfd209aba5c6790 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2014-01-15  Richard Henderson <rth@redhat.com>
+
+       PR debug/54694
+       * reginfo.c (global_regs_decl): Globalize.
+       * rtl.h (global_regs_decl): Declare.
+       * ira.c (do_reload): Diagnose frame_pointer_needed and it
+       reserved via global_regs.
+
 2014-01-15  Teresa Johnson  <tejohnson@google.com>
 
        * tree-ssa-sccvn.c (visit_reference_op_call): Handle NULL vdef.

diff --git a/gcc/ira.c b/gcc/ira.c
index 41e05f43c4088c6e18011435d3cdc97f4fbf7a42..ee6010ad0397cd0fa33325406bead17e5b8cf360 100644 (file)
--- a/gcc/ira.c
+++ b/gcc/ira.c
@@ -5532,6 +5532,18 @@ do_reload (void)
   if (need_dce && optimize)
     run_fast_dce ();
 
+  /* Diagnose uses of the hard frame pointer when it is used as a global
+     register.  Often we can get away with letting the user appropriate
+     the frame pointer, but we should let them know when code generation
+     makes that impossible.  */
+  if (global_regs[HARD_FRAME_POINTER_REGNUM] && frame_pointer_needed)
+    {
+      tree decl = global_regs_decl[HARD_FRAME_POINTER_REGNUM];
+      error_at (DECL_SOURCE_LOCATION (current_function_decl),
+                "frame pointer required, but reserved");
+      inform (DECL_SOURCE_LOCATION (decl), "for %qD", decl);
+    }
+
   timevar_pop (TV_IRA);
 }
 \f

diff --git a/gcc/reginfo.c b/gcc/reginfo.c
index efaa0cbd7549235938572bc49d2eb99a34373c7a..bdb980da3e11a8b5f93997e32ec7e8b5585a2d66 100644 (file)
--- a/gcc/reginfo.c
+++ b/gcc/reginfo.c
@@ -86,7 +86,7 @@ static const char initial_call_really_used_regs[] = CALL_REALLY_USED_REGISTERS;
 char global_regs[FIRST_PSEUDO_REGISTER];
 
 /* Declaration for the global register. */
-static tree GTY(()) global_regs_decl[FIRST_PSEUDO_REGISTER];
+tree global_regs_decl[FIRST_PSEUDO_REGISTER];
 
 /* Same information as REGS_INVALIDATED_BY_CALL but in regset form to be used
    in dataflow more conveniently.  */

diff --git a/gcc/rtl.h b/gcc/rtl.h
index e7d60eec0ae314c5afddfc3749c03b31cb065433..10ee818a84d7fc4da64f38f7f7d7f8d384495b90 100644 (file)
--- a/gcc/rtl.h
+++ b/gcc/rtl.h
@@ -2795,6 +2795,8 @@ extern void _fatal_insn (const char *, const_rtx, const char *, int, const char
 #define fatal_insn_not_found(insn) \
        _fatal_insn_not_found (insn, __FILE__, __LINE__, __FUNCTION__)
 
+/* reginfo.c */
+extern tree GTY(()) global_regs_decl[FIRST_PSEUDO_REGISTER];
 
 
 #endif /* ! GCC_RTL_H */

diff --git a/gcc/testsuite/gcc.target/i386/pr54694.c b/gcc/testsuite/gcc.target/i386/pr54694.c
new file mode 100644 (file)
index 0000000..bcf82c2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr54694.c
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+/* { dg-options "-O" } */
+
+register void *hfp __asm__("%ebp");    /* { dg-message "note: for" } */
+
+extern void g(void *);
+
+void f(int x)                  /* { dg-error "frame pointer required" } */
+{
+  g(__builtin_alloca(x));
+}