[Bug middle-end/70807] New: fwprop pass doesn't with incoming CDI_DOMINATORS

[hjl.tools at gmail dot com]

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

            Bug ID: 70807
           Summary: fwprop pass doesn't with incoming CDI_DOMINATORS
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
  Target Milestone: ---

When

calculate_dominance_info (CDI_DOMINATORS);

is called before fwprop pass, fwprop pass will ICE if

free_dominance_info (CDI_DOMINATORS);

isn't called before fwprop pass:

https://gcc.gnu.org/ml/gcc/2016-03/msg00143.html

I will provide a patch to trigger ICE in libgcc build on x86-64
after PR target/70155 is fixed.