------- 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