[Bug optimization/14498] New: ICE on legal (varargs)

["dalej at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

Compile with -O2 and watch the ICE:

#include <stdarg.h>
extern void baz(char *);
void bar (va_list *args)
{
  if (args)
    {
      char *s = va_arg(*args, char *);
      baz(s);
    }
}

Gimplifier marks args as volatile when it sees the va_arg but does not propagate this backwards to 
regenerate gimpl for the test of args.

-- 
           Summary: ICE on legal (varargs)
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dalej at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-apple-darwin7.2.0
  GCC host triplet: powerpc-apple-darwin7.2.0
GCC target triplet: powerpc-apple-darwin7.2.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14498