2002-09-26 David S. Miller <davem@redhat.com>

	PR optimization/7335
	* calls.c (emit_library_call_value_1): Passing args by reference
	converts a CONST function into a PURE one.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@57576 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2212bac..3fb28e5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2002-09-26  David S. Miller  <davem@redhat.com>
+
+       PR optimization/7335
+       * calls.c (emit_library_call_value_1): Passing args by reference
+       converts a CONST function into a PURE one.
+
 2002-09-26  David Edelsohn  <edelsohn@gnu.org>
 
        * dbxout.c (FORCE_TEXT): Switch to current_function_decl, not

diff --git a/gcc/calls.c b/gcc/calls.c
index d4e3f00..ffedaca 100644 (file)
--- a/gcc/calls.c
+++ b/gcc/calls.c
@@ -3684,6 +3684,14 @@ emit_library_call_value_1 (retval, orgfun, value, fn_type, outmode, nargs, p)
            }
          flags &= ~(ECF_CONST | ECF_PURE | ECF_LIBCALL_BLOCK);
 
+         /* If this was a CONST function, it is now PURE since
+            it now reads memory.  */
+         if (flags & ECF_CONST)
+           {
+             flags &= ~ECF_CONST;
+             flags |= ECF_PURE;
+           }
+
          if (GET_MODE (val) == MEM && ! must_copy)
            slot = val;
          else if (must_copy)