[Bug middle-end/50307] New: SSA checking ICE when building Linux kernel

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

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

             Bug #: 50307
           Summary: SSA checking ICE when building Linux kernel
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: ice-checking
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: uweigand@gcc.gnu.org


Created attachment 25206
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25206
Reduced test case

When building the attached test case (reduced from Linux kernel code) with -O2
(tested on i386 and arm), I'm getting the following ICE:

vsprintf.i: In function âvscnprintfâ:
vsprintf.i:5:1: error: number of operands and imm-links donât agree in
statement
# .MEM_26 = VDEF <.MEM_17>
args = args_7(D);
vsprintf.i:5:1: internal compiler error: verify_ssa failed

Seems to be related to re-inlining and outlined part of the original function
...