diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2000-11-19 19:39:17 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2000-11-19 19:39:17 +0000 |
| commit | 65fa2185893d05a236497c100b555b57e4990a66 (patch) | |
| tree | e15fe308499975eeaa68413709286c001312ef05 /gcc/alias.c | |
| parent | 2e59adac88d6adee16581146a384861070e18fd2 (diff) | |
| download | gcc-65fa2185893d05a236497c100b555b57e4990a66.zip gcc-65fa2185893d05a236497c100b555b57e4990a66.tar.gz gcc-65fa2185893d05a236497c100b555b57e4990a66.tar.bz2 | |
alias.c (mems_in_disjoint_alias_sets_p): Do use alias sets in stdarg and varargs functions.
* alias.c (mems_in_disjoint_alias_sets_p): Do use alias sets in
stdarg and varargs functions.
From-SVN: r37572
Diffstat (limited to 'gcc/alias.c')
| -rw-r--r-- | gcc/alias.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/gcc/alias.c b/gcc/alias.c index e9e30ee..d89010a 100644 --- 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) |