[Bug c/11760] New: ICE on -fssa-ccp

["stefaandr at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: ICE on -fssa-ccp
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: stefaandr at hotmail dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

When trying to compile:
#include <stdio.h>
int main() {
        int p, i;
        scanf("%d", &p);
        for (i=0; i<12345; ++i)
                ++p;
};

I get the following:

Reading specs from /esat/quendi/gcc/lib/gcc-lib/i686-pc-linux-gnu/3.5-tree-ssa/specs
Configured with: ../gcc/configure --prefix=/esat/quendi/gcc --enable-languages=c,c++
Thread model: posix
gcc version 3.5-tree-ssa 20030731 (merged 20030722)
 /esat/quendi/gcc/lib/gcc-lib/i686-pc-linux-gnu/3.5-tree-ssa/cc1 -quiet -v t2.c
-quiet -dumpbase t2.c -mtune=pentiumpro -auxbase-strip t.s -O1 -version -fssa
-fssa-ccp -o t.s
ignoring nonexistent directory "/esat/quendi/gcc/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include
 /esat/quendi/gcc/include
 /esat/quendi/gcc/lib/gcc-lib/i686-pc-linux-gnu/3.5-tree-ssa/include
 /usr/include
End of search list.
GNU C version 3.5-tree-ssa 20030731 (merged 20030722) (i686-pc-linux-gnu)
        compiled by GNU C version 3.3.
GGC heuristics: --param ggc-min-expand=55 --param ggc-min-heapsize=48056
t2.c: In function `main':
t2.c:8: error: Wrong amount of branch edges after unconditional jump 2
t2.c:8: error: Wrong amount of branch edges after conditional jump 1
t2.c:8: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.