[Bug bootstrap/56689] New: internal compiler error: in get_loop_body, at cfgloop.c:841

[Bug bootstrap/56689] New: internal compiler error: in get_loop_body, at cfgloop.c:841

[krebbel at gcc dot gnu.org]

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

             Bug #: 56689
           Summary: internal compiler error: in get_loop_body, at
                    cfgloop.c:841
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: krebbel@gcc.gnu.org


gcc/reginfo.c: In function ‘void fix_register(const char*, int, int)’:
gcc/reginfo.c:680:1: internal compiler error: in get_loop_body, at
cfgloop.c:841
 fix_register (const char *name, int fixed, int call_used)
 ^

Reghunt indicates that it is related to r196792

+2013-03-19  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/56273
+       * gcc.dg/tree-ssa/vrp47.c: Adjust.
+       * c-c++-common/uninit-17.c: Likewise.
>From gcc-bugs-return-418069-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Mar 22 12:59:55 2013
Return-Path: <gcc-bugs-return-418069-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16196 invoked by alias); 22 Mar 2013 12:59:55 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 16062 invoked by uid 48); 22 Mar 2013 12:59:11 -0000
From: "aldot at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/36282] Spurious warning "asm declaration ignored due to conflict with previous rename"
Date: Fri, 22 Mar 2013 12:59:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: aldot at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: CC
Message-ID: <bug-36282-4-YcQlSikSdF@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-36282-4@http.gcc.gnu.org/bugzilla/>
References: <bug-36282-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-SW-Source: 2013-03/txt/msg01510.txt.bz2
Content-length: 1612


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

Bernhard Reutner-Fischer <aldot at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at ucw dot cz

--- Comment #4 from Bernhard Reutner-Fischer <aldot at gcc dot gnu.org> 2013-03-22 12:59:10 UTC ---
(In reply to comment #3)
> Confirmed.
> 
> Still the same with gcc version 4.7.2 (Debian 4.7.2-5):
> $ cat <<EOF | gcc -x c -c - -o /dev/null
> #pragma weak __pthread_initialize
> extern void *memcpy(void *dest, const void *src, int n);
> extern typeof(memcpy) memcpy asm("__GI_memcpy");
> EOF
> <stdin>:2:14: warning: conflicting types for built-in function ‘memcpy’
> [enabled by default]
> <stdin>:3:1: warning: asm declaration ignored due to conflict with previous
> rename [-Wpragmas]

Works as expected if one provides a decl before the #pragma:

$ cat <<EOF | gcc -fno-builtin -x c -c - -o /dev/null
extern void __pthread_initialize (void);
#pragma weak __pthread_initialize
extern void *memcpy(void *dest, const void *src, int n);
extern typeof(memcpy) memcpy asm("__GI_memcpy");
EOF
$ cat <<EOF | gcc -fno-builtin -x c -c - -o /dev/null
#pragma weak __pthread_initialize
extern void __pthread_initialize (void);
extern void *memcpy(void *dest, const void *src, int n);
extern typeof(memcpy) memcpy asm("__GI_memcpy");
EOF
<stdin>:4:1: warning: asm declaration ignored due to conflict with previous
rename [-Wpragmas]

Honza, does that ring a bell, by chance?
>From gcc-bugs-return-418070-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Mar 22 13:07:31 2013
Return-Path: <gcc-bugs-return-418070-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 25196 invoked by alias); 22 Mar 2013 13:07:31 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 24447 invoked by uid 48); 22 Mar 2013 13:06:48 -0000
From: "aldot at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/36282] [4.7/4.8/4.9 Regression] Spurious warning "asm declaration ignored due to conflict with previous rename"
Date: Fri, 22 Mar 2013 13:07:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: aldot at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: Known to work Summary Known to fail
Message-ID: <bug-36282-4-bQFK3UGdmg@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-36282-4@http.gcc.gnu.org/bugzilla/>
References: <bug-36282-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
X-SW-Source: 2013-03/txt/msg01511.txt.bz2
Content-length: 2883


http://gcc.gnu.org/bugzilla/show_bug.cgi?id6282

Bernhard Reutner-Fischer <aldot at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |3.4.6
            Summary|Spurious warning "asm       |[4.7/4.8/4.9 Regression]
                   |declaration ignored due to  |Spurious warning "asm
                   |conflict with previous      |declaration ignored due to
                   |rename"                     |conflict with previous
                   |                            |rename"
      Known to fail|                            |4.7.2, 4.8.0

--- Comment #5 from Bernhard Reutner-Fischer <aldot at gcc dot gnu.org> 2013-03-22 13:06:47 UTC ---
$ gcc-3.4 -fno-exceptions -fomit-frame-pointer -fno-builtin -S pr36282.c -o
ok.s
$ gcc-4.7 -fno-exceptions -fomit-frame-pointer -fno-builtin -S pr36282.c -o
nak.s
pr36282.c:3:1: warning: asm declaration ignored due to conflict with previous
rename [-Wpragmas]

$ cat pr36282.c
#pragma weak __pthread_initialize
extern void *memcpy(void *dest, const void *src, int n);
extern typeof(memcpy) memcpy asm("__GI_memcpy");
char *usr(void) {
    char ch[2];
    return memcpy(&ch, "x", 2);
}
$ cat ok.s
    .file    "pr36282.c"
    .section    .rodata
.LC0:
    .string    "x"
    .text
.globl usr
    .type    usr, @function
usr:
.LFB2:
    subq    $24, %rsp
.LCFI0:
    movq    %rsp, %rdi
    movl    $2, %edx
    movl    $.LC0, %esi
    call    __GI_memcpy
    addq    $24, %rsp
    ret
.LFE2:
    .size    usr, .-usr
    .section    .eh_frame,"a",@progbits
.Lframe1:
    .long    .LECIE1-.LSCIE1
.LSCIE1:
    .long    0x0
    .byte    0x1
    .string    ""
    .uleb128 0x1
    .sleb128 -8
    .byte    0x10
    .byte    0xc
    .uleb128 0x7
    .uleb128 0x8
    .byte    0x90
    .uleb128 0x1
    .align 8
.LECIE1:
.LSFDE1:
    .long    .LEFDE1-.LASFDE1
.LASFDE1:
    .long    .LASFDE1-.Lframe1
    .quad    .LFB2
    .quad    .LFE2-.LFB2
    .byte    0x4
    .long    .LCFI0-.LFB2
    .byte    0xe
    .uleb128 0x20
    .align 8
.LEFDE1:
    .section    .note.GNU-stack,"",@progbits
    .ident    "GCC: (GNU) 3.4.6 (Debian 3.4.6-10)"

$ cat nak.s
    .file    "pr36282.c"
    .section    .rodata
.LC0:
    .string    "x"
    .text
    .globl    usr
    .type    usr, @function
usr:
.LFB0:
    .cfi_startproc
    subq    $24, %rsp
    .cfi_def_cfa_offset 32
    movq    %rsp, %rax
    movl    $2, %edx
    movl    $.LC0, %esi
    movq    %rax, %rdi
    call    memcpy
    addq    $24, %rsp
    .cfi_def_cfa_offset 8
    ret
    .cfi_endproc
.LFE0:
    .size    usr, .-usr
    .ident    "GCC: (Debian 4.7.2-5) 4.7.2"
    .section    .note.GNU-stack,"",@progbits

[Bug bootstrap/56689] internal compiler error: in get_loop_body, at cfgloop.c:841

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-03-22 13:13:55 UTC ---
Please attach preprocessed source so I can reproduce with a cross.

[Bug bootstrap/56689] internal compiler error: in get_loop_body, at cfgloop.c:841

[krebbel at gcc dot gnu.org]

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

--- Comment #2 from Andreas Krebbel <krebbel at gcc dot gnu.org> 2013-03-22 14:56:43 UTC ---
Created attachment 29707
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29707
Reduced testcase

cc1plus -fpreprocessed  -quiet  -O2 t.cc

t.cc: In function ‘void fix_register(const char*, int, int)’:
t.cc:33:1: error: size of loop 1 should be 7, not 8
 fix_register (const char *name, int fixed, int call_used)
 ^
t.cc:33:1: internal compiler error: in verify_loop_structure, at cfgloop.c:1640
0x8054a083 verify_loop_structure()
        /home/andreas/clean/gcc-head/gcc/cfgloop.c:1640
0x808a8b43 loop_optimizer_init(unsigned int)
        /home/andreas/clean/gcc-head/gcc/loop-init.c:100
0x80c0ddfd perform_tree_ssa_dce
        /home/andreas/clean/gcc-head/gcc/tree-ssa-dce.c:1554
0x80c0e12f tree_ssa_cd_dce
        /home/andreas/clean/gcc-head/gcc/tree-ssa-dce.c:1637
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-418160-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Mar 22 14:57:25 2013
Return-Path: <gcc-bugs-return-418160-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11525 invoked by alias); 22 Mar 2013 14:57:25 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 11512 invoked by uid 48); 22 Mar 2013 14:57:20 -0000
From: "vhaisman at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug lto/56088] [4.8/4.9 Regression] LTO error: error:=?UTF-8?Q? inlining failed in call to always_inline ‘vswprintf’?=: recursive inlining
Date: Fri, 22 Mar 2013 14:57:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: lto
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: vhaisman at gmail dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.1
X-Bugzilla-Changed-Fields: Status Resolution
Message-ID: <bug-56088-4-JuO3U6K3ro@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56088-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56088-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-SW-Source: 2013-03/txt/msg01601.txt.bz2
Content-length: 507


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

Václav Zeman <vhaisman at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |WORKSFORME

--- Comment #10 from Václav Zeman <vhaisman at gmail dot com> 2013-03-22 14:57:19 UTC ---
I could not reproduce this with newer snapshots.
>From gcc-bugs-return-418159-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Mar 22 14:57:00 2013
Return-Path: <gcc-bugs-return-418159-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10603 invoked by alias); 22 Mar 2013 14:57:00 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 10578 invoked by uid 48); 22 Mar 2013 14:56:54 -0000
From: "dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/56690] New: tree check: expected ssa_name, have var_decl in verify_ssa, at tree-ssa.c:1008
Date: Fri, 22 Mar 2013 14:57:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dcb314 at hotmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-56690-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
X-SW-Source: 2013-03/txt/msg01600.txt.bz2
Content-length: 1053


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV690

             Bug #: 56690
           Summary: tree check: expected ssa_name, have var_decl in
                    verify_ssa, at tree-ssa.c:1008
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


Created attachment 29708
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id)708
C source code

I just tried to compile the package unuran-1.8.0
on gcc-4.9 trunk dated 20130320 on an AMD x86_64 box.

The compiler said

eigensystem.c: In function '_unur_matrix_eigensystem':
eigensystem.c:67:5: internal compiler error: tree check: expected ssa_name,
have var_decl in verify_ssa, at tree-ssa.c:1008
 int _unur_matrix_eigensystem(int dim, const double *M, double *values, double
*vectors)
     ^

Preprocessed source code attached. Flag -O3 required.

[Bug bootstrap/56689] internal compiler error: in get_loop_body, at cfgloop.c:841

[krebbel at gcc dot gnu.org]

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

Andreas Krebbel <krebbel at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #29707|0                           |1
        is obsolete|                            |

--- Comment #3 from Andreas Krebbel <krebbel at gcc dot gnu.org> 2013-03-25 08:01:00 UTC ---
Created attachment 29717
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29717
Manually reduced testcase

cc1 -O2 t.c

t.c: In function ‘fix_register’:
t.c:6:1: error: size of loop 1 should be 7, not 8
 fix_register (const char *name, int fixed, int call_used, int nregs)
 ^
t.c:6:1: internal compiler error: in verify_loop_structure, at cfgloop.c:1640
0x80227273 verify_loop_structure()
        /home/andreas/clean/gcc-head/gcc/cfgloop.c:1640
0x8076488f perform_tree_ssa_dce
        /home/andreas/clean/gcc-head/gcc/tree-ssa-dce.c:1554
0x80764be1 tree_ssa_cd_dce
        /home/andreas/clean/gcc-head/gcc/tree-ssa-dce.c:1637
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-418294-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Mar 25 08:21:06 2013
Return-Path: <gcc-bugs-return-418294-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 32286 invoked by alias); 25 Mar 2013 08:21:06 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 32247 invoked by uid 48); 25 Mar 2013 08:21:00 -0000
From: "ktietz at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/56038] declarations in xmmintrin.h conflict with mingw-w64 intrin.h in c++ mode
Date: Mon, 25 Mar 2013 08:21:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ktietz at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: CC
Message-ID: <bug-56038-4-E9BgsI7fXy@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56038-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56038-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
X-SW-Source: 2013-03/txt/msg01735.txt.bz2
Content-length: 649


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV038

Kai Tietz <ktietz at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ktietz at gcc dot gnu.org

--- Comment #3 from Kai Tietz <ktietz at gcc dot gnu.org> 2013-03-25 08:20:59 UTC ---
Issue is an old one ... I had even posted already a patch for this subject.
See as reference http://gcc.gnu.org/ml/gcc-patches/2010-03/msg00033.html link.

The only way to solve this in a sane way is by moving it into C namespace for
C++.

[Bug bootstrap/56689] internal compiler error: in get_loop_body, at cfgloop.c:841

[krebbel at gcc dot gnu.org]

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

--- Comment #4 from Andreas Krebbel <krebbel at gcc dot gnu.org> 2013-03-25 09:14:52 UTC ---
phicprop2:
  <bb 9>:
  switch (fixed_11(D)) <default: <L15>, case 0: <L6>, case 1: <L12>>

vrp2:
  <bb 9>:
  switch (fixed_13(D)) <default: <L15>, case 1: <L12>>

<L6>: (bb 10)
  switch (call_used_12(D)) <default: <L8>, case 1: <L7>>


VRP optimizes the "case 0: <L6>" away. So there is no edge between bb9 and bb10
anymore. Due to that dfs_enumerate_from does not consider bb9 to be part of the
loop anymore. It counts 7 instead of 8 bbs for the loop due to this.

[Bug bootstrap/56689] [4.9 Regression] internal compiler error: in get_loop_body, at cfgloop.c:841

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-03-25
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.9.0
            Summary|internal compiler error: in |[4.9 Regression] internal
                   |get_loop_body, at           |compiler error: in
                   |cfgloop.c:841               |get_loop_body, at
                   |                            |cfgloop.c:841
     Ever Confirmed|0                           |1

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> 2013-03-25 10:37:25 UTC ---
I have a patch.

[Bug bootstrap/56689] [4.9 Regression] internal compiler error: in get_loop_body, at cfgloop.c:841

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> 2013-03-25 13:20:54 UTC ---
Author: rguenth
Date: Mon Mar 25 12:54:56 2013
New Revision: 197039

URL: http://gcc.gnu.org/viewcvs?rev=197039&root=gcc&view=rev
Log:
2013-03-25  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/56689
    * tree-vrp.c (execute_vrp): Mark loops for fixup if we removed
    any edge.

    * gcc.dg/torture/pr56689.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr56689.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c

[Bug bootstrap/56689] [4.9 Regression] internal compiler error: in get_loop_body, at cfgloop.c:841

[krebbel at gcc dot gnu.org]

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

Andreas Krebbel <krebbel at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |CLOSED

--- Comment #7 from Andreas Krebbel <krebbel at gcc dot gnu.org> 2013-03-26 15:08:33 UTC ---
Patch fixes the problem for me. Thanks!