[Bug middle-end/50210] New: [4.6/4.7 Regression] ICE: in create_linear_expr_from_tree, at graphite-sese-to-poly.c:1137 with fgraphite-identity -ffast-math -fno-tree-scev-cprop -fstrict-overflow

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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

             Bug #: 50210
           Summary: [4.6/4.7 Regression] ICE: in
                    create_linear_expr_from_tree, at
                    graphite-sese-to-poly.c:1137 with fgraphite-identity
                    -ffast-math -fno-tree-scev-cprop -fstrict-overflow
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: spop@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 25118
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25118
reduced testcase (the same as gfortran.dg/graphite/id-pr47691.f)

Even after fixing PR47691, the same ICE is sometimes reached with
-fno-tree-scev-cprop.

Compiler output with the attached testcase:
$ gcc -O -fgraphite-identity -ffast-math -fno-tree-scev-cprop -fstrict-overflow
testcase.f 
testcase.f: In function âMAIN__â:
testcase.f:2:0: internal compiler error: in create_linear_expr_from_tree, at
graphite-sese-to-poly.c:1137
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r178125 - crash
4.6 r177922 - crash
4.5 r177922 - OK