[Bug c/15884] New: internal compiler error: verify_stmts failed, when building small test case -O1

["fjahanian at apple dot com" <gcc-bugzilla at gcc dot gnu dot org>]

Following test case failes to compile -O1 with FSF mainline, as well as the tree-lno branch.
It seems that part of the try is not gimplified.

void myFUNCFUNC(const char *pat, __builtin_va_list *args)
{
 switch (*pat) {
   case 's':
        if (args)
        {
          char *s = __builtin_va_arg(*args,char*);
        }
 }

}

$mycc1l -O1 bad.c
 myFUNCFUNC

bad.c: In function `myFUNCFUNC':
bad.c:2: error: Invalid operand to binary operator
args<D1103>

bad.c:2: internal compiler error: verify_stmts failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://developer.apple.com/bugreporter> for instructions.

-- 
           Summary: internal compiler error: verify_stmts failed, when
                    building small test case -O1
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fjahanian at apple dot com
                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=15884