This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/24434] [4.3/4.4/4.5/4.6 Regression] get_varargs_alias_set returns 0 always
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 16 Jul 2010 08:22:02 -0000
- Subject: [Bug middle-end/24434] [4.3/4.4/4.5/4.6 Regression] get_varargs_alias_set returns 0 always
- References: <bug-24434-6528@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #12 from rguenth at gcc dot gnu dot org 2010-07-16 08:22 -------
What does the standard say here? What is the type in effect for aliasing
when doing
int i = va_arg (va, int);
? Is type-punning allowed when unpacking args?
Note that we would need to make sure to use the correct alias set when
setting up args at the callers site as well.
But yes, this now looks easily fixable (and also was with INDIRECT_REFs
via type casts).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24434