Const-correctness fixes for some gimple accessors

gcc/
	* gimple.h (gimple_assign_single_p): Accept a const_gimple rather
	than a gimple.
	(gimple_store_p): Likewise.
	(gimple_assign_load_p): Likewise.
	(gimple_assign_cast_p): Likewise.
	(gimple_clobber_p): Likewise.

	* doc/gimple.texi (gimple_assign_cast_p): Accept a const_gimple
	rather than a gimple.
	(gimple_assign_cast_p): Likewise.

From-SVN: r209548

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8caee0472b5f9d81a361c3c0744565bf952a6c69..b40f008de8333b0a8d4d5ecb462f6155d6729212 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,16 @@
+2014-04-21  David Malcolm  <dmalcolm@redhat.com>
+
+       * gimple.h (gimple_assign_single_p): Accept a const_gimple rather
+       than a gimple.
+       (gimple_store_p): Likewise.
+       (gimple_assign_load_p): Likewise.
+       (gimple_assign_cast_p): Likewise.
+       (gimple_clobber_p): Likewise.
+
+       * doc/gimple.texi (gimple_assign_cast_p): Accept a const_gimple
+       rather than a gimple.
+       (gimple_assign_cast_p): Likewise.
+
 2014-04-21  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        PR target/60735

diff --git a/gcc/doc/gimple.texi b/gcc/doc/gimple.texi
index 54cbb92d12424539af045d9610a43d96ae8e0132..9bb16e812dcd0a3db9caf2238635693057267f14 100644 (file)
--- a/gcc/doc/gimple.texi
+++ b/gcc/doc/gimple.texi
@@ -701,7 +701,7 @@ Return true if the code of g is @code{GIMPLE_CALL}.
 Return true if the code of g is @code{GIMPLE_DEBUG}.
 @end deftypefn
 
-@deftypefn {GIMPLE function} bool gimple_assign_cast_p (gimple g)
+@deftypefn {GIMPLE function} bool gimple_assign_cast_p (const_gimple g)
 Return true if g is a @code{GIMPLE_ASSIGN} that performs a type cast
 operation.
 @end deftypefn
@@ -1102,7 +1102,7 @@ Set @code{RHS} to be the third operand on the @code{RHS} of assignment
 statement @code{G}.
 @end deftypefn
 
-@deftypefn {GIMPLE function} bool gimple_assign_cast_p (gimple s)
+@deftypefn {GIMPLE function} bool gimple_assign_cast_p (const_gimple s)
 Return true if @code{S} is a type-cast assignment.
 @end deftypefn
 

diff --git a/gcc/gimple.h b/gcc/gimple.h
index 11959a82e62e3a0f3b304dc3925d8d806585ac89..26e8627bc446b0a4fe9d1e07f435a26160f2e561 100644 (file)
--- a/gcc/gimple.h
+++ b/gcc/gimple.h
@@ -2330,7 +2330,7 @@ gimple_assign_rhs_class (const_gimple gs)
    and do not have the semantics of a copy, such as COND_EXPR.  */
 
 static inline bool
-gimple_assign_single_p (gimple gs)
+gimple_assign_single_p (const_gimple gs)
 {
   return (is_gimple_assign (gs)
           && gimple_assign_rhs_class (gs) == GIMPLE_SINGLE_RHS);
@@ -2339,7 +2339,7 @@ gimple_assign_single_p (gimple gs)
 /* Return true if GS performs a store to its lhs.  */
 
 static inline bool
-gimple_store_p (gimple gs)
+gimple_store_p (const_gimple gs)
 {
   tree lhs = gimple_get_lhs (gs);
   return lhs && !is_gimple_reg (lhs);
@@ -2348,7 +2348,7 @@ gimple_store_p (gimple gs)
 /* Return true if GS is an assignment that loads from its rhs1.  */
 
 static inline bool
-gimple_assign_load_p (gimple gs)
+gimple_assign_load_p (const_gimple gs)
 {
   tree rhs;
   if (!gimple_assign_single_p (gs))
@@ -2365,7 +2365,7 @@ gimple_assign_load_p (gimple gs)
 /* Return true if S is a type-cast assignment.  */
 
 static inline bool
-gimple_assign_cast_p (gimple s)
+gimple_assign_cast_p (const_gimple s)
 {
   if (is_gimple_assign (s))
     {
@@ -2381,7 +2381,7 @@ gimple_assign_cast_p (gimple s)
 /* Return true if S is a clobber statement.  */
 
 static inline bool
-gimple_clobber_p (gimple s)
+gimple_clobber_p (const_gimple s)
 {
   return gimple_assign_single_p (s)
          && TREE_CLOBBER_P (gimple_assign_rhs1 (s));