Fix assert in gimple_phi_arg

2017-07-19  Tom de Vries  <tom@codesourcery.com>

	* gimple.h (gimple_phi_arg): Make assert more strict.

From-SVN: r250351

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b27b9aa74b7b8b20130b7391f5c3145ca2f2098a..152719cc60d560a589d6ca168d3fe6dbcf1e4956 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2017-07-19  Tom de Vries  <tom@codesourcery.com>
+
+       * gimple.h (gimple_phi_arg): Make assert more strict.
+
 2017-07-19  Steven Munroe  <munroesj@gcc.gnu.org>
 
        * config.gcc (powerpc*-*-*): Add mmintrin.h.

diff --git a/gcc/gimple.h b/gcc/gimple.h
index 575babe11ef0b95a2e0cfcba471dd78078b27061..e19cc1c6bb3ddd9c5162735e6363d14e5c71b712 100644 (file)
--- a/gcc/gimple.h
+++ b/gcc/gimple.h
@@ -4341,7 +4341,7 @@ static inline struct phi_arg_d *
 gimple_phi_arg (gimple *gs, unsigned index)
 {
   gphi *phi_stmt = as_a <gphi *> (gs);
-  gcc_gimple_checking_assert (index <= phi_stmt->capacity);
+  gcc_gimple_checking_assert (index < phi_stmt->capacity);
   return &(phi_stmt->args[index]);
 }