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

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

[fjahanian at apple dot com]

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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-08 22:56 -------
Actually this was broken by RTH but just fixed today.  This bug was reported by Dale about 3 to 4 
months ago also.

Fixed by:
        * gimplify.c (copy_if_shared_r): Revert:
        2004-05-21  Richard Henderson  <rth@redhat.com>
        * gimplify.c [...] Don't mark VA_ARG_EXPRs volatile here.

This is a dup of bug 15731.

*** This bug has been marked as a duplicate of 15731 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
          Component|c                           |tree-optimization
         Resolution|                            |DUPLICATE


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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-08 23:49 -------
Here is the patch which fixed it: <http://gcc.gnu.org/ml/gcc-patches/2004-05/msg01801.html>.

-- 


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