[Bug tree-optimization/79483] New: [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483

            Bug ID: 79483
           Summary: [7 Regression] [graphite] ICE: verify_ssa failed
                    (error: definition in block 31 does not dominate use
                    in block 28)
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

At least gcc-7.0.0-alpha20170205 and gcc-7.0.0-alpha20170212 snapshots ICE when
compiling the following snippet w/ -O2 -floop-nest-optimize: