i386.c (ix86_expand_prologue): Tighten assert for int_registers_saved.

	* config/i386/i386.c (ix86_expand_prologue): Tighten assert
	for int_registers_saved.

From-SVN: r254386

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 949f3cb..9082b85 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -6,6 +6,9 @@
 
 2017-11-03  Jeff Law  <law@redhat.com>
 
+       * config/i386/i386.c (ix86_expand_prologue): Tighten assert
+       for int_registers_saved.
+
        * cfganal.c (single_pred_edge_ignoring_loop_edges): New function
        extracted from tree-ssa-dom.c.
        * cfganal.h (single_pred_edge_ignoring_loop_edges): Prototype.

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 1cf1e2b..25b28a1 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -13167,8 +13167,12 @@ ix86_expand_prologue (void)
       && (flag_stack_check == STATIC_BUILTIN_STACK_CHECK
          || flag_stack_clash_protection))
     {
-      /* We expect the GP registers to be saved when probes are used.  */
-      gcc_assert (int_registers_saved);
+      /* This assert wants to verify that integer registers were saved
+        prior to probing.  This is necessary when probing may be implemented
+        as a function call (Windows).  It is not necessary for stack clash
+        protection probing.  */
+      if (!flag_stack_clash_protection)
+       gcc_assert (int_registers_saved);
 
       if (flag_stack_clash_protection)
        {