expr.c (store_field): Change gcc_assert to gcc_checking_assert.

2018-08-20  Bernd Edlinger  <bernd.edlinger@hotmail.de>

	* expr.c (store_field): Change gcc_assert to gcc_checking_assert.

From-SVN: r263665

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index feee8a2..b1d0889 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2018-08-20  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 
+       * expr.c (store_field): Change gcc_assert to gcc_checking_assert.
+
+2018-08-20  Bernd Edlinger  <bernd.edlinger@hotmail.de>
+
        PR target/86984
        * expr.c (expand_assignment): Assert that bitpos is positive.
        (store_field): Likewise

diff --git a/gcc/expr.c b/gcc/expr.c
index 0d79d08..58574ba 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -7047,7 +7047,7 @@ store_field (rtx target, poly_int64 bitsize, poly_int64 bitpos,
        }
 
       /* Store the value in the bitfield.  */
-      gcc_assert (known_ge (bitpos, 0));
+      gcc_checking_assert (known_ge (bitpos, 0));
       store_bit_field (target, bitsize, bitpos,
                       bitregion_start, bitregion_end,
                       mode, temp, reverse);