alias.c (mems_in_disjoint_alias_sets_p): Do use alias sets in stdarg and varargs...

	* alias.c (mems_in_disjoint_alias_sets_p): Do use alias sets in
	stdarg and varargs functions.

From-SVN: r37572

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7e9a8f435460806dd70baf329c53f34873e3e405..8f04fd21a8b09ebced71d6dd0e1f3685ff484cdf 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2000-11-19  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+       * alias.c (mems_in_disjoint_alias_sets_p): Do use alias sets in
+       stdarg and varargs functions.
+
 2000-11-19  Zack Weinberg  <zack@wolery.stanford.edu>
 
        * gcc.c (process_command): Define 'j' variable when

diff --git a/gcc/alias.c b/gcc/alias.c
index e9e30ee8744a7b5df8fde54c688815bf1658402f..d89010aa72cb341ef04a9571efa66a4d28221124 100644 (file)
--- a/gcc/alias.c
+++ b/gcc/alias.c
@@ -226,15 +226,6 @@ mems_in_disjoint_alias_sets_p (mem1, mem2)
     abort ();
 #endif
 
-  /* The code used in varargs macros are often not conforming ANSI C,
-     which can trick the compiler into making incorrect aliasing
-     assumptions in these functions.  So, we don't use alias sets in
-     such a function.  FIXME: This should be moved into the front-end;
-     it is a language-dependent notion, and there's no reason not to
-     still use these checks to handle globals.  */
-  if (current_function_stdarg || current_function_varargs)
-    return 0;
-
   /* If have no alias set information for one of the MEMs, we have to assume
      it can alias anything.  */
   if (MEM_ALIAS_SET (mem1) == 0 || MEM_ALIAS_SET (mem2) == 0)